ИНФЕРЕНЦИАЛЬНЫЕ СИСТЕМЫ С ТОЧКИ ЗРЕНИЯ МОДАЛЬНОЙ ЛОГИКИ

В.А. Печенкин
(Московский институт электроники и математики, Россия)

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

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

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

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

Применение формализмов неклассических логик предоставляет возможность по новому взглянуть на проблему вывода. Разработанные алгоритмы индуктивного вывода, позволяют эффективно оперировать информацией, представленной в терминах модальных и временных логик. Рассмотрен пример практического применения.