Indholdsfortegnelse:
Definition - Hvad betyder temporær logik?
Temporal logik er en gren af symbolsk logik, der beskæftiger sig med problemer med propositioner, der har sandhedsværdier afhængige af tid. Temporal logik betragtes som en variant af modal logik, som er en gren af logik, der beskæftiger sig med forslag, der kan udtrykkes som et sæt mulige verdener. Midlertidig logik bruges til at røre ved alle tilgange til ræsonnement og repræsentation baseret på tid.
Anvendelser af tidsmæssig logik inkluderer anvendelse i resonnementer i filosofiske spørgsmål baseret på tid, som et sprog i kunstigt sprog til kodning af tidsmæssig viden og som værktøj til formel analyse, specifikation og verifikation af hardware- og softwarekrav til computerapplikationer og systemer.
Techopedia forklarer Temporal Logic
Et af de fremtrædende træk ved tidsmæssige forslag er, at det for det meste enten har implicit eller eksplicit henvisning til tidsforhold. Dette i modsætning til klassisk logik, der fokuserer på tidløse forslag. Temporal logik er et af de bedste og mest passende midler til at resonnere med tidsrelaterede forslag takket være de tidsmæssige kvantificatorer. Selvom klassisk logik kan håndtere tidsmæssige egenskaber, har formlerne ofte tendens til at være komplicerede, da det er nødvendigt at repræsentere tidspunkter.
Begrebet tidsmæssig logik blev først introduceret af Arthur Prior i 1960 under "anspændt logik", som blev yderligere udvidet af andre computerforskere og logikere. Temporal logik er ikke fokuseret på formlernes sandhed eller forfalskning, men snarere fokuseret på formlerne, der forbliver sande gennem tidens strøm, selvom værdiansættelse ændres.
Temporal logik har to typer operatører: modale operatører og logiske operatører. Modeloperatører bruges i vid udstrækning i beregningstrælogik og lineær tidsmæssig logik, hvorimod logiske operatører hovedsageligt er sandhedsfunktionelle operatører. Signal temporal logik, interval temporal logik, metrisk interval temporal logik, lineær temporal logik, computational trælogik og andre udgør dele af temporal logik.
