Innehållsförteckning:
Definition - Vad betyder temporär logik?
Temporal logik är en gren av symbolisk logik som handlar om problem med förslag som har sanningsvärden beroende på tid. Temporal logik anses vara en variant av modal logik, som är en gren av logik som hanterar förslag som kan uttryckas som en uppsättning möjliga världar. Temporal logik används för att beröra alla metoder för resonemang och representation baserat på tid.
Tillämpningar av temporär logik inkluderar användning i resonemang i filosofiska frågor baserade på tid, som ett språk på konstgjorda språk för kodning av temporär kunskap och som verktyg för formell analys, specifikation och verifiering av hårdvara och mjukvarukrav för datorapplikationer och system.
Techopedia förklarar Temporal Logic
En av de framträdande särdragen i tidsmässiga förslag är att det mestadels har antingen implicita eller uttryckliga hänvisningar till tidsförhållanden. Detta i motsats till klassisk logik, som fokuserar på tidlösa förslag. Temporal logik är ett av de bästa och mest lämpliga medlen för resonemang med tidsrelaterade förslag, tack vare de temporära kvantifierarna. Även om klassisk logik kan hantera temporära egenskaper tenderar formlerna ofta att vara komplicerade eftersom tidpunkter måste representeras.
Begreppet temporär logik introducerades först av Arthur Prior 1960 under "spänd logik" som breddades ytterligare av andra datavetare och logiker. Temporal logik är inte fokuserad på formlernas sanning eller falskhet, utan är snarare fokuserad på formlerna som förblir sanna genom tidflödet, även om värderingen ändras.
Temporal logik har två typer av operatörer: modala operatörer och logiska operatörer. Modelloperatörer används till stor del i beräkningsträdlogik och linjär temporär logik, medan logiska operatörer mestadels är sanningsfunktionella operatörer. Signal temporär logik, intervall temporell logik, metrisk intervall temporär logik, linjär temporär logik, beräkningsträdlogik och andra utgör delar av temporär logik.
