Шумский Л.Д.
Применение типизированного лямбда исчисления для описания темпоральной логики первого порядка
Национальный исследовательский ядерный университет «МИФИ»
В данной работе предлагается построенная модель интервальной темпоральной логики первого порядка для линейного, не ветвящегося времени построенная с помощью типизированного лямбда исчисления.
Данная модель позволяет описывать как статические элементы предметной области, такие как объекты и их свойства, так и темпоральные. Модель позволяет оперировать следующими видами темпоральных объектов: состояниями, событиями и процессами. Для состояний и событий представлен способ логического вывода на основе причинно-следственных связей между ними. Представлено представление процессов, правил их выполнения и описания.
Ключевые слова: Темпоральная логика, лямбда исчисление, естественное темпоральное исчисление.