Научное издание.
Книга посвящена формальной онтологии – междисциплинарной области исследования, возникшей на стыке логики и онтологии в начале ХХ в. Автором монографии приводится хронология исследований по формальной онтологии, рассматривается типология систем формальной онтологии. В книге подробно исследованы проблемы построения формальных языков для формальной онтологии, в частности проблема онтологических обязательств логических языков, и дается обзор систем формальной онтологии для искусственного интеллекта. Отдельная глава посвящена философским проблемам взаимоотношений логики и формальной онтологии, выдвигается и обосновывается концепция глобальных и локальных онтология. Автором реализуются различные подходы и строятся системы онтологики, позволяющие согласовывать между собой онтологические обязательства разрабатываемых формальных языков и онтологии предметных областей, теорией которых и являются построенные автором системы.
Дополнительно: ОБЯЗАТЕЛЬНО ПРОЧТИТЕ ПЕРЕД ЗАКАЗОМ!
Уважаемые покупатели! Думаю, до конца ноября возможны проблемы с поиском заказанных книг. Склад переезжает на новый адрес, и как следствие образовался "бардак", с которым очень сложно и трудоемко бороться. Приношу Вам свои извинения, и надеюсь на Ваше понимание.
С уважением, Геннадий.
Оплата наличными или на карту при встрече. ПОСТОЯННОЕ МЕСТО ВСТРЕЧ У ... [подробнее]