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

     5. Закончить вывод, если нет новых фактов.

      Следовательно, для логического вывода необходимо:
      1. Выделить метаправила – стратегии и рекомендации. Процессы могут
обладать атрибутом приоритетности, значение которого определяется экс-
пертом или автоматически, в соответствии с выбранной стратегией.
      2. Выделить правила типа "требования" и, соответственно, факты, при-
нимаемые априорно, например: "Лекции академика Петрова должны прохо-
дить по понедельникам с 8-30 утра".
      Замечания.
      1. Результаты логического вывода зависят от стратегии.
      2. Задачи типа "расписание" порождают правила, которые удобно пред-
ставить в виде гиперграфа – множества ситуаций, в которых те или иные
правила могут выполняться.
      3. Процессы могут быть одноразовые и многоразовые в рамках одного
сценария.


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


2.4. Алгоритм заимствования движений

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



                                    12