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

Затем агент может вновь воспользоваться правилом исключения конъюнкта, получая в результате истинные формулы -. хч(1, I), -, х (2, 1), - хч(1, 2), -, хя(1, 1), -. х„(2, 1), -, х (1, 2), которые означают, что чудовища и ям нет в ячейках, соседних ячейке (1, 1). Далее агент может воспользоваться первой формулой из числа формул (2.6) и правилом модус поненс: хн(1, 1) л х„(1, 1) л -, хч(1, 2) л -; х (1, 2), хн(1, 1) л х„(1, 1) л -, хч(1, 2) А -, хя(1, 2) з zm, заключая, что формула zm истинна и, следовательно, он может совершить действие перехода в ячейку (1, 2). Воспользовавшись этим фактом, правилом модус поненс и первой формулой из (2.7), которая принимает следующий вид: 46 2. Логические рассуждения хи(1, 1) л х/1, 1) л -, хч(2, 1) л -, хя(2, 1) э zo,