Операции обобщения и специализации

Формализм концептуальных графов содержит ряд операций, позволяющих создавать новые графы на основе существующих либо их обобщением, либо специализацией, что позволяет удобным способом выразить смысл высказываний на естественном языке. Определены четыре операции преобразования
графов:

• copy (копировать);

• restrict (ограничить);

• join (объединить);

• simplify (упростить).

Пусть g 1, g 2 – два концептуальных графа:

Тогда:

• операция copy (g2) создает новый граф g, являющийся точной копией g 2.

• операция restrict (g2) создает новый граф g, в котором метки всех вершин
понятий графа g 2 заменены на метки, обозначающие специализацию соответствующих понятий (рис. *).

Существует два варианта замены:

1) е сли понятие графа g 1 маркировано родовым маркером (указан только
класс), то родовой маркер заменяется маркером определенного индивида;

2) метка класса может быть заменена меткой одного из его подклассов, если эта замена согласуется с индивидом, представляющим понятие, например, в
данном случае метка animal может быть заменена меткой dog;

• операция join (g1, g2) создает новый граф g путем объединения вершин и ребер графов g 1 и g 2 (рис. **), причем, если в графе g 1 существует вершина-понятие c 1, которая идентична вершине-понятию c 2 в графе g 2, то вершина c 2 удаляется, а все инцидентные ей ребра связываются с вершиной c 1;

• операция simplify (join (g1, g2)) создает новый граф g, в котором удалены дубликаты вершин-отношений и инцидентные им ребра графа g 1 (рис. ***). Обычно
такие дубликаты появляются в результате выполнения операции join.

Введенные на концептуальных графах операции позволяют выразить в формальной форме сложные семантические преобразования высказываний. Так, операция restrict может применяться для сочетания двух понятий (т.е. приведения понятий к одному и тому же типу) с целью последующего выполнения операции join. Совместное использование операций restrict и join позволяет реализовать наследование различных классов понятий. Например, замена родового маркера индивидуальным выражает тот факт, что индивид наследует все множество свойств, общих для членов своего класса. А вот замена метки класса меткой подкласса выражает факт наследования классом свойств его суперкласса. Путем объединения одного графа с другим с помощью операции join и применения операции restrict удается реализовать наследование множества свойств.

Далее приведем пример, показывающий как понятие шимпанзе (chimpanzee) наследует свойства всеядности от класса приматов (primates) путем замены метки класса меткой подкласса.

Также на рисунке видно, как это свойство наследуется конкретным индивидом из класса шимпанзе по имени Bonzo.

Кроме того, операции join и restrict могут быть использованы для определения правдоподобных предположений, которые играют важную роль в процессе понимания высказываний на естественном языке. Если сказано: «Маша и Витя пошли отведать пиццы» − то мы автоматически делаем ряд предположений: скорее всего, они будут есть покрытый толстым слоем из сыра и томатного соуса круглый итальянский хлеб, Маша и Витя будут есть в пиццерии и должны иметь достаточно денег для оплаты, и т.д. и т.п. Такие рассуждения могут быть естественным образом выражены через операции join и restrict. Мы создаем концептуальный граф, выражающий данное высказывание и объединяем его с концептуальными графами, которые описывают общие свойства пиццы и ресторанов (эти графы, по сути, являются знаниями о предметной области, они созданы заранее и хранятся в компьютерной программе). Получившийся в результате граф дает возможность узнать, что в еде будет присутствовать томатный соус, а после еды потребуется оплатить счет.

Join и restrict, являясь операциями специализации, определяют частичный
порядок на множестве выводимых графов. Но если граф g 1 является специализацией графа g 2, то можно сказать, что g 2 является обобщением графа g 1.

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

Однако эти операции не являются правилами логического вывода. Они не
гарантируют, что из графов, определяющих истинное утверждение, могут быть
получены только истинные утверждения, определяемые другими графами. Например, результат применения операции restrict к графу на рис. *не обязательно должен быть истинным (существо по имени Эмма может быть как собакой, так и кошкой). Аналогично, операция join (рис. **) может породить ложное высказывание: собака на крыльце не обязательно должна быть той же собакой, которая грызет кости.

Операции, введенные в формализме концептуальных графов, являются
каноническими правилами образования новых графовых структур. Притом, что они не сохраняют истинность вновь произведенных графов, эти операции обладают важным свойством сохранения «смысловой значимости», которая важна при использовании концептуальных графов для понимания естественного языка. В качестве примера, раскрывающего понятие «смысловой значимости», рассмотрим три высказывания:

1) «Альберт Эйнштейн сформулировал принцип относительности»;

2) «Альберт Эйнштейн играет центральным нападающим в Спартаке»;

3) «Концептуальные графы – это желтые летающие штукенции».

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

 

Метавысказывания

В дополнение к возможности определять с помощью концептуальных
графов отношения между понятиями предметной области, выраженные в одном
высказывании, хотелось бы уметь выражать отношения между высказываниями. Рассмотрим, например, предложение: «Коля предполагает, что Катя любит пиццу». Здесь «предполагает» является отношением, которое использует высказывание «Катя любит пиццу» в качестве одного из аргументов. Все предложение целиком является высказыванием о высказывании (метавысказыванием).

В формализме концептуальных графов выделяется особый класс понятий под названием «утверждение» (proposition). Содержанием понятия «утверждение» является один или несколько концептуальных графов, что и позволяет определять метавысказывания. Визуально «утверждение» выражается в виде прямоугольника,
внутри которого располагаются другие концептуальные графы. Далее приведем граф иллюстрирующий рассмотренное ранее метавысказывание.

Здесь отношение experiencer (кто-то испытывает что-то) отдаленно напоминает отношение agent, которое связывает субъект действия с глаголом, и используется для обозначения состояний убежденности.

В данном случае иллюстрируется возможность использования понятия «утверждение» для выражения модальности знания и убеждений. При этом различным высказываниям можно назначать разную степень нашей уверенности в их истинности: полная уверенность в истинности, истинность возможна, является необязательным результатом действия, маловероятна и.т.п.