Съдържание:
Определение - Какво означава Временна логика?
Временната логика е клон от символичната логика, който се занимава с проблеми с предложенията, които имат стойности на истината, зависещи от времето. Временната логика се счита за вариант на модалната логика, който е клон на логиката, занимаващ се с предложения, които могат да бъдат изразени като набор от възможни светове. Временната логика се използва за докосване на всички подходи към разсъждения и представяне въз основа на времето.
Приложенията на временната логика включват използване в разсъжденията във философски въпроси, базирани на времето, като език на изкуствен език за кодиране на временните знания и като инструмент за формален анализ, спецификация и проверка на хардуерните и софтуерни изисквания на компютърните приложения и системи.
Техопедия обяснява темпоралната логика
Една от важните особености на временните предложения е, че то има предимно неявни или изрични препратки към времевите условия. Това е в контраст с класическата логика, която се съсредоточава върху безвременните предложения. Временната логика е едно от най-добрите и най-подходящите средства за разсъждения с предложения, свързани с времето, благодарение на времевите квантори. Въпреки че класическата логика може да се справи с времевите свойства, формулите често са сложни, тъй като е необходимо да се представят времеви точки.
Концепцията за временната логика е въведена за първи път от Артур Приор през 1960 г. под "напрегната логика", която е допълнително разширена от други компютърни учени и логици. Временната логика не е фокусирана върху истинността или лъжливостта на формулите, а е фокусирана върху формулите, които остават верни през течение на времето, дори ако оценката се променя.
Временната логика има два типа оператори: модални оператори и логически оператори. Моделните оператори се използват до голяма степен в логиката на изчислителното дърво и линейната временна логика, докато логическите оператори са най-вече функционални за истината оператори. Сигнална времева логика, интервална временна логика, метрична интервална времева логика, линейна времева логика, изчислителна дървесна логика и други формират части от временната логика.
