Начало Новости Технологии и ноу-хау  Дайджест Проекты Новосибирский филиал Персоналии Публикации 

SemP-Т®

Новизна и основные преимущества

Принципиальная новизна технологии SemP-T состоит в том, что она использует интеграцию различных взаимодополняющих средств представления и обработки знаний. В основе SemP-T лежит модель, объединяющая как классические средства представления и обработки знаний (фреймы, семантические сети, продукционные системы, реляционные модели), так и современные методы программирования в ограничениях и недоопределенные вычислительные модели. Благодаря этому SemP-T предлагает уникальный по мощности комплекс средств и методов, включающий:

• высокоуровневые средства задания семантики объектов предметной области путем спецификации ограничений на значения их параметров и локальных правил вывода;
• иерархическую семантическую сеть с определяемыми свойствами отношений;
• аппарат для работы с неточно заданными (недоопределенными) значениями числовых, символьных и множественных типов;
• возможность спецификации экспертных знаний и процессов вывода и обработки информации в виде структурированных продукционных правил;
• средства генерации и проверки гипотез;
• средства создания объектно-ориентированных пользовательских интерфейсов;

Благодаря тому, что интеграция этих средств и методов выполнена на основе объектно-ориентированного подхода, основные средства технологии доступны пользователю в виде единого языка представления и обработки знаний. Этот язык обладает достаточной мощностью и гибкостью, легко настраивается на любую предметную область. Он включает средства как для описания понятий предметной области (классов объектов и отношений), так и процессов вывода и обработки информации, требуемых в конкретных приложениях.

В отличие от других языков, использующих методы программирования в ограничениях, этот язык позволяет оперировать не полностью или неточно заданными (недоопределенными) значениями. Пользователь может связать с любым объектом (отношением) множество ограничений, определенных на значениях его параметров, и затем эти ограничения будут использоваться для автоматического уточнения параметров, имеющих недоопределенные значения.

Другим отличием предлагаемой технологии от известных аналогов является то, что здесь для реализации механизма удовлетворения ограничений используется модификация метода недоопределенных вычислений, позволяющая организовывать эффективные вычисления на моделях с неточно заданными значениями на основе потокового управления.

Включенный в язык аппарат продукционных правил, может использоваться не только для задания процессов вывода и обработки символьной информации, но и для управления множеством ограничений через добавление и модификацию объектов и отношений в процессе вывода. Имеющийся в языке механизм альтернатив позволяет находить различные варианты точных решений.

Кроме того, благодаря введению ограничений логического типа, позволяющего моделировать простейшие продукционные правила, удалось локализовать внутри объекта не только вычисления, но и вывод. Такой перенос части процессов логического вывода на локальный уровень, где можно реализовать их эффективнее, позволяет значительно повысить эффективность всего вывода, а следовательно, и работы прикладной системы в целом.

Создание интеллектуальной системы в рамках данной технологии выполняется с помощью интерактивного графического интерфейса,- начиная с системы SemP-TAO,- построенного на основе рассмотренного выше языка представления и обработки знаний. Ниже приведён фрагмент оболочки и один из её элементов - окно редактирования свойств класса: