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

Ситуоиды интуитивно означают часть мира, которая может пониматься как когерентное целое и не нуждается в других сущностях для своего существования. Например: поцелуй Джоном Мэри в некотором окружении. Этот ситуоид содержит субстанции «Джон» и «Мэри» и относительный момент «поцелуй», который связывает их. Сами по себе эти сущности в изоляции не образуют ситуоид, мы должны добавить некоторое окружение, чтобы получить некоторое целое.

Специальным типом ситуоидов являются ситуации. Это ситуоиды во времени, так что они представляются собой моментальный снимок некоторого фрагмента мира.

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

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

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

б) КП

Другим известным проектом является 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 представляет собой консервативное расширение высокоуровневой онтологий Дж. Соувы и Рассела-Норвига, получаемого путем добавления большого количества новых понятий.

* * *

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

ЛИТЕРАТУРА

[Смирнов 1987] Смирнов В А. Логические методы анализа научного знания.М.: Наука, 1987.

[Твардовский 1997] Твардовский К. Логико-философские и психологические исследования. М: РОССПЭН. 1997.