Заготовки простых экспертных систем

Экспертная система "Животные"

База правил включает обширный предикат animal:
animal("пингвин") :- positive("плавает"),positive("имеет окраску"),

В свою очередь, negative и positive имеют вид:
positive(X) :- ask(X,R),R=="Y".
negative(X) :-

Предикат ask:
ask(X,R) :- string_concat(X," ? ",T),
write(T),
read_line_to_string(user_input,R).
Приклеиваем "?" к тексту

Предикат is:
is("птица"):- positive("откладывает яйца"),!;
positive("имеет оперение").

Первый вариант ЭС

animal("пингвин"):- positive("плавает"),positive("имеет окраску"),
negative("приручено человеком"),negative("умеет летать"),
is("птица").
animal("гусь"):- positive("плавает"),positive("имеет окраску"),

Вариант диалога:

Все хорошо?
Не совсем... Рассмотрим диалог для X=Гусь:

Три вопроса заданы повторно.

animal("пингвин"):- positive("плавает"),positive("имеет окраску"),
negative("приручено человеком"),negative("умеет летать"),
is("птица").
animal("гусь"):- positive("плавает"),positive("имеет окраску"),
positive("приручено человеком"),positive("умеет

Решение проблемы

Динамическая база данных (знаний) - возможность во время выполнения

:- dynamic yes/1.
:- dynamic no/1.
animal("пингвин"):- positive("плавает"),positive("имеет окраску"),
negative("приручено человеком"),negative("умеет летать"),

Новый вариант диалога:

Для удаления фактов из динамической базы служать предикаты retract и retractall

То же самое, но на Питоне!

d1= {"плавает":1,
"имеет окраску":1,
"приручено человеком":0,
"умеет летать":0,
"?птица":1}
d2={"плавает":1,
"имеет окраску":1,

def animals(data_base):
# Проходим базу знаний строка за строкой
dda={