Искусственный интеллект - [141]

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

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

5. Лесьневский

Особое место среди различных систем формальной онтологии занимает система Онтологии Лесьневского, удовлетворющая определению формальной онтологии в смысле Коккьяреллы, в то время как другая егос система - Мереология, надстраиваемая над Онтологией, в точности подпадает под определение Гуссерля. И, фактически, это разделение принимается как само собой разумеющееся во всех исследованиях, касающихся онтологических проблем.

Тонкость, которую следует учитывать в подобного рода рассмотрениях, заключается в том, что Онтология Лесьневского представляет собой как логическую систему, так и систему формальной онтологии. Уникальность ситуации здесь связана с онтологическим смыслом связки «есть», подразумеваемым Лесьневским. По сути дела, теоремы Онтологии Лесьневского — это некоторые онтологические положения, но в то же время это и чисто логические утверждения.

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

В семантике Онтологии Лесьневского, предложенной 3. Стахня-ком [Stachniak 1981], множество-носитель модели представляет собой булеву алгебру, отношение порядка которой интерпретирует связку «есть». Все отношения и функции должны быть согласованы с этой базисной булевой структурой. Отсюда предметная область семантики обладает как «внешней», так и некоторой «внутренней» структурой, не проясняемой с помощью отношений и функций. Именно ее и можно рассматривать как некоторую формальную онтологию, с одной стороны, предшествующую всякому последующему прояснению свойств объектов, определяемых отношениями, а с другой стороны, эта структура имеет чисто логическую природу, поскольку детерминирована совместной интерпретацией логических связок и связки «есть».

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

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

5. Онтологика и формальная онтология

В своей вводной статье, открывающей публикацию эссе по формальной онтологии в журнале «Логика и логическая философия», Е.Пежановский определяет онтологию в ее наиболее общей и традиционной форме как теорию того, что есть, теорию бытия. «Она рассматривает полный онтологический универсум, включая все предметы, являющиеся возможными. Два основных вопроса направляют логическое исследование: что возможно и почему? Или в более общем и глубоком виде: каким образом возможно возможное?» И далее: «Ввиду природы этих вопросов онтология является наиболее общей дискурсивной дисциплиной. Фактически, она представляет собой общую теорию возможности. С другой точки зрения, она может рассматриваться как общая теория отношений, общая теория вещей и свойств или теория ситуаций, событий и процессов» [Perzanowski 1994, р. 4]

Так определяемая онтология состоит из трех частей: онтики, онтометодологии и онтологики. «Онтика посвящена выбору онтологических проблем и понятий, их дифференциации, классификации и анализу; конструированию концептуальной сети данной онтологической теории и формулировке разумных онтологических гипотез. Онтометодология занимается способами разработки онтологии и их принципами, наряду с методами и типами онтологических конструкций». Согласно Пежановскому, онто логика - это «логика царства онтики. Она касается организации онтологического универсума и пытается описать его механизмы. Онтологика является дисциплиной, исследующей онтологические связи, в частности, логические отношения между онтическими положениями».