Математические методы:
- Теорема Карлина, преобразование (1) , весовые коэффициенты задаются пользователем в виде константных значений
- Теорема Гермейера, преобразование (2) , весовые коэффициенты задаются пользователем в виде константных значений
- Метод ограничений, преобразование (1)
- Метод ограничений, преобразование (2)
- Метод взвешенных сумм с точечным оцениванием весов
Стратегия вывода: обратный вывод
Тип экспертной системы: продукционный
Язык программирования: С++
Модуль чтения продукционных правил из строковых данных поддерживает операторы «ИЛИ», «И», «НЕ», а также задание порядка выполнения операций с помощью скобок.
База знаний организована с использованием формата TXT, который является наиболее знакомым пользователю для понимания и изменения. При нажатии на кнопку «База знаний» выводится окно со всеми файлами, которые содержат данные базы знаний. Реализован модуль объяснения решения.
При нажатии на кнопку «Объяснение решения» выводится окно с вопросами и выбраными на них ответами, которые удовлетворяют выбранному системой решению.
При нажатии на кнопку «Справка» выводится окно с объяснением работы экспертной системы. Во время работы экспертной системы это окно содержит список из гипотезы, вопроса и тех утверждений, что на данный момент проверяет экспертная система.