Интервальная временная логика (также интервальная логика ) — это временная логика для представления как пропозициональных , так и первопорядковых логических рассуждений о периодах времени, которая способна обрабатывать как последовательную, так и параллельную композицию. Вместо того, чтобы иметь дело с бесконечными последовательностями состояний, интервальные временные логики имеют дело с конечными последовательностями.
Интервальная временная логика находит применение в информатике , искусственном интеллекте и лингвистике . Интервальная временная логика первого порядка была первоначально разработана в 1980-х годах для спецификации и проверки аппаратных протоколов . Интервальная временная логика ( ITL ) — это особая форма временной логики , первоначально разработанная Беном Мошковским для его диссертации в Стэнфордском университете . [1] Она полезна при формальном описании аппаратного и программного обеспечения для компьютерных систем. Существуют инструменты для помощи в этом процессе. Tempura предоставляет исполняемую структуру ITL. Композиционность является важным вопросом и соображением при проектировании ITL.
Известными производными интервально-временной логики являются графическая интервальная логика, знаковая интервальная логика и будущая интервальная логика.