Полный листинг программы
Ниже приведен полный листинг CLIPS-программы, которая обеспечивает обработку составных утверждений и метавысказывании.
Эта программа предназначена для разрешения головоломок о правдолюбцах и лжецах. Программа анализирует наличие логических противоречий и отыскивает первую непротиворечивую интерпретацию.
Программа может обрабатывать конъюнктивные и дизъюнктивные составные утверждения. Программа может решать задачи с множеством высказываний и метавысказываниями.
TEMPLATES
Объект CLAIM имеет следующие поля:
- CONTENT – содержимое утверждения, например, Т А… означает, что А является правдолюбцем; F A… означает, что А является лжецом;
- OR Т A F В… означает, что А является правдолюбцем или В является лжецом, и т.д.
- REASON указывает, на основании какого высказывания сформировано данное утверждение. Значение этого поля равно идентификатору (полю tag) соответствующего объекта statement (высказывание).
- CONTEXT:: = 0 / 1 / 2; значение 0 означает глобальный контекст, значение 1 означает локальный контекст левого операнда, значение 2 означает локальный контекст правого операнда дизъюнкции,
(deftemplate claim (multifield content (type SYMBOL)) (field reason (type INTEGER)) (field scope (type SYMBOL)) (field context (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 представляет множество утверждений, ;;сформированных при определенном предположении ;;о правдивости или лживости высказывания, ;;принадлежащего некоторому персонажу. ;;Объект имеет уникальный идентификатор ;;в поле tag, который соответствует ;;тэгу высказывания. ;;Смысл допущения – истинность или лживость – ;;фиксируется в поле scope. ;;Поле TASK содержит одно из перечисленных ;;ниже значений: CHECK – анализ предположений о ;;правдивости или лживости высказывания; ;;CONTRA – анализ обнаруженного противоречия; ;; CLEAN – удаляет все утверждения, созданные ;;в противоречивом "мире"; ;;BАСК – откат в точку возврата; QUIT – прекращение процесса. ;;Поле prior может содержать идентификатор ;;объекта world, обработанного перед тем, ;;как был создан данный объект, и с которым данный ;;объект может потенциально конфликтовать. ;;Поле upper содержит идентификатор другого объекта ;;world, в который внедрен данный объект, если ;;соответствующее высказывание содержит другое ;;высказывание. ;;Например, А говорит, что В сказал, что А – лжец. ;;В поле context сохраняется текущий контекст ;;анализируемого операнда дизъюнкции. ;;Поле done содержит информацию о том, обработано ли ;; уже высказывание, на основании которого создан этот ;; объект.