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

4.2.1. Поставок* задача ¦ среде кубиков Формулы, определяющие начальные знания агента. Имеем среду, состоящую из стола и кубиков на нем. Каждый из кубиков может лежать либо непосредственно на столе, либо на одном из других кубиков, образуя с кубиками, лежащими под ним, столбик. Столбики могут быть любой высоты. Пусть начальное состояние среды кубиков следующее: кубики Си # лежат на столе, кубик А лежит на кубике С, кубик D на кубике В (рис. 4. 1). 89 4. Вывод в логике предикатов А с D в Рис. 4.1. Начальное и целевое состояния среды кубиков Начальное состояние среды кубиков можно описать следующими атомами: на (А, С), (4.130) на (С, Стол), (4.131) на (Д В), (4.132) на (В, Стол), (4.133) свободен (А), (4.134) свободен (D). (4.135) Атомы на (А, С), на (С, Стол), на (Д В), на (В, Стол) описывают .положение кубиков относительно друг друга, а атомы свободен (А), свободен (D) указывают, что на кубиках А и В ничего не лежит.