Искусственный интеллект

начальным состоянием среды является состояние, в котором одновременно к дверям отеля подошел клиент без багажа и подъехал автомобиль. 51 3. ЛОГИКА ПРЕДИКАТОВ В этой главе рассмотрена логика предикатов первого порядка, являющаяся существенно более выразительным, чем логика высказываний, языком представления знаний агентов. Во второй главе было показано, каким образом логику высказываний можно использовать для представления знаний и логических рассуждений. Однако выразительные возможности логики высказываний невысоки. Требуется слишком много формул логики высказываний для описания даже простых сред. Например, в случае простой среды чудовища (см. гл. 2) для того, чтобы указать факт наличия или отсутствия любого объекта (чудовища, агента, ям, золота) в какой-либо ячейке среды, пришлось ввести для каждого объекта множество логических переменных, число которых совпадает с числом ячеек среды, и сопоставить каждое местонахождение объекта в какой-либо ячейке с координатами (/, j) истинному значению переменной, соответствующей объекту и этой ячейке. Понятно, что число таких переменных равно числу ячеек среды, умноженному на число объектов.