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

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

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

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

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