2014-02-09
776
Формулы, определяющие начальные знания агента. Имеем среду, состоящую из стола и кубиков на нем. Каждый из кубиков может лежать либо непосредственно на столе, либо на одном из других кубиков, образуя с кубиками, лежащими под ним, столбик. Столбики могут быть любой высоты. Пусть начальное состояние среды кубиков следующее: кубики С и В лежат на столе, кубик А лежит на кубике С, кубик D на кубике В (рис. 7).
Рисунок 7 - Начальное и целевое состояния среды кубиков
Начальное состояние среды кубиков можно описать следующими атомами:
на(А,С), (4.130)
на (С, Стол), (4.131)
на (D, В), (4.132)
на (В, Стол), (4.133)
свободен (А), (4.134)
свободен (D). (4.135)
Атомы на (А, С), на (С, Стол), на (D, В), на (В, Стол) описывают положение кубиков относительно друг друга, а атомы свободен (А), свободен (D) указывают, что на кубиках А и В ничего не лежит.
Формулы, определяющие условия выполнения действий. Действия, которые можно совершать в среде кубиков — это перемещать один кубик, на котором ничего не лежит, на стол или на другой кубик, если он свободен от кубиков сверху. Для обозначения этих действий введем атомы переместить (х, у) и переместить (х, Стол). Тогда для нашего примера достаточно двух формул, определяющих условия выполнения действий:
|
|
|
на (х, у) 
свободен (х) 
переместить (х, Стол), (4.136)
на (х, Стол) свободен (х) свободен (z) переместить (х, z). (4.137)
Формулы, определяющие условия перехода состояний среды:
на (х, у) свободен (х) переместить (х, Стол) на (х, Стол), (4.138)
на (х, у) свободен (х) переместить (х. Стол) свободен (у), (4.139)
на (х, у) свободен (х) свободен (z) переместить (х, z)на(х, z), (4.140)
на (х, у) свободен (х) свободен (z) переместить (х, z)
свободен (у). (4.141)
Целевая формула. В соответствии с рис. 4.2 целевой будет следующая формула:
на (А, В) на (В, Стол) на (С, Стол) на (D, Стол). (4.142)
