|
|
|
18.3.4.
Интеграция стратегий логического вывода
Джонсон и
Хейес-Рот обратили внимание на то, что рассуждения, ведомые целью, можно объединить
и с иерархическим планированием, и с выбором подходящего контекста в PROTEAN
[Johnson and Hayes-Roth, 1986]. Стратегию формирования суждений на основе
заданной цели нужно использовать в тех случаях, когда перед выполнением желаемой
операции нужно выполнить некоторые подготовительные процедуры. Например, в записях
активизации источников знаний, представляющих желаемые операции, могут быть
специфицированы определенные предварительные условия, и эти предусловия можно
трактовать как подцели, достижение которых будет способствовать активизации
указанных источников знаний.
Знания о целях
можно дифференцировать, различая причины, побуждающие нас сформировать ту или
иную цель. Причинами могут быть стремление
(1) выполнить
определенную операцию (например, активизировать определенный источник знаний,
представленный в записи активизации);
(2) установить
определенное состояние, которое будет способствовать удовлетворению предусловий
активизации;
(3) вызвать
определенное событие, которое поставит в очередь запись активизации источника
знаний с желаемой операцией.
Цели первого
типа представляют операции, которые приводят к удовлетворению предусловий.
Цели второго типа имеют отношение к ситуации, когда текущий контекст
не позволяет запустить на выполнение выбранную запись. В этом случае можно воспользоваться
родовым источником знаний, который в ВВ1 имеет наименование ЕпаЫе-Priority-Action.
Этот источник и активизируется в тех случаях, когда не удовлетворяются предусловия
в выбранной записи. Цели третьего типа имеют отношение к ситуации, когда
в списке выбора отсутствуют записи, которые могут привести к выполнению желаемой
операции. В этом случае потребуется вмешательство специального источника управляющих
знаний, способного отыскать среди прочих источников знаний такой, который содержит
в себе желаемую операцию. Создать условия для его активизации — это и есть цель
третьего типа.
Указанные две стратегии могут работать совместно, устраняя препятствия для выполнения желаемых операций.
|
|
|
