ИИС, базирующиеся на применении интеллектуальных баз данных, использующих логические модели представления знаний |
Логическая модель предполагает унифицированное описание объектов и действий в виде предикатов первого порядка. Под предикатом понимается логическая функция на N-аргументах (признаках), которая принимает истинное или ложное значение в зависимости. от значений аргументов |
Подобный механизм описания правил, фактов и систем логического вывода использованы в языках логического программирования, например, в языке ПРОЛОГ. В последствии логические модели представления знаний и логический вывод на их основе были существенно дополнены новыми результатами и практическими разработками. |
1. Логическая модель дает нам базу знаний, в которой можно расположить правило продукции в виде:
заключение ЕСЛИ (предусловие 1) к … И (предусловие n)
В «логической» интерпретации это означает:
Чтобы доказать заключение, надо доказать все предусловия.
2. Логическая модель позволяет хранить также и факты в форме правил, показанных выше, но у фактов нет предусловий.
|
|
3. Управляющий механизм, обеспечиваемый логической моделью, известен как поиск в глубину или рассуждение в обратном направлении. Процесс управления также зависит и от порядка, в котором в базе знаний расположены факты и правила.