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

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

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

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

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

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

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

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

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

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

Итак, резюмирует Пежановский, «онтологика — это просто онтология, полученная путем ответа на онтологические вопросы с использованием логических методов и процедур. Вкратце,... онтологика = онтология / логика».