Методы логического вывода пополнения знаний

Операции, выполняемы над БЗ при ее пополнении

БЗ могут быть встроенными (модуль) или внешними (файл) по отношению к интеллектуальной системе.

Три класса операций

1. Подготовка БЗ
1. Создание
2. Отображение
3. Отладка
4. Контроль
5. Обновление
6. Сохранение и регистрация
2. Исполнение (получение знаний)
1. Настройка подсистемы вывода знаний
2. Ввод фактов и значений переменных
3. Настрой БЗ на вывод требуемых значений
4. Вывод знаний
5. Представление результатов вывода
6. Объяснение результатов
7. Сохранение результатов
3. Взаимодействие с внешними системами

Методы логического вывода являются одними из основных ком­понентов интеллектуализированных систем пополнения знаний.

Подобная гипотетическая система пополнения знаний состоит из трех частей:

· интеллектуального интерфейса,

· подсистемы хранения данных и знаний,

· подсистемы пополнения данных и знаний, вклю­чающей в себя машину логического вывода.

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