Сетевое представление знаний Временные и модальные операторы.

Используемые в логике знания глаголы (например, «полагать» и «знать») относятся к объектам, которые могут быть целыми фразами. Эти глаголы пронизывают иерархическую графическую структуру, в которой целые графы можно интерпретировать как узлы графов высшего порядка.

Фразу «Жак посылает книгу Мари» изображают классическим концептуальным графом в отличие от фразы «Поль полагает, что Жак посылает книгу Мари», отражённый (с пометкой (с)) в центральной части графа на следующем рисунке. Из этого рисунка видно, что Мысль_8 принадлежит типу мысль. Объект Мысль_8 – концепт типа (точнее, с «меткой типа») высказывание. Ссылка Мысль_8 – граф фразы «Жак посылает книгу Мари». Полагающий это человек – Поль_6.

Любую форму модальной логики можно рассматривать в духе этого примера. В модальной логике всегда можно отделить пропозициональную часть фразы (выразимую в логике предикатов) от собственно модальности. При изображении концептуальных графов пропозициональная часть поля ссылки концепта обозначена типом высказывание. Такие модальности, как ◊,, полагает, знает суть концептуального отношения графа. На рисунке фраза «Не может быть так, чтобы Поль полагал, будто Жак посылает книгу Мари» представлена в виде концептуального графа.

Друзья! Приглашаем вас к обсуждению. Если у вас есть своё мнение, напишите нам в комментарии.