Формальные логические модели на основе исчисления предикатов

Предикат – это функция от одной или нескольких переменных, возвращающая значения 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)..

БЗ с использованием логической модели состоит из множества фактов и правил, описывающих предметную область. Основным языком, использующим эту модель, является язык программирования Пролог.

Экспертные системы. Понятие, назначение, области применения. Основные характеристики экспертных систем.