Предикат – это функция от одной или нескольких переменных, возвращающая значения true или false.
Предикаты могут быть:
ü унарные;
ü бинарные.
Пример 2.5
1) Унарный предикат:
директор(Иванов)
2) Бинарный предикат:
является(Иванов, директор)
В общем случае n-арный предикат:
роль1(имя1, значение1) Ç роль2(имя2, значение2)Ç … Çроль n(имя n, значение n)
такой предикат принимает значение true в случае истинности всех его составляющих.
Пример 2.6
Продавцом товара является фирма «Компьютер и офис», покупателем товара является Иванов, вид товара – компьютер.
1) продавец(Компьютер и офис) Ç покупатель(Иванов) Ç товар(ПК)
2) продавец(товар, Компьютер и офис) Ç покупатель(Иванов) Ç товар(ПК)
Для записи правил в логической модели используется специальная форма представления правил – клаузальная форма.
заключение:– условие1, условие2
Если истинны все условия, то истинно заключение.
Пример 2.7
Если «Альфа-банк» имеет гарантии платежеспособности клиента, и эти гарантии принимаются для предоставления кредита, то он предоставляет кредит.
Введем:
А – имеет.
В – использует.
С – предоставляет.
Получаем:
С(Альфа-банк, решение о кредите):–
А(Альфа-банк, гарантии), В(гарантии, решение о кредите).
Для предания общности в правилах вместо констант в качестве параметров предикатов используют переменные.
Например:
C(X,Y):– A(X,Z), B(Z,Y)..
БЗ с использованием логической модели состоит из множества фактов и правил, описывающих предметную область. Основным языком, использующим эту модель, является язык программирования Пролог.
Экспертные системы. Понятие, назначение, области применения. Основные характеристики экспертных систем.