Преглед садржаја:
Дефиниција - Шта значи темпорална логика?
Временска логика је грана симболичке логике која се бави проблемима приједлога који имају вриједности истине овисно о времену. Временска логика сматра се варијантом модалне логике, која је грана логике која се бави пропозицијама које могу бити изражене као скуп могућих света. Временска логика користи се за додир с свим приступима резоновању и репрезентацији на основу времена.
Примене временске логике укључују употребу у резоновању у филозофским питањима заснованим на времену, као језик на вештачком језику за кодирање временског знања, и као алат за формалну анализу, спецификацију и верификацију хардверских и софтверских захтева рачунарских апликација и система.
Техопедија објашњава временску логику
Једна од истакнутих карактеристика временских пропозиција је та што углавном има или имплицитне или експлицитне референце на временске услове. То је у супротности с класичном логиком која се фокусира на безвременске предлоге. Временска логика једно је од најбољих и најприкладнијих средстава за резоновање са временским предлогима, захваљујући квантификаторима времена. Иако се класична логика може бавити временским својствима, формуле су често компликоване јер тачке времена морају бити представљене.
Концепт временске логике Артхур Приор је први пут увео 1960. године под „напетом логиком“ коју су даље проширили други рачунарски научници и логичари. Временска логика није усмерена на истинитост или неистинитост формула, већ је фокусирана на формуле које остају истините током времена, чак и ако се вреднује измењена.
Темпорална логика има две врсте оператора: модални оператори и логички оператори. Оператори модела се у великој мери користе у логици стабла рачунања и линеарној временској логици, док су логички оператори углавном оператери који служе истини. Временска логика сигнала, логика временске интервале, метричка временска логика интервала, линеарна временска логика, рачунска логика стабла и други чине дијелове временске логике.
