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


Обратное прослеживание и множество контекстов - часть 6


  • BACK. Если мы имеем дело с противоречием между текущим "миром" и ранее покинутым, эта операция выполняет возврат в ранее покинутый "мир", в котором не был полностью завершен анализ всех дизъюнктов или не было проанализировано предположение о лживости.

  • QUIT. Нам потребуется обнаружить ситуацию, которая наступает в случае, когда проанализированы все возможные интерпретации множества высказываний, т.е. все дизъюнктивные ветви и все возможные комбинации предположений о правдивости или лживости высказываний. Если при обнаружении такой ситуации не удалось найти непротиворечивую интерпретацию, можно со всей ответственностью утверждать, что условия задачи сами по себе несовместны, т.е. не существует ее решения в терминах отнесения каждого из персонажей к определенной категории — к лжецам или к правдолюбцам.

  • Еще раз модифицируем определение шаблона объекта world — внесем в него поле TASK, в котором будут представлены перечисленные задачи. Это поле будет использовано правилами, которые нам еще предстоит разработать. Механизм работы с задачами подобен тому, который использовался для манипулирования лексемами управления (control tokens), описанными в главах 5 и 14. Этот механизм активизирует определенные правила. Однако при этом мы не будем использовать стратегию МЕА или специальные векторы. Лексемы управления будут просто сохраняться в определенном поле объекта world. Но результат будет тот же — эта лексема будет использована для активизации определенного правила.

    ;;Объект world представляет контекст,

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

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

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

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

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

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

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

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

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

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

    CHECK - анализ предположений о правдивости или лживости высказывания; CONTRA - анализ обнаруженного противоречия; CLEAN - удаляет все утверждения, созданные в противоречивом мире




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



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