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

2.2.4. Модель формулы Любую среду,, конкретизация в которой при соответствующей интерпретации делает данную формулу истинной, называют моделью этой формулы. Так, например, среда кота является моделью формулы х(лхлхл л z, z> -1 х л х л х при конкретизации переменных х , х , х , z,, -. х соответственно как высказываний «кот находится у левой комнаты», «у левой комнаты лежит кусочек сыра», «у правой комнаты лежит кусочек сыра», «кот переходит к правой комнате», «кот находится у правой комнаты» поскольку высказывание «если «кот находится у левой комнаты» и «у левой комнаты лежит кусочек сыра» и «у правой комнаты лежит кусочек сыра» и «кот переходит к правой комнате», то после этого «кот находится у правой комнаты» и «у левой комнаты лежит кусочек сыра» и «у правой комнаты лежит кусочек сыра», являющееся конкретизацией формулы х. л хл л хпл z2 z> -. хк л хл л хп, истинно.