Разработка системы представления знаний и управления базой понятий на основе алгебраического подхода к представлению понятий.
Базы понятий - это новая складывающаяся область в программировании, связанная с использованием и построением больших библиотек объектов, компонентов, фрагментов знания, элементы которых предназначены для многоразового многоцелевого использования в различных приложениях.
Практика и опыт использования растущих библиотек подобного рода требует
некоторой стандартизации в их организации и формах обращения к ним,
которая была бы основана на ясной математической модели отдельных
понятий и базы понятий в целом. Наиболее интересные работы в практическом
плане по этой теме сделаны в
Состояние работ и исследований по базам понятий очень напоминает ситуацию с базами данных в конце 60-х начале 70-х годов, когда была осознана необходимость отделения процессов ведения данных от их использования, были созданы файловые системы, но не было ясной концепции баз данных. Для формулировки одной из таких концепций был успешно использован алгебраичесий язык в работах Е.Ф. Кодда.
Мне кажется, что алгебраические методы, с учетом опыта их применения в теории баз данных и абстрактных типов данных, могут оказаться полезными и в моделировании баз понятий. Некоторые результаты в этой области, полученные мной, представлены в докторской диссертации. Часть работ выполнена по гранту РФФИ № 94-01-01479.
На практике эти идеи опробываются при разработке макета системы представления знаний и ведения базы понятий ЭЗОП.