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



Скачать 243.44 Kb.
страница5/9
Дата26.04.2018
Размер243.44 Kb.
1   2   3   4   5   6   7   8   9
6. Онтологические Типологии

Диапазон формальной онтологии гораздо более широк, чем у онтологики. Достаточно заметить, что согласно приведенным выше определениям онтологика является составной частью формальной онтологии, подобно тому как логической частью любой теории неизменно является классическая логика предикатов (если только не рас-



1 Существует некоторое разногласие по вопросу о том, является ли символ равенства нелогическим знаком. Согласно [Расёва Сикорский 1972, с. 222], «... формализованные теории первого порядка содержат в своем языке некоторый бинарный предикат, который соответствует отношению равенства и называется знаком равенства». С другой стороны, в [Шенфилд 1975, с. 42] находим следующую формулировку: «Функциональный символ или предикатный символ, отличный от =, называется нелогическим символом; остальные символы называются логическими»

311
сматривать неклассические формальные системы, для которых это ограничение не имеет места). С другой стороны, многие онтологические типологии (классификации по онтическим положениям) явно подразумевают нелогические аспекты анализа. Возьмем, например, типы онтологии, приводимые Р. Поли в его книге «Формальная онтология» [Poli 1992, р. 42-43]. Он определяет их следующим образом.



Онтология объектов и свойств. Основывается на номинальной предикации. Восходит от Аристотеля к Мейнонгу как наиболее радикальному ее представителю. Предполагает соответствие между лингвистической и онтической формами (наложение языковой решетки на мир). Лингвистические варианты в перспективе моделирования представлены в работах Карнапа и Робинсона.

Стратифицированная онтология. Описывает мир в категориях зависимости. Первичная внутренняя дифференциация определяется по вопросу принятия или опровержения различия между общей и локальной онтологиями. Случай опровержения различия очень близок к математике. Если зависимость между слоями (стратами) описывается с помощью отношений, то получаем семантику Тарского, если с помощью функций — то Фреге и Чёрча. В случае принятия различия между общей и локальной онтологиями мы имеем дело с правилами зависимости и независимости между различными областями онтологии. Здесь среди наиболее разработанных версий привлекают внимание теория систем, теория катастроф и термодинамика. С философской точки зрения подобной онтологией является феноменологическая онтология, представленная в трудах Гуссерля, Шелера, Ингар-дена и Гартмана.

Онтология событий. Основывается на вербальной и невербальной предикации (Иван говорит, Иван выходит). Ее предметами являются динамические сущности. Можно соотнести ее с современной физикой, в частности, с теорией относительности и квантовой механикой. Среди философов наиболее видные представители такого рода онтологии — Уайтхед и Гегель.

Комбинаторная онтология. Описывает универсум как композицию элементов и комбинацию элементов. Если комбинация является следствием внешних факторов и все элементы комбинируемы, то получаем комбинаторную логику Чёрча и Карри. Если же комбинации детерминируются внутренними факторами, то получаем онтологию, близкую к стратифицированной онтологии. С точки зрения мышления она является плюралистической онтологией. С лингвистической — категориальной онтологией в смысле семантических категорий (иначе интерпретируется как функциональная онтология). Онтология

312


ш
комбинаторного типа была чужда классическому греческому и средневековому европейскому мышлению, но близка арабо-индийской традиции диалектической теологии Калама и мутаззилитов. В Европе классический представитель комбинаторной онтологии — Лейбниц.

Трансформационная онтология. Монистична. Существуют внутренние и внешние трансформации. Плюралистичность достигается только как совокупность состояний или модификаций. Это онтология Спинозы. Подобна геометрической интерпретации релятивистской физики. Не имеет специальных лингвистических коррелятов.

Онтология ментальных конструкций. Описывает ментальную активность непосредственного созерцания, не рассматривает «факты» внешнего мира. Вероятно, наиболее значительным ее представителем является математический интуиционизм Брауэра. Наиболее радикальные ее формы не допускают достоверных лингвистических выражений.

Это несомненно пример далеко не исчерпывающей типологии, поскольку сам Р. Поли далее говорит о том, что возможны и другие типологии на основе иных принципов. Например, мы получаем следующий список оппозиций:



Статическая онтология динамическая онтология.

Однородная онтология стратифицированная онтология.

Модальная онтология немодальная онтология.

Дескриптивная онтология конструктивная онтология.

Лингвистическая онтология экстралингвистическая онтология.

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




Каталог: 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
обратиться к администрации

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