МОДИФИКАЦИИ АЛГОРИТМОВ
ИНДУКТИВНОГО ВЫВОДА В ЗАДАЧАХ ИЗВЛЕЧЕНИЯ ЗНАНИЙ
А.С. Бородич, А.А. Овчаров
(Московский институт электроники и
математики,Россия)
Задачи извлечения знаний в последнее время
являются наиболее актуальными и перспективными.
Решение такого рода задач невозможно без
построения модели данных и алгоритмов обработки
представленных таким образом знаний. Была
поставлена задача реализовать принципы
извлечения знаний для многофакторной модели. В
представленной работе вводится модель
формального представления прецедента, на основе
вектора показателей, характеризующих модель.
Описывается полнота вектора показателей,
составленного из виртуальных атрибутов,
вводится спецификация их типов и возможных
значений. Рассматривается проблема разрешения
конфликтов для реальных параллельно
развивающихся процессов и вывод правил
построения правил с помощью квалиметрического
компаратора.
Реализованы логические структуры,
формализующие данную модель, позволяющие
построить следующие представления:
1. Представление булевых переменных.
2. Нечеткие представления.
3. Возможные формы представления выводов
правил:
• В логике булевых переменных.
• В логике предикат первого порядка.
• В логике высказываний.
• В форме дизъюнктов Хорна.
• На разработанном Языке Описания Правил.
Разработана модель построения вывода, как для
четких атрибутов типов данных, так и для нечетких
атрибутов. Введены методы представления
объектов и ситуаций в темпоральной логике и
элементы правдоподобного вывода.
Рассматриваются семиотические модели
представления знаний. Сформулированы требования
для описания на языках концептуального уровня с
объектной моделью данных.
Реализация макета проводилась на языке Object Pascal
в среде Delphi. Представлены результаты
проведенного эксперимента над тестовой задачей,
реализующей на множестве прецедентов
индуктивный вывод набора правил и трансляцию
этого набора правил в Язык Описания Правил. |