Программирование на языке Пролог для искусственного интеллекта


         

Модель Prospector'а


Достоверность событий моделируется с помощью действительных чисел, заключенных в интервале между 0 и 1. Для простоты изложения мы будем называть их "вероятностями", хотя более точный термин "субъективная уверенность". Отношения между событиями можно представить графически в форме "сети вывода". На рис. 14.14 показан пример сети вывода. События изображаются прямоугольниками, а отношения между ними - стрелками. Овалами изображены комбинации событий (И, ИЛИ, НЕ).

Мы будем считать, что отношения между событиями (стрелки) являются своего рода "мягкими импликациями". Пусть имеются два события E

  и  H,  и пусть информация о том, что имело место событие Е,  оказывает влияние на нашу уверенность в том, что произошло событие H.  Если это влияние является "категорической импликацией", то можно просто написать

        если Е  то  H

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

        если E  то  H

  с силой  S

Та сила, с которой достоверность Е   влияет на уверенность в H,   моделируется в системе Prospector при помощи двух параметров:

        N  =   "коэффициент необходимости"

        S  =   "коэффициент достаточности"

Рис. 14. 14.  Сеть вывода системы AL/X (заимствовано

из Reiter (1980) ).

Числа, приписанные прямоугольникам, - априорные

вероятности событий; числами на стрелках задается

"сила" отношений между событиями.

В сети вывода это изображается так:

                E ------------> H

                      (N, S)



Содержание  Назад  Вперед