ИСПОЛЬЗОВАНИЕ ПРАВИЛА РЕЗОЛЮЦИЙ В ВОПРОСНО-ОТВЕТНОЙ ПРОЦЕДУРЕ ТРАНСПОРТНОГО ПЛАНИРОВЩИКА

Аннотация

В статье рассматривается применение правила резолюций в построении рассуждений дедуктивным методом в формулах исчисления предикатов первого порядка применительно к вопросно-ответным процедурам транспортного планировщика.

Ключевые слова

методы автоматического доказательства теорем, правило резолюций, логика пре- дикатов первого порядка, вопросно-ответные процедуры, интеллектуальные транспортные планировщи- ки, интеллектуализация транспортных систем, question- answer procedure

Читать полный текст статьи:  PDF

Список литературы

Белый О. В. Архитектура и методология транспортных систем / О. В. Белый, О. Г. Кокаев, С. А. Попов. — СПб.: Элмор, 2002. — 256 с.
Скороходов Д. А. Принципы построения системы информационной поддержки для принятия решений в аварийных ситуациях / Д. А. Скороходов, А. Л. Стариченков // Морские интеллектуальные технологии. — 2009. — № 1 (3).
Селиверстов Я. А. Моделирование процессов распределения и развития транспортных потоков в мегаполисах / Я. А. Селиверстов // Известия ЛЭТИ. — 2013. — № 1.
Фахми Ш. С. Адаптация космической телевизионной системы к этапам наблюдения обьекта / Ш. С. Фахми [и др.] // Вопросы радиоэлектроники. — 2012. — № 1.
Green C. The Application of Theorem Proving to Question-Answering System / C. Green. —Y.: Garland Publishing, 1969. — 21 p.
Чень Ч. Математическая логика и автоматическое доказательство теорем / Ч. Чень. — М.: Наука, 1983. — 360 с.
Такеути Г. Теория доказательств / Г. Такеути. — М.: Мир, 1978. — 417 с.
Ефимов Е. И. Решатели интеллектуальных задач / Е. И. Ефимов. — М.: Наука, 1982. — 320 с.
Quarteroni S. Designing an Interactive Open-Domain Question Answering System / S. Quarteroni, S. Manandhard. — Cambridge: Cambridge University Press, 2008.
Hai Doan-Nguyen. Improving the Precision of a Closed-Domain Question-Answering System with Semantic Information / Doan-Nguyen Hai, L. Kosseim. — Quebec, 2004. — 10 p.

Об авторах

Селиверстов Я. А.

Федеральное государственное бюджетноеучреждение науки«Институт проблем транспорта им. Н. С. Соломенко РАН»