· Анализировать наличие противоречий
Вы увидите, что для выполнения этих двух задач потребуется использовать механизм, очень близкий к тем, которые мы рассматривали при описании систем обработки правдоподобия в главах 17 и 19.
А.4.2. Онтологический анализ и представление знаний
Следующий этап — определить, с какими видами данных нам придется иметь дело при решении этого класса головоломок. Какие объекты представляют интерес в мире правдолюбцев и лжецов и какими атрибутами эти объекты характеризуются?
По-видимому, для решения задач этого класса нам придется иметь дело со следующими объектами.
