УДК: 004.82

О формализованных описаниях пространств знаний для интеллектуальных программных систем

К. И. Костенко, канд. физ.-мат. наук, зав. каф., e-mail: kostenko@kubsu.ru, А. П. Лебедева, аспирант, e-mail: lebedeva@fpm.kubsu.ru, Кубанский государственный университет, г. Краснодар

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

Ключевые слова: интеллектуальная система, пространство знаний, алгебраическая модель, представление знаний, онтология, формальный язык

Стр. 25–34