Innholdsfortegnelse:
Definisjon - Hva betyr Temporal Logic?
Temporal logikk er en gren av symbolsk logikk som er opptatt av problemer med proposisjoner som har sannhetsverdier avhengig av tid. Temporal logikk regnes som en variant av modal logikk, som er en gren av logikk som omhandler proposisjoner som kan uttrykkes som et sett mulige verdener. Midlertidig logikk brukes til å berøre alle tilnærminger til resonnement og representasjon basert på tid.
Anvendelser av tidsmessig logikk inkluderer bruk i resonnement i filosofiske spørsmål basert på tid, som et språk på kunstig språk for koding av tidsmessig kunnskap, og som verktøy for formell analyse, spesifikasjon og verifisering av maskinvare- og programvarekrav til dataprogrammer og systemer.
Techopedia forklarer Temporal Logic
Et av de fremtredende trekk ved tidsmessige proposisjoner er at det stort sett enten har implisitte eller eksplisitte referanser til tidsforhold. Dette i motsetning til klassisk logikk, som fokuserer på tidløse proposisjoner. Temporal logikk er et av de beste og mest hensiktsmessige virkemidlene for å resonnere med tidsrelaterte forslag, takket være de tidsmessige kvantifisererne. Selv om klassisk logikk kan håndtere tidsmessige egenskaper, har formlene ofte en tendens til å være kompliserte ettersom tidspunkter må representeres.
Begrepet tidsmessig logikk ble først introdusert av Arthur Prior i 1960 under "anspent logikk" som ble ytterligere utvidet av andre informatikere og logikere. Midlertidig logikk er ikke fokusert på formelenes sannhet eller falskhet, men snarere fokusert på formlene som forblir sanne gjennom tidens strøm, selv om verdsettelse endres.
Temporal logikk har to typer operatører: modale operatører og logiske operatører. Modelloperatører brukes i stor grad i beregningstreetogikk og lineær temporær logikk, mens logiske operatører stort sett er sannhetsfunksjonelle operatører. Signal temporell logikk, intervall temporell logikk, metrisk intervall temporell logikk, lineær tidsmessige logikk, beregningsmessige trelogikk og andre utgjør deler av temporal logikk.
