Стартовая страница G l o s s a r y   C o m m a n d e r

Служба тематических толковых словарей

glossary.ru
park.glossary.ru
Служебная библиотека
 Чтение: 1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9  | 10  | 11  | 12  | 13  | 14  | 15  | 16  | 17  | 18
Н.А.Моросанова


НЕСТРОГИЙ ВЫВОД В СИСТЕМАХ АЛЬТЕРНАТИВ

(авторская копия статьи)
 
Серьезное
чтение
на glossary.ru
Скачать.pdf
( 0.4 Mb )
© Н.А.Моросанова, 2011 Оригинал
Образец цитирования
Моросанова Н.А. Нестрогий вывод в системах альтернатив. // Информационные процессы, том 11, No. 3, 2011. C. 394-412
Системы альтернатив позволяют конструировать и использовать базы знаний. В работе исследуются возможности обобщения алгоритма логического вывода в системах альтернатив для работы с противоречивыми данными и предлагается обобщающий алгоритм на основе логики с векторной семантикой.
1. ВВЕДЕНИЕ
Простая система альтернатив является одним из способов реализации баз знаний [1]. В основе этого способа лежит подход к описанию объектов проблемной области с помощью атрибутов, принимающих на каждом объекте ровно одно значение, которое называется признаком объекта. В модели проблемной области полный список допустимых значений каждого из атрибутов фиксируется заранее.

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

Задача представления знаний сводится к конструирования системы альтернатив, описывающей предметную область и знания о ней. При этом считается, что:
— предметная область содержит объекты;
— объекты описываются с помощью атрибутов;
— на каждом объекте атрибуты принимают ровно одно значение.

Значение атрибута, соответствующее некоторому объекту, будем называть признаком объекта, или просто признаком. В системах альтернатив для описания предметной области используются атрибуты, которым сопоставляются альтернативы. Фактически альтернатива для представления атрибута есть набор признаков, допустимых для разных объектов.

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

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

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

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

Стандартный логический вывод [1] в системах альтернатив основывается на трех правилах:
  1. если факт установлен, то во всех содержащих его альтернативах остальные факты переходят в опровергнутое состояние;
  2. если в некоторой альтернативе остается ровно один факт, то этот факт считается установленным;
  3. если в альтернативе имеется более одного установленного факта, либо все факты опровергнуты, то это свидетельствует о наличии противоречий в исходных данных.
2.МОДЕЛЬНАЯ ЗАДАЧА РАСПОЗНАВАНИЯ ЖИВОТНЫХ

3.ЗАДАЧА ОБОБЩЕНИЯ АЛГОРИТМА ВЫВОДА

4.ПОДХОДЫ К ОБОБЩЕНИЮ АЛГОРИТМА ВЫВОДА В СИСТЕМАХ АЛЬТЕРНАТИВ
4.1 Обобщения классической логики
4.2 Комбинирование оценок достоверности

5.ОБОБЩЕННЫЙ АЛГОРИТМ ВЫВОДА В СИСТЕМАХ АЛЬТЕРНАТИВ

6.ПРИМЕР РАБОТЫ ОБОБЩЕННОГО АЛГОРИТМА

ЗАКЛЮЧЕНИЕ
В результате исследования возможных подходов к обобщению алгоритма вывода в системах альтернатив установлено, что наилучшим образом обобщают алгоритм вывода логики с векторной семантикой.

Практическое применение этого подхода выдвигает задачу разработки принципов реализации подсистемы объяснений.
ПРИЛОЖЕНИЕ A

СПИСОК ЛИТЕРАТУРЫ
  1. Соловьев С.Ю., Соловьева Г.М. Вопросы применения метода альтернатив для представления знаний, Изв. АН СССР, Техн. кибернетика, 1987, No. 5, стр.80-82.
  2. Siler W., Buckley J. Fuzzy Expert Systems and Fuzzy Reasoning. Hoboken: Wiley, 2005.
  3. Аршинский Л.В. Многозначные логики с векторной семантикой. Деп. в ВИНИТИ 13.02.03, № 281-В2003. Иркутск, 2003
  4. Аршинский Л. В. Исследование и разработка математических моделей обработки неполных и противоречивых данных на основе логик с векторной семантикой. Автореферат диссертации на соискание степени доктора технических наук, Иркутск, 2007.
  5. Johnson N. and Kotz S. Axiomatic approach to formulas for combining likelihoods or evidence, Journal of Statistical Computation and Simulation, 1989, No. 31, стр.49-54.
  6. Shafer G. The Dempster-Shafer theory. Encyclopedia of Artificial Intelligence, Second Edition, Stuart C. Shapiro, (ed.), Wiley, 1992, pp. 330-331.
  7. Misraji E. Vector logic: a natural algebraic representation of the fundamental logical gates. Journal of Logic and Computation, 2008, 18, No. 1, pp. 97-122.
  8. Destercke S. and Dubois D. (2010) Idempotent merging of belief functions: Extending the minimum rule of possibility theory. In T. Denoeux, editor, Workshop on the Theory on Belief Functions (WTBF 2010).


П|р|о|д|о|л|ж|е|н|и|е ►



Copyright ©
2000-2022
Web-and-Press


webadmin@glossary.ru