Формальная онтология

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