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

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

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

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

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

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

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

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

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

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

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

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

Версия системы ЭЗОП под Windows существенно отличается от версии для DOS. Операции над множествами и Help системы были разработаны Е.А. Ефимовой. Мной разработаны средства просмотра и ведения базы в стиле Windows Commander и через структуры типа дерево. Разработаны и реализованы принципы видимости шаблонов из текущего понятия. Существенно переработаны средства вычисления выражений, введения новых шаблонов, обеспечивающие открытость языка системы.

1 февраля 2003 г.