Формальная онтология и искусственный интеллект



Скачать 243.44 Kb.
страница9/9
Дата26.04.2018
Размер243.44 Kb.
1   2   3   4   5   6   7   8   9
в) высокоуровневая онтология Рассела и Норвига

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

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

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

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

д) LADSEB

В [Gangemi et al 2001] и [Guarino 98] описываются некоторые принципы высокоуровневой онтологии проекта LADSEB. Формальные от-

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

e) SUO

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

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

323
ЛИТЕРАТУРА

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

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

[Cocchiarella 1974] Cocchiarella N. 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 В., Herre K, Smith B. GOL: A General Ontologi-cal Language // Ошибка! Недопустимый объект гиперссылки. et al 2001] Gangemi A., GuarinoN, Masolo C, OtramariA. Understanding Top-level Ontological Distinctions // Technical Report 04/2001, LADSEB-CNR.

[Genesereth Fikes 1992] Genesereth V.R., Fikes R.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.

[Perzanowski 1994] Perzanowski J. Ontologic // Logic and Logical Philosophy. No 2. 1994. P. 4.

[Poli 1992] Poli R. Ontologia Formale. Genova. Marietti. 1992.

[Russell Norvig 1995] Russell S, Norvig P. Artificial Intelligence. Prentice Hall. 1995.

[Simons 1982] Simons P.B. The Formalization of Husserl»s Theory of Wholes and Parts // Parts and Moments. Studies in Logic and Formal Ontology/B. Smith (ed), Munich: Philosophia, 1982. P. 113-159.

[Smith Mulligan 1983] Smith B. and Mulligan K. Framework for Formal Ontology // Topoi,v.2.1983. P. 73-85.

[Sowa 2000] SowaJ. II http://bestweb.net/sowa/ontology/toplevel.htm.



[Stachniak 1981] Stachniak Z. Introduction to model theory for Lesniewski»s Ontology. Wroclaw, 1981. [SUO2001] http://suo.iee.org.

324
Каталог: data -> 2011
2011 -> Семинар "Человеческий капитал как междисциплинарная область исследований"
2011 -> Тамара Михайловна Тузова Специфика философской рефлексии
2011 -> Программа дисциплины «Философия» для направления 080100. 62 «Экономика»
2011 -> Программа дисциплины «Социология управления»
2011 -> Программа дисциплины «Основы теории коммуникации»
2011 -> Тезисы международной научно-практической конференции "Реализация гендерной политики: от международного до муниципального уровня"
2011 -> Программа дисциплины «Введение в социологию и история социологии»
2011 -> Николо Макиавелли Государь
2011 -> Экономическая социология
2011 -> Экономическая социология


Поделитесь с Вашими друзьями:
1   2   3   4   5   6   7   8   9


База данных защищена авторским правом ©znate.ru 2017
обратиться к администрации

    Главная страница