Логические интеллектуальные системы

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

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

Фактами в зависимости от формы реляционной модели могут быть предикаты, условия и заключения продукций в виде отношений «объект — атрибут — значение» и др. Правила могут быть составлены из предикатов в виде правильно построенных предложений, а также фактов-условий, связанных логическими операциями «и» или «или», и фактов-заключений для продукций.

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