М. М. Виньков, И. Б. Фоминых, “Темпоральные немонотонные логические системы: взаимосвязи и вычислительная сложность”, Искусственный интеллект и принятие решений, 2008, выпуск 4,страницы 19

Представление знаний

Темпоральные немонотонные логические системы: взаимосвязи и вычислительная сложность

М. М. Виньков, И. Б. Фоминых

Российский научно-исследовательский институт информационных технологий и систем автоматизированного проектирования, г. Москва

Аннотация: Рассматриваются немонотонные логические системы, являющиеся расширениями линейной временной логики с часами. Основное внимание уделяется взаимосвязям между ними и характеристикам их вычислительной сложности.

Ключевые слова: темпоральные (временные) логики, немонотонные формализмы, полиномиальные трансляции, вычислительная сложность рассуждений.