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