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

Элементарную конъюнкцию, в которую входит по одному разу каждая переменная, определяющую состояние среды, с отрицанием или без 32 2.3. Исчисление высказываний отрицания, называют полной конъюнкцией, или конституентой. Аналогично тому, как были введены логические переменные хх, хя, хп, введем логические переменные zv Z2, z3 для действий кота Идти налево, Идти направо, Съесть соответственно. Переменная принимает истинное значение, если выполняется соответствующее ей действие. В противном случае она принимает ложное значение. Для простоты будем полагать, что кот не может одновременно выполнять сразу более одного действия. Рассмотрим теперь, как могут быть выражены в виде формул переходы среды из одного состояния в другое при совершении котом того или иного действия. Так, если кот находился в состоянии й, и выполнил действие Идти направо, то среда перейдет в состояние br Факт нахождения кота в состоянии й, и выполнение им в это время действия Идти направо означает истинность формулы хк л хл л хп л zv а факт перехода состояния й, при выполнении действия Идти направо в состояние Ьг будем интерпретировать как истинность формулы хк л хл л хп л z2 => -1 хк л хл л хп, что позволяет при истинности хк л хл л л хп л z2 сделать заключение об истинности -i хк л хл л хп. Точно так же можно выразить в виде аналогичных формул все остальные переходы, показанные на рис. 2.2. Представим их в виде табл. 2.5. В первых трех столбцах этой таблицы указаны переходы, имеющиеся на рис. 2.2, а в последнем — формулы, соответствующие переходам.