Разработка макета системы представления знаний и управления базой понятий ЭЗОП.
Система ЭЗОП (Элементов Задач и ОПределений) представляет собой программную среду для формализации знаний различных предметных областей. Система предназначена для создания библиотек формализованных понятий областей знаний, а также для поддержки процесса формализации отдельных понятий и задач представляемой области знаний с использованием существующей библиотеки понятий.
В настоящее время система ЭЗОП находится в стадии разработки (см.также
техническое задание на создание системы
и презентацию технического задания).
Основное отличие разрабатываемой системы от систем подобного рода состоит в возможности подстраивания языка системы к языку представляемой области знаний по мере пополнения библиотеки понятий понятиями и языковыми шаблонами этой области знаний. Некоторые принципы открытого языка и примеры изложены в тексте "Принципы видимости шаблонов из текущего понятия".Система ориентирована на программистов, инженеров по знаниям и проблемных специалистов (не являющихся профессиональными программистами) для представления понятий проблемной области и непроцедурного описания задач с использованием введенных понятий.
В основе разработки системы ЭЗОП лежат принципы категорного подхода к представлению знаний.
Основная функция системы - создание формального описания понятия или задачи с использованием библиотеки уже формализованных понятий или фрагментов задач.
В каждый момент времени может быть только одно формируемое понятие, которое называется текущим. Текущее понятие можно дополнять новыми предложениями, редактировать и тестировать, задавая к миру текущего понятия вопросы или просматривая словари текущего понятия. Текущее понятие можно поместить в библиотеку понятий с сохранением прежнего имени (но в новой версии) или под новым именем. Любое понятие из библиотеки понятий можно сделать текущим или использовать внутри другого понятия.
Здесь представлена версия системы ЗЭОП, разработанная на языке Visual Prolog 5.2, и некоторые примеры понятий, демонстрирующие возможности системы.
[ Загрузить версию системы ЭЗОП от 16.04.2007 : zip файл ~1 Мбайт]