(НТУ "ХПИ", 2009) Гончаров, С. В.; Сиддики, Сайед Мохаммад Таухид
В статье предлагается модель представления знаний, основанная на использовании предикатных категорий и алгебры конечных предикатов. Сделаны выводы о том, что теория категорий и ее предикатная интерпретация позволяют описывать процессы формирования множества знаний в базах знаний логического типа.
