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

(5) Онтологический вывод

(7)

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

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

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

(8)

s

t -

Интегральное целое s является частью интегрального целого t.

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

(Ю) Ъ _

(П) У

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

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

(12 ) Взаимная зависимость

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

s

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

Моменты протяженности

(16) с е

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

(17)

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

d

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

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

9. Формальные онтологии и языки для искусственного интеллекта

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

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

a) GOL

Достаточно сложный язык был представлен Б. Смитом, Б. Хеллер, X. Херре и В. Дегеном в проекте GOL (General Ontological Language -Общий онтологический язык) в 2001 г. [Degen et al 2001]. Этот язык по замыслу разработчиков призван был служить цельям медицинской диагностики.

Каждая база данных компьютера, отражающая некоторую часть предметной области, обязана, по их мнению, использовать специальную онтологию верхнего уровня, которая описывает наиболее общие, независимые от особенностей работы компьютера, категории реальности. Предлагаемая Смитом и другими авторами онтология верхнего уровня служила основанием для базы знаний моделирующего языка GOL (предназначенного для нужд медицинской диагностики). В отличие от других проектов подобного рода онтология GOL не является теоретико-множественной. Недостатком использования такого мощного средства как теория множеств, является то, что множества чересчур абстрактны, они существуют вне времени, пространства и причинности. Это заставляет дополнять теоретико-множественный аппарат различными средствами, удобными для компьютерных исследований.

В данном проекте исходные сущности реального мира разбиваются на множества и урэлементы, а затем вводится несколько новых онтологических отношений между этими урэлементами. Урэлементы разделяются на индивиды и универсалии, и таким образом всего возникает три базисные категории: индивид, универсалии и множества. Индивиды, в свою очередь, разделяются на моменты, субстанции, хроноиды, топоиды и ситуоиды. Предикаты Мот(х), Subst(x), Chron(x), Тор{х), Sit(x) определяются очевидным образом.

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