Впервые название системы ЭЗОП (Элементарных Запросов и ОПределений) появилось в моем научном отчете "Категорный подход к представлению знаний и моделированию системы типов данных" на 80стр., выполненном в 1986 году во ВНИИДАД.

Отчет был заслушан на семинаре М.Ш. Цаленко "Теория и методология проектирования баз данных". В этом же году экземпляр отчета был передан Л.А. Калиниченко в ИПИ АН СССР и был сделан доклад на семинаре Д.А. Поспелова в ВЦ АН СССР.

Первая моя статья на эту тему: "Основания категорного подхода к представлению знаний. Категорные средства", вышла в журнале Известия АН СССР Техн. кибернетика, №2 за 1988 г.

В 1989 -1990 г. Сергей Понащук и я разработали первый вариант системы ЭЗОП под DOS средствами языка TurboProlog 2.0. Система разрабатывалась в Международном центре по электронике и вычислительной технике. Результат был представлен на Всесоюзной конференции "Искусственный интеллект-90" и в ВЦ АН СССР.

Системой заинтересовались военные, но в 1990г. из-за общего краха финансирование разработки прекратилось.

В 1994 году на тему был получен грант от РФФИ. Были подготовлены публикации по алгебраическому подходу к моделированию процессов представления знаний, теническое задание на разработку системы. Совместно c М.Ю. Манушеной (студенткой факультета информатики РГГУ) были разработаны принципы построения открытого языка шаблонных выражений для представления знаний.

В 1998 году вместе c Д.М.Болдиной (также студенткой факультета информатики РГГУ) были намечены подходы к взаимодействию системы ЭЗОП с системами Ontolingua и Mathematica и задумано построение системы ЭЗОП под Windows средствами Visual Prolog.

C 2000 года я преподаю студентам Отделения интеллектуальных систем Института лингвистки курс "Логическое программирование", в рамках которого изучается Visual Prolog, и курс "Алгебраические методы в информатике", в который входят алгебраические модели типов данных, реляционные модели баз данных, язык запросов SQL и основы категорного подхода к представлению знаний. В этом же году началась разработка новой версии системы ЭЗОП для WINDOWS средствами языка программирования Visual Prolog.

По теме выпущены учебные пособия и книга:

• Е.М. Бениаминов "Основы алгебры. Алгебраические модели типов данных." (Учебное пособие), М.:РГГУ, 1999.
• Е.М. Бениаминов, Е.А. Ефимова "Основы алгебры. Элементы универсальной алгебры и ее приложений в информатике." (Учебное пособие), М.:РГГУ, 2000.
• Е.М. Бениаминов "Алгебраические методы в теории баз данных и представлении знаний." М.:"Научный мир", 2003.

В 2002 году проект системы ЭЗОП обсуждался в течение семестра на моем семинаре "Теория и методология проектирования информационных систем". Некторые части проекта представлены на языке UML.

Настоящая версия системы ЭЗОП существенно отличается от версии для DOS. Операции над множествами и Help системы разработаны Е.А. Ефимовой.

Основные направления дальнейших разработок:

• развитие функций системы;
• формирование примеров баз понятий средствами ЭЗОП;
• обеспечение взаимодействие системы ЭЗОП с системами Ontolingua и Mathematica;
• обеспечение доступа к средствам ЭЗОП и базам понятий через интернет.

Е.М. Бениаминов