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

avp,-,0v yr-avymiH эквивалентно -• а гэр.ргэуЬ-! а гэ у. 2.3.2. Формализация вывода средствами логики высказываний Вернемся снова к нашему примеру — среде кота. Введем три логические переменные хк, хя, хп, истинное значение первой из которых означает, что кот находится у левой комнаты, а ложное, что он находится у правой комнаты; истинное значение переменной хя означает, что кусочек сыра лежит около левой комнаты, а ложное, что его там нет; истинное значение переменной хп означает, что кусочек сыра лежит около правой комнаты, а ложное, что его там нет. В результате таких обозначений табл. 2.1 можно заменить на табл. 2.4. Каждое состояние среды можно рассматривать как комбинацию (отношение) простейших свойств объектов, задаваемых значениями отдельных логических переменных. Так, состояние 6, соответствует комбинации свойств кота и кусочков сыра, состоящей в том, что кот находится в левой комнате, и в это же самое время около левой и правой комнат находится по кусочку сыра. На русском языке эту комбинацию можно выразить предложением: «Кот находится около левой комнаты, кусочек сыра лежит около левой комнаты и кусочек сыра лежит у правой комнаты». В соответствии с уже приведенной выше интерпретацией логических переменных хк, хя, хп это предложение можно представить формулой хк ЛХЛЛхп, которая истинна в единственном случае — все логические переменные, входящие в нее, истинны, т.е. среда находится в. состоянии br Формулы такого типа, являющиеся конъюнкцией переменных с отрицанием или без него, называют элементарными конъюнкциями. Если среда находится в состоянии Ь2, то истинна формула-i хк л хп л хп и т.д.