Лекции - Системы искусственного интеллекта
Подождите немного. Документ загружается.
(Яма,
ji,
) находится (Яма,
1ji,
)
находится (Яма,
1ji,
)
находится (Яма,
ji ,1
)
находится(Яма,
ji ,1
),
).( 1610
),( ji
находится (Чудовище,
ji,
находится
(Зловоние,
ji,
) находится (Зловоние,
1ji,
)
находится (Зловоние,
1ji,
)
находится (Зловоние,
ji ,1
)
находится(Зловоние,
ji ,1
),
).( 1710
),( ji
находится (Чудовище,
ji,
) находится
(Зловоние,
ji,
) находится (Зловоние,
1ji,
)
находится (Зловоние,
1ji,
)
находится (Зловоние,
ji ,1
)
находится(Зловоние,
ji ,1
),
).( 1810
),( ji
находится (Зловоние,
ji,
находится
(Чудовище,
ji,
) находится (Чудовище,
1ji,
)
находится (Чудовище,
1ji,
)
находится (Чудовище,
ji ,1
)
находится(Чудовище,
ji ,1
),
).( 1910
),( ji
находится (Сквозняк,
ji,
находится
(Яма,
ji,
) находится (Яма,
1ji,
)
находится (Яма,
1ji,
)
находится (Яма,
ji ,1
)
находится(Яма,
ji ,1
).
Формулы, определяющие условия выполнения агентом
действий:
61
).( 2010
),( ji
находится (Агент,
ji,
) ориентация
),( 1ji
находится (Чудовище,
1ji,
)
находится (Яма,
1ji,
)
перейти
),( 1ji
находится (Агент,
1ji,
)
ориентация
),( 2ji
,
).( 2110
),( ji
находится (Агент,
ji,
) ориентация
),( 1ji
находится (Чудовище,
1ji,
)
находится (Яма,
1ji,
)
перейти
),( 1ji
находится (Агент,
1ji,
)
ориентация
),( 2ji
,
).( 2210
),( ji
находится (Агент,
ji ,1
) ориентация
),( ji 1
находится (Чудовище,
ji ,1
)
находится (Яма,
ji ,1
)
перейти
ji ,( 1
находится (Агент,
ji ,1
)
ориентация
),( ji 2
,
).( 2310
),( ji
находится (Агент,
ji ,1
) ориентация
),( ji 1
находится (Чудовище,
ji ,1
)
находится (Яма,
ji ,1
)
перейти
ji ,( 1
находится (Агент,
ji ,1
)
ориентация
),( ji 2
,
).( 2410
),( ji
находится (Агент,
ji,
)
находится (Блеск,
ji,
) взять
),( ji
,
).( 2510
),( ji
находится (Агент,
ji,
) ориентация
),( 1ji
(находится (Чудовище,
1ji,
)
находится (Яма,
1ji,
)
находится (Препятствие,
1ji,
))
62
повернуться_направо ориентация
),( ji
находится (Агент,
ji,
) ориентация
),( ji 1
,
).( 2610
),( ji
находится (Агент,
ji,
) ориентация
),( ji 1
(находится (Чудовище,
ji ,1
)
находится (Яма,
ji ,1
)
находится (Препятствие,
ji ,1
))
повернуться_направо ориентация
),( ji
находится (Агент,
ji,
) ориентация
),( 1ji
,
).( 2710
),( ji
находится (Агент,
ji,
) ориентация
),( 1ji
(находится (Чудовище,
1ji,
)
находится (Яма,
1ji,
)
находится (Препятствие,
1ji,
))
повернуться_направо
),( ji
находится (Агент,
ji,
) ориентация
),( ji 1
,
).( 2810
),( ji
находится (Агент,
ji,
) ориентация
),( ji 1
(находится (Чудовище,
ji ,1
)
находится (Яма,
ji ,1
)
находится (Препятствие,
ji ,1
))
повернуться_направо
),( ji
находится (Агент,
ji,
) ориентация
),( 1ji
,
).( 2910
),( ji
находится (Агент,
ji,
) ориентация
),( 1ji
(находится (Чудовище,
1ji,
)
находится (Яма,
1ji,
)
находится (Препятствие,
1ji,
))
повернуться_налево
),( ji
находится (Агент,
ji,
) ориентация
),( ji 1
,
63
).( 3010
),( ji
находится (Агент,
ji,
) ориентация
),( ji 1
(находится (Чудовище,
ji ,1
)
находится (Яма,
ji ,1
)
находится (Препятствие,
ji ,1
))
повернуться_налево
),( ji
находится (Агент,
ji,
) ориентация
),( 1ji
,
).( 3110
),( ji
находится (Агент,
ji,
) ориентация
),( 1ji
(находится (Чудовище,
1ji,
)
находится (Яма,
1ji,
)
находится (Препятствие,
1ji,
))
повернуться_налево
),( ji
находится (Агент,
ji,
) ориентация
),( ji 1
,
).( 3210
),( ji
находится (Агент,
ji,
) ориентация
),( ji 1
(находится (Чудовище,
ji ,1
)
находится (Яма,
ji ,1
)
находится (Препятствие,
ji ,1
))
повернуться_налево
),( ji
находится (Агент,
ji,
) ориентация
),( 1ji
.
Формула цели:
).( 3310
),( ji
взять
),( ji
.
Вывод. Рассмотрим подробно вывод с использованием
правил исключения квантора общности, конъюнкта и введения
конъюнкции. Вывод разобьём на шаги, на каждом из которых
будем применять только одно из перечисленных правил, а в
результате получать новую формулу.
Ш а г 1 . В соответствии с правилом исключения квантора
общности и формулой (10.14) получаем
).( 3410
находится (Зловоние, 1, 1 ) находится
(Чудовище,1,1) находится (Чудовище, 1,2)
64
находится (Чудовище, 2,1).
Ш а г 2 . В соответствии с формулами (10.3), (10.34) и
правилом модус поненс получаем
).( 3510
находится (Чудовище, 1, 1 )
находится (Чудовище,1,2)
находится (Чудовище, 2,1).
Ш а г 3 . В соответствии с формулой (10.35) и правилом
исключения конъюнкта получаем
).( 3610
находится (Чудовище, 1, 1 ) ,
).( 3710
находится (Чудовище,1,2),
).( 3810
находится (Чудовище, 2,1).
Ш а г 4 . В соответствии с правилом исключения квантора
общности и формулой (10.15) получаем
).( 3910
находится (Сквозняк, 1, 1 )
находится (Яма,1,2)
находится (Яма, 2,1).
Ш а г 5 . В соответствии с формулами (10.4), (10.39) и
правилом модус поненс получаем
).( 4010
находится (Яма, 1, 2 ) находится (Яма, 2,1).
Ш а г 6 . По (10.40) и правилу исключения конъюнкта
получаем
).( 4110
находится (Яма, 1, 2 ) ,
).( 4210
находится (Яма, 2,1).
Заметим, что так как ячеек хотя бы с одной нулевой
координатой не существует, то соответствующие им предикаты
не включены в формулы (10.39) и (10.40).
Ш а г 7 . В соответствии с формулами (10.1), (10.2),
(10.37), (10.41) и правилом введения конъюнкции
).( 4310
находится (Агент, 1, 1 ) ориентация (1,2)
находится (Чудовище, 1,2)
находится (Яма, 1,2).
Ш а г 8 . В соответствии с формулой (10.21) и правилом
исключения квантора общности получаем
65
).( 4410
находится (Агент, 1, 1 ) ориентация (1,2)
находится (Чудовище, 1,2)
находится (Яма, 1,2) перейти (1,2)
находится (Агент, 1, 2 ) ориентация (1,3).
Ш а г 9 . В соответствии с формулами (10.43), (10.44) и
правилом модус поненс получаем
).( 4510
перейти (1,2) находится (Агент, 1, 2 )
ориентация (1,3).
Ш а г 1 0 . В соответствии с формулой (10.45) и правилом
исключения конъюнкта получаем
).( 4610
перейти (1,2)
).( 4710
находится (Агент, 1, 2 )
).( 4810
ориентация (1,3).
Ш а г 1 1 . В соответствии с формулами (10.47), (10.8) и
правилом модус поненс получаем
).( 4910
находится (Зловоние, 1, 2 ) .
Ш а г 1 2 . В соответствии с формулами (10.47), (10.11) и
правилом модус поненс получаем
).( 5010
находится (Сквозняк, 1, 2 ) .
Ш а г 1 3 . В соответствии с формулой (10.48) и правилом
исключения квантора общности получаем
).( 5110
находится (Зловоние, 1, 2 )
находится (Чудовище, 1, 1 )
находится (Чудовище, 1, 2 )
находится (Чудовище, 1, 3 )
находится (Чудовище, 2, 2 ) .
Ш а г 1 4 . В соответствии с формулами (10.49), (10,51) и
правилом модус поненс получаем
).( 5210
находится (Чудовище, 1, 1 )
находится (Чудовище, 1, 2 )
находится (Чудовище, 1, 3 )
66
находится (Чудовище, 2, 2 ) .
Ш а г 1 5 . В соответствии с формулой (10.52) и правилом
резолюции (согласно (10.36) истинен предикат находится
(Чудовище, 1, 1 ) , а по (10.37) - истинен предикат
находится (Чудовище, 1, 2 ) ; следовательно, находится
(Чудовище, 1, 1 ) и находится (Чудовище, 1, 2 ) ложны)
получаем
).( 5310
находится (Чудовище, 1, 3 )
находится (Чудовище, 2, 2 ) .
Чудовище только одно и поэтому только один из
предикатов в формуле (4.53) должен быть истинным.
Определить, однако, какой из них истинен, агент не может.
Поэтому попытаемся сформулировать действия, которые,
находясь в ячейке (1,2), агент может совершать в
предположении, что чудовище может быть в любой из двух
ячеек (1,3) или (2,2).
Ш а г 1 6 . В соответствии с формулой (10.27) и правилом
исключения квантора общности получаем
).( 5410
находится (Агент, 1, 2 ) ориентация (1,3)
находится (Чудовище, 1, 3 )
повернуться_направо (1,2)
находится (Агент, 1, 2 ) ориентация (2,2).
Ш а г 1 7 . В соответствии с формулами (10.47), (10.48),
(10.53) правилом введения конъюнкции получаем
).( 5510
находится (Агент, 1, 2 ) ориентация (1,3)
находится (Чудовище, 1, 3 ) .
Ш а г 1 8 . В соответствии с формулами (10.54), (10.55),
(10.53) и правилом модус поненс получаем
).( 5610
повернуться (1,2) находится (Агент, 1, 2 )
ориентация (2,2).
Ш а г 1 9 . В соответствии с формулой (10.56), (10.55),
(10.53) и правилом исключения конъюнкции получаем
).( 5710
повернуться (1,2),
).( 5810
находится (Агент, 1, 2 ) ,
).( 5910
ориентация (2,2).
67
Ш а г 2 0 . В соответствии с формулой (10.28) и правилом
исключения квантора общности получаем
).( 6010
находится (Агент, 1, 2 ) ориентация (2,2)
(находится (Чудовище, 2,2)
находится (Яма, 2, 2 ) ) повернуться (1,2)
находится (Агент, 1, 2 ) ориентация (1,1).
Ш а г 2 1 . В соответствии с формулой (10.53), (10.58),
(10.59) и правилом введения конъюнкции получаем
).( 6110
находится (Агент, 1, 2 ) ориентация (2,2)
(находится (Чудовище, 2,2).
Ш а г 2 2 . В соответствии с формулами (10.60), (10.61) и
правилом модус поненс получаем
).( 6210
повернуться (1,2) находится (Агент, 1, 2 )
ориентация (1,1).
Ш а г 2 3 . В соответствии с формулой (10.62) и правилом
исключения конъюнкта получаем
).( 6310
повернуться (1,2),
).( 6410
находится (Агент, 1, 2 ) ,
).( 6510
ориентация (1,1).
Ш а г 2 4 . В соответствии с формулой (10.20) и правилом
исключения квантора общности получаем
).( 6610
находится ( Агент, 1,2) ориентация (1,1)
находится (Чудовище, 1,1)
находится (Яма, 1,1)
перейти (1,1) находится (Агент, 1, 1 )
ориентация (1,0).
Ш а г 2 5 . В соответствии с формулами (10.5), (10.36),
(10.64), (10.65) и правилом введения конъюнкции получаем
).( 6710
находится ( Агент, 1,2) ориентация (1,1)
находится (Чудовище, 1,1)
находится (Яма, 1,1).
68
Ш а г 2 6 . В соответствии с формулами (10.67), (10.66) и
правилом модус поненс получаем
).( 6810
перейти (1,1) находится ( Агент, 1,1)
ориентация (1,0).
Ш а г 2 7 . В соответствии с формулой (10.68) и правилом
исключения конъюнкта получаем
).( 6910
перейти (1,1),
).( 7010
находится ( Агент, 1,1),
).( 7110
ориентация (1,0).
Таким образом, агент вернулся в ячейку (1,1), но
ориентация его изменилась. Теперь он стоит лицом к
несуществующей ячейке (1,0).
Ш а г 2 8 . В соответствии с формулой (10.6) и правилом
исключения квантора общности получаем
).( 7210
находится ( Препятствие, 1,0).
Ш а г 2 9 . В соответствии с формулой (10.29) и правилом
исключения квантора общности получаем
).( 7310
находится ( Агент, 1,0) ориентация (1,0)
(находится (Препятствие, 1,0)
находится (Чудовище, 1,0)
находится (Яма, 1,0))
повернуться_налево (1,1) .
находится ( Агент, 1,1) ориентация (2,1).
Ш а г 3 0 . В соответствии с формулами (10.70), (10.71),
(10.72) и правилом введения конъюнкции получаем
).( 7410
находится ( Агент, 1,1) ориентация (1,0)
(находится (Препятствие, 1,0).
Ш а г 3 1 . В соответствии с формулами (10.73), (10.74) и
правилом модус поненс получаем
).( 7510
повернуться_налево (1,1)
находится ( Агент, 1,1) ориентация (2,1).
69
Ш а г 3 2 . В соответствии с формулой (10.75) и правилом
исключения конъюнкта получаем
).( 7610
повернуться_налево (1,1),
).( 7710
находится ( Агент, 1,1)
).( 7810
ориентация (2,1).
Ш а г 3 3 . В соответствии с формулой (10.23) и правилом
исключения квантора общности получаем
).( 7910
находится ( Агент, 1,1) ориентация (2,1)
находится (Чудовище, 2,1)
находится (Яма, 2,1) перейти (2,1)
находится ( Агент, 2,1) ориентация (3,1).
Ш а г 3 4 . В соответствии с формулами (10.77), (10.78),
(10.38), (10.42) и правилом введения конъюнкции
).( 8010
находится ( Агент, 1,1) ориентация (2,1)
находится (Чудовище, 2,1)
находится (Яма, 2,1).
Ш а г 3 5 . В соответствии с формулами (10.80), (10.79) и
правилом модус поненс
).( 8110
перейти (2,1) находится ( Агент, 2,1)
ориентация (3,1).
Ш а г 3 6 . В соответствии с формулой (10.81) и правилом
исключения конъюнкта получаем
).( 8210
перейти (2,1),
).( 8310
находится ( Агент, 2,1),
).( 8410
ориентация (3,1).
Ш а г 3 7 . В соответствии с формулами (10.83), (10.9) и
правилом модус поненс получаем
).( 8510
находится (Сквозняк 2,1).
Ш а г 3 8 . В соответствии с формулой (10.19) и правилом
исключения квантора общности получаем
).( 8610
находится (Сквозняк 2,1) находится (Яма, 2,2)
находится (Яма, 1,1) находится (Яма, 3,1).
70