Информатика, управление и системный анализ

ОБЩЕРОССИЙСКИЙ СЕМИНАР «ИНФОРМАТИКА, УПРАВЛЕНИЕ И СИСТЕМНЫЙ АНАЛИЗ»
под общим руководством
Академика РАН Юрия Ивановича Журавлева,
Академика РАН Евгения Ивановича Моисеева,
Академика РАН Станислава Николаевича Васильева,
Члена-корреспондента РАН Юрия Соломоновича Попкова
организатор и ученый секретарь семинара
профессор Михаил Васильевич Ульянов

Сайт семинара: www.commonmind.ru

ЗАСЕДАНИЕ № 12

Вторник 17 марта 2015 г., 17-30, ауд. 685 ВМК МГУ

ПОВЕСТКА ДНЯ

1.Информационный доклад:
«ПРЕДСТАВЛЕНИЕ И ОБРАБОТКА ЗНАНИЙ В ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМАХ»

Докладчик: Академик РАН, Директор Института проблем управления РАН имени В.А. Трапезникова
ВАСИЛЬЕВ СТАНИСЛАВ НИКОЛАЕВИЧ

Аннотация
В докладе рассматриваются методы реализации таких интеллектуальных функций автоматических и автоматизированных систем, как логический вывод, планирование, дооснащение и обнаружение аналогий с применением в проблематике автоматизации исследований, проектирования и управления. На основе оригинальных логических языков и исчислений с разной семантикой обеспечивается автоматическое доказательство теорем, в т.ч. для конструктивного планирования действий. Для задач с неполной информацией используется дооснащение, позволяющее синтезировать недостающие условия разрешимости задачи, включая спецификации недостающих конструктивных средств ее решения. Случаи применимости аналогий и подходы к их обнаружению неисчерпаемы по своему разнообразию даже в математике. В докладе предметами посылки и заключения в гипотезе об аналогии выступают произвольные математические модели: в посылке предполагается некоторое свойство P одной модели, а в заключении — аналогичное свойство P′ второй модели. Предлагаются оригинальные алгоритмы решения логических уравнений для формирования условий аналогии P → P′.