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


Обработкметавысказываний - часть 2


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

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

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

;;В поле 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))

;;Объект statement (высказывание) связан с определенным

;;персонажем (поле speaker).

;;Высказывание содержит утверждение (поле claim).

;;Высказывание имеет основание - причину (поле reason).

;;Если данный объект не является производным от другого

;;объекта statement, в поле reason устанавливается

;;значение 0.

;;В поле tag устанавливается уникальный числовой

;;идентификатор объекта - число, большее 0.

;;В поле DONE устанавливается одно из

;;следующих значений:

0 означает, что объект еще не обрабатывался;

;;1 означает, что объект обрабатывался в предположении

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

;;2 означает, что объект обрабатывался в предположении

;;о лживости высказывания. (deftemplate statement

(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 базируется на предположении о

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

;; ТО предположить, что персонаж говорит правду и что

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

(defrule unwrap-true-state

?W <- (world (tag ?N) (scope truth) (task check)

(done 0)) ?S <- (statement (speaker ?X) (claim SAY ?Z $?Y)



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



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