4) введення конструкцiй для подання об'єктiв, що описуються частково-упорядкованими множинами, якi дозволяють задавати мета-значення (елементи стратегiї планування рiшень);
5) видiлення наборiв продукцiйних правил, що вiдповiдають операторам (дiїi логiчного виводу) i демонам (процесiв i логiчного виводу), якi дозволяють моделювати як процеси цiльоспрямованого, так i випадкового пошуку рiшення;
6) введення конструкцiй типу iмперативiв, дозволяючих використовачу, з одного боку, виконувати пiдказки в процесi рiшення задачi, моделювати процес перетворення ситуацiї певної послiдовностi дiй, с другого - поповняти i вилучати певнi конструкцiї з бази знань в процесi формулювань задач i опису проблемних областей;
7) введення конструкцiй для компактного подання у виглядi продукцiйних правил таблиць рiшень великого обсягу, що мiстять конкретнi значення чи iнтервали значень змiнних;
8) введення конструкцiй, що реалiзують механiзми пояснювання процесiв рiшення i знань.
СПИСОК ЛІТЕРАТУРИ
1. Галаган Н.И., Рабинович З.Л. Интеллектуальные решающие системы // Кибернеика. - 1986. - № 3. - с. 18-26.
2. Представление знаний в человеко-машинных робототехнических системах. Том С. Прикладные человеко-машинные системы, ориентированные на знания. - М.: ВЦ АН СССР, ВИНИТИ. 1984. - 291 с.
3. Галаган Н.И. Язык описания задач SITPLAN // Кибернетика. - 1979. - № 2. - с. 89-97.
4. Галаган Н.И. SITPLAN - язык описания задач преобразования ситуаций. - Киев: Изд-во АН УССР, 1979. - 45 с.
5. Гладун В.П. Эвристический поиск в сложных средах. - Киев: Наук. думка, 1077. - 165 с.