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



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

Подобным конструированием формальных языков, требуемых для нужд формальной онтологии, занимаются Б. Смит и К.Маллиган, стремясь при этом избежать «логизации», т.е. стремясь строить языки на совершенно иных основаниях, в отличие от того, как это делается в логике, соблюдая тем самым различие между формальной логикой и формальной онтологией, о котором говорил Гуссерль. Так, в работе [Smith Mulligan 1983] они разрабатывают онтологический язык типа диаграмм Венна, который можно представить следующим образом.






314


(1) Два объекта s и t существуют и они материально перекрываются:

315


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

Онтологический язык зависимостей

Момент = абстрактно выделимые, но материально неотделимые части материальной вещи (от немецкого das Moment, обычно переводимого как «элемент», или «фактор», и контрастирующего с der Moment, обозначающего момент или мгновение времени).

(8)

Суждениеу (специфический ментальный акт суждения, осуществленного Альфредо в некоторый момент) основывается на определенной

316

компетенции (включающей знание языка, в котором J формализовано), которая в свою очередь основывается на Альфредо. (12) Взаимная зависимость



Муж Ганс и жена Эрна взаимно основываются друг на друге. Взаимная зависимость северного и южного полюсов магнита. (13) Реляционная зависимость







I Альфредо и Бернадетто связаны материальным отношением г, которое существует в силу обещания р, чье содержание все еще не реализовано.

Материальное отношение состоит, в сущности, из требования (с) Бернадетто к Альфредо, взаимно основанное на обязательстве (о) со стороны Альфредо по отношению к Бернадетто.







Момент цвета не может существовать иначе как цвет некоторого момента визуального диапазона, который в свою очередь не может существовать иначе как носитель некоторого цвета.

Каждый момент цвета выражает конститутивный момент оттенка, яркости и насыщенности. Оттенок цвета не может по своей природе существовать иначе как ограниченный некоторой яркостью и насыщенностью; яркость и насыщенность не могут существовать иначе как ограниченные некоторым оттенком.



318

«

Момент тона зависит от некоторого момента темпорального диапазона (каждый актуально существующий тон имеет некоторую длительность).



Тон также проявляет конститутивные моменты (высота, тембр и громкость), взаимно зависящие друг от друга.




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

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