Очередное заседание семинара "Проблемы искусственного интеллекта", проводимого Российской ассоциацией
искусственного интеллекта (РАИИ) и Международной академией информатизации (МАИ) состоится 24 апреля 2003г.
(четверг) в Московском Энергетическом Институте (техническом университете) (МЭИ(ТУ)) в малом актовом
зале (корпус "И", 4-й этаж). Начало в 11.00.
Адрес: Красноказарменная ул., д.14 (станция метро "Авиамоторная").
Доклад "Дедукция в некотором расширении интервальной логики Аллена." -
Плесневич Г.С. (к.ф.-м.н., профессор Российского государственного технологического университета "МАТИ").
Рассматривается кванторное расширение интервальной логики Алена. Устанавливается полный метод
дедукции для этого расширения.