Представление знаний о предметной области и контексте
Знания о предметной области МЭРФИ — это множество семантических примитивов, свойственных данной области, представленных в формате Концептуальной Зависимости (Schank, 1975; Schank and Abelson, 1977), хотя система МЭРФИ могла бы быть реализована с помощью любого из многочисленных формализмов для представления знаний, сходных на общем уровне с Концептуальными Зависимостями.
Каждый семантический примитив, называемый в дальнейшем Концептуальной Зависимостью, или сокращенно КЗ, состоит из ядра (header), за которым следует некоторый набор поименованных позиций — слотов. Ядро и поименованные слоты вместе составляют фрейм Концептуальной Зависимости, или КЗ- фрейм. Разные КЗ могут сочетаться между собой, а именно: одна КЗ может помещаться в некоторый слот другой КЗ в соответствии с определенными ограничениями (каждая КЗ обладает определенными признаками, и каждый слот допускает подстановку других КЗ лишь с определенными признаками). Например, ограничение (требует человеческий) указывает на то, что заполнитель данного слота должен обладать признаком (человеческий). Кроме того, некоторые признаки являются не обязательными, а предпочтительными. Например, ограничение (предпочитает маленький) указывает на то, что заполнитель, обладающий признаком (маленький), предпочтительнее, чем тот, который данным признаком не обладает; однако, если предпочтительный признак отсутствует, заполнение слотов может все равно продолжаться. Заметим, что принятое нами обозначение ограничений, касающихся того, какая КЗ может заполнять слот в составе какой-либо другбй КЗ, вовсе не считается идеальным, в полной мере адекватным; оно лишь служит рабочим инструментом для решения стоящих сегодня перед нами задач. В развитой промышленной системе использование простых атрибутов понятий окажется, конечно, недостаточным. Определение возможности сочетания одного понятия с другим в предметной области реального сложного мира потребует и достаточно сложных правил рассуждения. Однако разумно предположить, что в самом деле богатая система может быть построена на основе следующей идеи: в результате любого процесса сложного рассуждения получается суждение, аналогичное по своей структуре нашей конструкции из атрибутов. Таким образом, принятый нами подход не исключает обращения к сложным видам рассуждения; иначе говоря, он совместим с таким рассуждением, которое может как бы надстраиваться над ним. Однако выбранная нами ограниченная предметная область нуждается только в таких простых предикатах. Таким образом, первичное определение некоторой конкретной КЗ состоит из определения фрейма, признаков КЗ и ограничений, указывающих на то, какие виды КЗ могут заполнять каждый слот. Например, приводимое ниже описание показывает дефиницию для КЗ, соотносимой с контактом рубильника (объект 1):определить-понятие
ядро-фрейма: объект 1
есть-некоторый: физический-объект
фрейм: (объект 1 является-частью (ноль) реф(ноль))
ограничения-на-слоты: является-частью требует-физический-объект реф требует-определитель
Кроме информации, отражаемой в дефинициях указанного типа, знания МЭРФИ о различных предикатах, приписываемых той или иной КЗ, встречаются также и в других частях системы. Например, МЭРФИ знает также, что объект 1 является трехмерным пространственным объектом, который с геометрической точки зрения представлен как несколько точек, задающих контуры твердого тела. Это представление используется программным обеспечением робота, планирующим перемещения собираемых деталей и предотвращающим столкновения; и, конечно, это представление образует существенную часть значения объекта 1. Другой вид дополнительных знаний, которыми располагает МЭРФИ о представлении значения данного термина,— это возможные умозаключения, получаемые в рамках управления диалогом. Каждое правило управления диалогом проверяет текущую ситуацию на соответствие определенной конфигурации концептуальных зависимостей, чтобы реализовать те умозаключения, которые могут быть выведены из факта присутствия той или иной КЗ. Каждое правило, таким образом, содержит в себе дополнительные знания о КЗ.
5.2.