Зміст:
Визначення - Що означає тимчасова логіка?
Тимчасова логіка - це галузь символічної логіки, яка стосується проблем із пропозиціями, які залежать від часу значення істини. Тимчасова логіка вважається варіантом модальної логіки, що є галуззю логіки, що займається пропозиціями, які можна виразити як набір можливих світів. Тимчасова логіка використовується для торкання всіх підходів до міркувань та уявлення на основі часу.
Застосування тимчасової логіки включає використання в міркуванні у філософських питаннях, заснованих на часі, як мова на штучній мові для кодування тимчасових знань, а також як інструмент для формального аналізу, специфікації та перевірки апаратних та програмних вимог комп'ютерних додатків та систем.
Техопедія пояснює тимчасову логіку
Однією з важливих особливостей тимчасових пропозицій є те, що воно здебільшого має або неявні, або явні посилання на часові умови. Це на відміну від класичної логіки, яка зосереджена на позачасових пропозиціях. Темпоральна логіка - це один з найкращих і найбільш підходящих засобів для міркування з пропозиціями, пов'язаними з часом, завдяки тимчасовим квантовим показникам. Хоча класична логіка може мати справу з тимчасовими властивостями, формули часто мають складний характер, оскільки потрібно представити моменти часу.
Поняття часової логіки вперше було введено Артуром Пріорі в 1960 році під "напруженою логікою", яку далі розширили інші комп'ютерні вчені та логіки. Тимчасова логіка не орієнтована на істинність чи хибність формул, скоріше орієнтована на формули, які залишаються істинними протягом плину часу, навіть якщо оцінювання змінюється.
Темпоральна логіка має два типи операторів: модальні оператори та логічні оператори. Оператори моделі в основному використовуються в логіці обчислювальної деревини та лінійній часовій логіці, тоді як логічні оператори - це здебільшого оператори, що відповідають істині. Сигнальна часова логіка, інтервальна часова логіка, метрична інтервальна часова логіка, лінійна часова логіка, обчислювальна деревна логіка та інші утворюють частини часової логіки.
