На главную страницу
Информационные системы и банки данныхУправление и принятие решений в сложных системахПрикладные информационные технологииКомпьютер в учебном процессеСетевые технологииПленарные доклады Карта сервераПобедители семинараИнформацияОбщее впечатлениеВаши отзывы
Секция B - Список докладов

МОДИФИКАЦИИ АЛГОРИТМОВ ИНДУКТИВНОГО ВЫВОДА В ЗАДАЧАХ ИЗВЛЕЧЕНИЯ ЗНАНИЙ

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

Задачи извлечения знаний в последнее время являются наиболее актуальными и перспективными. Решение такого рода задач невозможно без построения модели данных и алгоритмов обработки представленных таким образом знаний. Была поставлена задача реализовать принципы извлечения знаний для многофакторной модели. В представленной работе вводится модель формального представления прецедента, на основе вектора показателей, характеризующих модель. Описывается полнота вектора показателей, составленного из виртуальных атрибутов, вводится спецификация их типов и возможных значений. Рассматривается проблема разрешения конфликтов для реальных параллельно развивающихся процессов и вывод правил построения правил с помощью квалиметрического компаратора.

Реализованы логические структуры, формализующие данную модель, позволяющие построить следующие представления:

1. Представление булевых переменных.

2. Нечеткие представления.

3. Возможные формы представления выводов правил:

• В логике булевых переменных.

• В логике предикат первого порядка.

• В логике высказываний.

• В форме дизъюнктов Хорна.

• На разработанном Языке Описания Правил.

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

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

Реализация макета проводилась на языке Object Pascal в среде Delphi. Представлены результаты проведенного эксперимента над тестовой задачей, реализующей на множестве прецедентов индуктивный вывод набора правил и трансляцию этого набора правил в Язык Описания Правил.

RLE Banner Network