Искусственный интеллект - [145]
в) высокоуровневая онтология Рассела и Норвига
Наиболее общими категориями здесь [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.
[Cocchiarella 1974] CocchiarellaN.Formal Ontology and the Foundations of Mathematic // Bertran Russell Philosophy / G Nakhikian (ed.). Duckworth, London 1974. pp. 29-46.
[Degen et al 2001] Degen W., Heller B., Herre H, Smith B.GOL: A General Ontological Language // http://www.ontology.uni-leipzig.de[Gangemi et al 2001]GangemiA., Guarino N.,MasoloC.,OtramariA.Understanding Top-level Ontological Distinctions // Technical Report 04/2001, LADSEB-CNR.
[Genesereth Fikes 1992] Genesereth V.R, FikesR.E.Knowledge Interchange Format, Version 3.0, Reference Manual. Logic Group Report Logic-92-1, Computer Science Department, Stanford University.
[Guarino 98] Guarino N.Formal Ontology and Information Systems // Ajhvfl Ontology in Information Systems. Proceedings of FOIS»98, Trento. Italy / N. Guarino (ed.), Amsterdam, IOS-Press.
