Иллюстрированный самоучитель по введению в экспертные системы


Полный листинг программы - часть 2


(field speaker (type SYMBOL))

(multifield claim (type SYMBOL))

(field scope (type SYMBOL) (default truth))

(multifield reason (type INTEGER) (default 0))

(field tag (type INTEGER) (default 0))

(field done (type INTEGER) (default 0))

)

;;Объект world представляет множество утверждений,

;;сформированных при определенном предположении

;;о правдивости или лживости высказывания,

;;принадлежащего некоторому персонажу.

;;Объект имеет уникальный идентификатор

;;в поле tag, который соответствует

;;тэгу высказывания.

;;Смысл допущения - истинность или лживость -

;;фиксируется в поле scope.

;;Поле TASK содержит одно из перечисленных

;;ниже значений:

CHECK - анализ предположений о

;;правдивости или лживости высказывания;

;;CONTRA - анализ обнаруженного противоречия;

;; CLEAN - удаляет все утверждения, созданные

;;в противоречивом "мире" ;

;;BАСК - откат в точку возврата;

QUIT - прекращение процесса.

;;Поле prior может содержать идентификатор

;;объекта world, обработанного перед тем,

;;как был создан данный объект, и с которым данный

;;объект может потенциально конфликтовать.

;;Поле upper содержит идентификатор другого объекта

;;world, в который внедрен данный объект, если

;;соответствующее высказывание содержит другое

;;высказывание.

;;Например, А говорит, что В сказал, что А - лжец.

;;В поле context сохраняется текущий контекст

;;анализируемого операнда дизъюнкции.

;;Поле done содержит информацию о том, обработано ли

;; уже высказывание, на основании которого создан этот

;; объект.

(deftemplate world

(field tag (type INTEGER) (default 1))

(field scope (type SYMBOL) (default truth))

(field task (type SYMBOL) (default check))

(field prior (type INTEGER) (default 0))

(field upper (type INTEGER) (default 0))

(field context (type INTEGER) (default 0))

(field done (type INTEGER) (default 0))

)

;; ФУНКЦИЙ

;; Изменяет область определения предиката с Т на F

;; и наоборот.

(deffunction flip (?P)



Начало  Назад  Вперед



Книжный магазин