5.4. ПОСТРОЕНИЕ ПРОСТРАНСТВА ПОИСКА

Построение пространства поиска осуществляется в результате доказательства конструкторов экземпляров классов и реализуется посредством построения новых экземпляров классов.

Последовательность действий, создающих пространство поиска и слоты отдельного экземпляра класса, называется "формированием" экземпляра класса.

Построение экземпляра класса (создание нового экземпляра класса) включает следующие этапы:

  1. Формирование экземпляра класса.
  2. Доказательство предикатов  goal() во всех сформированных на первом этапе мирах.

Этапы формирования экземпляра класса и доказательства предикатов goal не зависят друг от друга и относятся к разным этапам построения процесса. Выполнение этих операций осуществляется в соответствии со следующими правилами:

  1. При построении экземпляров классов используются копии определений классов, отличающиеся от соответствующих определений классов тем, что все переменные в составе определений атрибутов этих классов заменяются новыми уникальными именами.
  2. Каждая автоматически исполняемая подцель goal объявляется актором.
  3. Исполнение предикатов goal осуществляется в произвольном порядке. При этом, однако, при равных прочих условиях, предикат goal в мире B всегда доказывается раньше, чем в мире A, если мир B является вложенным по отношению к миру A.

Ссылки: актор 7.1, атрибут 4.1.1, вложенность миров 5, исполнение предиката 6.3.1, класс 4.1, конструктор мира 4.1.3, мир 5.1, переменная 2.1.1, подцель доказательства 6.3.1, построение миров 5.4.1, построение процесса 5.4.1, слот 5.1, формирование миров 5.4.1, goal 5.4.1.


Следующий: 5.4.1. ИСПОЛНЕНИЕ КОНСТРУКТОРОВ
Предыдущий: 5.3. РЕЗИДЕНТЫ


5. СТРУКТУРА ПРОСТРАНСТВА ПОИСКА
5.4.1. ИСПОЛНЕНИЕ КОНСТРУКТОРОВ
5.4.2. ПОСТРОЕНИЕ СЛОТОВ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)