Главная страница « Научно-исследовательский семинар «

Заседание научно-исследовательского семинара. 20 февраля 2008 г.

Доклад: «Основанные на решетках алгебраические модели продукционных систем и возможности их применения в некоторых задачах искусственного интеллекта и компьютерной алгебры»
Докладчик: Махортов Сергей Дмитриевич, канд. физ.-мат. наук, доцент, заведующий кафедрой МО ЭВМ Воронежского ГУ.

Предыдущее заседание « | 20.2.2008 | » Следующее заседание

Новости
Информация
Преподаватели и сотрудники
Студенты и аспиранты
Спецсеминары
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

Вводятся алгебраические системы, содержащие семантику продукционно-логического вывода на решетке. Основная идея состоит в моделировании продукционных связей специальным бинарным отношением с соответствующими свойствами. Каждая модель определяется собственным набором таких свойств. При этом порождающее решетку базовое отношение частичного порядка отражает универсальные тавтологии и является фиксированным. Второе (продукционное) отношение происходит из логических связей конкретной предметной области и может подвергаться преобразованиям с целью оптимизации.

В каждой из предложенных моделей доказана теорема о существовании продукционно-логического замыкания бинарного отношения. Эта теорема позволяет ввести понятие логически эквивалентного отношения, что в приложениях соответствует эквивалентной базе знаний. Также доказаны теоремы о возможностях локально-эквивалентных преобразований исходного отношения. Эти результаты обосновывают формальные преобразования баз знаний продукционного типа, т.е. служат теоретической базой автоматизации логического программирования. Исследованы вопросы, связанные с логической редукцией отношений. Для каждой модели доказана теорема о существовании логической редукции и указан эффективный способ ее построения, что позволяет формулировать и успешно решать задачи оптимизации баз знаний.

В зависимости от модели, т.е. набора свойств логического отношения и конкретизации решетки, возможны применения рассматриваемой теории в нескольких областях.

Приглашаются аспиранты и стажеры программистских кафедр.

  

© Кафедра системного программирования ВМК МГУ.

Обновлено: 29.2.2008