Варианты онтологического подхода

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

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

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

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

Дополним этот список ещё несколькими конструкциями, полезными для моделирования.