KG (Knowledge&amp-apos-s Guide-book) - учебная система для проектирования информационных технологий и экспертных систем. Кучуганов В.Н - 10 стр.

     Решатель задач – это блок системы KG, осуществляющий сборку и
выполнение заданного сценария, а также выгрузку ненужных процессов и
структур в соответствии с временной диаграммой сценария.
     Решатель задач рассматривает сценарий как совокупность связанных
между собой временных диаграмм и компонент – структур входных, выход-
ных данных и программ (процессов).
     Решатель задач получает на вход сценарий и, в соответствии с ним, из-
влекает необходимые структуры данных. Если сценарий прописан не кон-
кретно, то подключается модуль логического вывода. Система управления
знаниями может иметь несколько решателей задач, специализированных и
настроенных на различные классы задач.

      Пользователь прикладной задачи, выбрав нужный сценарий из мно-
жества доступных, получает в левом окне экрана план в виде перечня подза-
дач, которые он должен в ходе работы выполнить в интерактивном режиме
(рис. 2.1). При этом ему предоставляется доступ к просмотру и редактирова-
нию соответствующих структур данных, в то время, как все другие структу-
ры для него закрыты. Так в системе KG осуществляется адаптация к специ-
фике задачи.

     Протокол (работа, проект) отображает конкретную реализацию неко-
торого исполненного сценария и отличается от него тем, что отдельные про-
цессы в нем могут повторяться многократно.
     При записи в KG протокола выполненной работы все созданные или
измененные структуры данных записываются как экземпляры соответст-
вующих концептов-предметов и перечисляются в данном протоколе в графе
"Состав (сцены)". В дальнейшем, при записи протокола в KG можно будет
сохранять только отличия от предыдущего аналога.


2.2. Логический вывод и решатель задач

     Событие (сюжет) – это исполненный сценарий     или протокол.
Например: "Камень упал на крышу".
     События бывают состоявшиеся, текущие и ожидаемые. Из событий мы
можем извлечь некоторые факты.

    Факты – это значения атрибутов некоторых объектов.
Множество фактов можно разбить на 2 группы:
  - факты, дополняющие атрибуты и значения некоторого объекта (экзем-
    пляра);
  - факты, вычисляемые относительно других объектов, т.е. связывающие
    объект с другими объектами.



                                    10