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

Это правило задает условия допустимости совершения действия. Действие может быть и не совершено. Но если оно совершилось, то среда перейдет в какое-то другое состояние. Этот переход задается формулой хн(1, 1)лхя(1, 1)л^х,(1, 1)л-,хс(1, l)A^3xH(l,2)AXn(l,2). (2.2) Логически любая элементарная конъюнкция эквивалентна дизъюнкции всех конституент (совершенной дизъюнктивной нормальной форме), в которых существенные переменные имеют одно и то же значение, совпадающее с их 39 2. Логические рассуждения значением в рассматриваемой конъюнкции, а несущественные переменные пробегают все наборы значений. Множество всех полных состояний среды, каждое из которых соответствует одной из конституент совершенной нормальной формы, полученной по данной элементарной конъюнкции, называется интервалом. Используя интервалы, можно перейти от рассуждения в терминах конституент, представляющих состояния среды, к рассуждениям в терминах элементарных конъюнкций, представляющих интервалы среды. Формулы логики высказываний, в которых используются элементарные конъюнкции, представляющие интервалы, будем называть интервальными формами.