Kazalo:
Opredelitev - Kaj pomeni časovna logika?
Časovna logika je veja simbolne logike, ki se ukvarja s težavami s predlogi, katerih vrednosti resnice so odvisne od časa. Časovna logika velja za varianto modalne logike, ki je veja logike, ki se ukvarja s predlogi, ki jih je mogoče izraziti kot nabor možnih svetov. Časovna logika se uporablja za dotikanje vseh pristopov k sklepanju in reprezentaciji glede na čas.
Uporaba časovne logike vključuje uporabo pri sklepanju filozofskih vprašanj, ki temeljijo na času, kot jezik v umetnem jeziku za kodiranje časovnega znanja in kot orodje za formalno analizo, specifikacijo in preverjanje strojne in programske zahteve računalniških aplikacij in sistemov.
Tehopedija razlaga časovno logiko
Ena od pomembnih značilnosti časovnih propozicij je, da se večinoma bodisi implicitno bodisi nazorno sklicujejo na časovne razmere. To je v nasprotju s klasično logiko, ki se osredotoča na brezčasne predloge. Časovna logika je po zaslugi časovnih kvantifikatov najboljše in najustreznejše sredstvo za razmišljanje s časovnimi predlogi. Čeprav se klasična logika lahko ukvarja s časovnimi lastnostmi, so formule pogosto zapletene, saj je treba predstaviti časovne točke.
Koncept časovne logike je Arthur Prior prvič uvedel leta 1960 pod "napeto logiko", ki so jo nadalje razširili drugi računalničarji in logiki. Časovna logika ni osredotočena na resnico ali napačnost formul, temveč je usmerjena na formule, ki ostanejo resnične skozi tok časa, četudi se vrednotenje spremeni.
Časovna logika ima dve vrsti operaterjev: modalni operaterji in logični operaterji. Operaterji modelov se večinoma uporabljajo v logiki računalniškega drevesa in linearni časovni logiki, medtem ko so logični operaterji večinoma operaterji, ki delujejo v resnici. Signalna časovna logika, časovna logika intervalov, metrična časovna logika intervala, linearna časovna logika, računska logika drevesa in drugi tvorijo dele časovne logike.
