Логика временных интервалов

Данная статья является представлением работ, проведенных в Институте ИПРУ по тематике искусственного интеллекта. Статья посвящена концептуальным и теоретическим основаниям логики временных (темпоральных) интервалов. С помощью комбинаторных методов получены всевозможные отношения интервалов и их транзитивное замыкание, которое интерпретируется как правила вывода псевдофизической логики временных интервалов.