Искусственный интеллект

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

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

б) КП

Другим известным проектом является KIF (Knowledge Interchange Format - Формат обмена знаниями), представляющим собой формальный язык для обмена знаниями между компьютерными программами, написанными разными программистами в разное время и на различных языках. Онтология этого проекта [Genesereth Fikes 1992] принимает в качестве самой широкой категории категорию объекта. Это понятие достаточно широко: объекты могут быть конкретными (напр., кусок скалы, Ницше, молекула) или абстрактными (понятие справедливости, число два), объекты могут быть простыми или сложными, и даже фиктивными (напр., единорог). Принимается деление на индивиды и множества. Множество представляет собой совокупность объектов, индивидом является объект, не являющийся множеством. Функции и отношения вводятся как множества конечных списков. Онтологический базис KIF слабее базиса GOL. KIF можно понимать как теоретико-множественную часть GOL.

в) высокоуровневая онтология Рассела и Норвига

Наиболее общими категориями здесь [Russell Norvig 1995] являются

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

События можно классифицировать как интервалы, места, физические объекты и процессы. К сожалению, нет четкого различия между множествами, универсалиями и индивидами. Нет также категории формальных отношений. Класс универсалий (называемых здесь «категориями») является подклассом класса множеств. Событием в онтологии Рассела-Норвига является то, что они называют «куском» частного универсума темпоральным и пространственным измерением. Интервал - это событие, включающее в себя как подсобытия все события, произошедшие в данный период времени. Подобные интервалы можно, в некотором смысле, понимать как ситуоиды. Но разница в том, что GOL-ситуоиды являются частью реального мира, которые рассматривается как некоторые целостности.

г) высокоуровневая онтология Соувы

В онтологии Дж. Соувы [Sowa 2000] также нет четкого разделения между множествами, универсалиями и индивидами. Его интересует главным образом различие между классами и единичными сущностями. Учитывая, что эти понятии интерпретированы в IGF, их можно понимать как соответствующие тому, что в GOL названы множествами и урэлементами. Имеются следующие двуместные примитивные отношения: иметь, быть примером чего-л., быть подклассом чего-л.. быть темпоральной частью чего-л., быть пространственной частью чего-л. Отношение «быть примером» интерпретируется отношением принадлежности, а онтологический статус отношения «иметь» совершенно неясен. Онтология Соувы использует два эпи-стемических оператора пес и poss, которых нет в KIF. Однако, к сожалению, вновь неясен онтологический характер этих операторов.

д) LADSEB

В [Gangemi et al 2001] и [Guarino 98] описываются некоторые принципы высокоуровневой онтологии проекта LADSEB. Формальные отношения в рамках LADSEB рассматриваются как отношения, которые могут возникать между сущностями во всех материальных сферах. Примеры формальных отношений, рассматриваемых в [Gangemi et al 2001] включают в себя конкретизацию, принадлежность, частичность, связь, местоположение и расширение, а также зависимость. Формальные свойства включают конкретность, абстрактность, экстенсиональность, единство, множественность, зависимость и независимость. Конкретность, принадлежность и частичность являются базисными отношениями в смысле GOL.

е) SUO

SUO представляет собой проект, спонсируемый IEEE с целью дальнейшей разработки «Стандартной высокоуровневой онтологии», основанной на KIF [SUO 2001]. Этот проект разрабатывается для обеспечения определениями от 1000 до 2000 терминов общего назначения таким образом, чтобы создать общую структуру для онтологии низкоуровневой области достаточно большого размера и более специфического диапазона. В сущности SUO представляет собой консервативное расширение высокоуровневой онтологий Дж. Соувы и Рассела-Норвига, получаемого путем добавления большого количества новых понятий.

* * *