История создания системы ЭЗОП.
Впервые название системы ЭЗОП (Элементарных Запросов и ОПределений) появилось в моем научном отчете "Категорный подход к представлению знаний и моделированию системы типов данных" на 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.
Настоящая версия системы ЭЗОП существенно отличается от версии для DOS. Операции над множествами и Help системы разработаны Е.А. Ефимовой.
Все замечания и предложения направлять по адресу: beniamin@rsuh.ru
Основные направления дальнейших разработок:
Е. Бениаминов, 1 февраля 2003 г.