Sadržaj:
Definicija - Što znači temporalna logika?
Vremenska logika je grana simboličke logike koja se bavi problemima prijedloga koji imaju vrijednosti istine ovisno o vremenu. Vremenska se logika smatra varijantom modalne logike, što je grana logike koja se bavi propozicijama koje se mogu izraziti kao skup mogućih svjetova. Vremenska se logika koristi da bi se dodirnuli svi pristupi rasuđivanju i reprezentaciji na temelju vremena.
Primjene vremenske logike uključuju uporabu u zaključivanju u filozofskim pitanjima koja se temelje na vremenu, kao umjetni jezik za kodiranje vremenskog znanja i kao alat za formalnu analizu, specifikaciju i provjeru hardverskih i softverskih zahtjeva računalnih aplikacija i sustava.
Tehopedija objašnjava vremensku logiku
Jedna od istaknutih značajki vremenskih propozicija je da se oni uglavnom imaju ili implicitne ili eksplicitne reference na vremenske uvjete. To je u suprotnosti s klasičnom logikom koja se usredotočuje na bezvremenske prijedloge. Vremenska logika jedno je od najboljih i najprikladnijih sredstava za obrazloženje s vremenskim prijedlozima, zahvaljujući vremenskim kvantifikatorima. Iako se klasična logika može nositi s vremenskim svojstvima, formule su često složene jer vrijeme treba predstavljati.
Koncept vremenske logike Arthur Prior prvi je 1960. godine uveo pod „napetom logikom“ koju su dalje proširili drugi računalni znanstvenici i logičari. Vremenska logika nije usredotočena na istinitost ili neistinitost formula, već je fokusirana na formule koje ostaju istinite tijekom protoka vremena, čak i ako se vrednovanje promijeni.
Vremenska logika ima dvije vrste operatora: modalni operatori i logički operatori. Operatori modela se u velikoj mjeri koriste u logici stabla računanja i linearnoj vremenskoj logici, dok su logički operatori uglavnom operateri istine funkcionalnih. Vremenska logika signala, logika vremenske intervale, metrička vremenska temporalna logika, linearna vremenska logika, računska logika stabla i drugi čine dijelove vremenske logike.
