Программа содержит несколько измененный фрагмент игрушечной экспертной системы, позволяющий по терминальным свойствам (фактам) определить, является ли "неизвестное животное" тигром или обезьяной. Предназначена для изучения "области действия" означенных переменных
predicates
givotn(symbol) /* является животным */
mlekopit(symbol) /* является млекопитающим */
temn_pt(symbol) /* имеет темные пятна */
chern_pol(symbol)/* имеет черные полосы */
volos(symbol) /* имеет волосы */
daet_mol(symbol) /* дает молоко */
run(symbol) /* запуск программы */
clauses
run(Y):- givotn("обезьяна"),Y="обезьяна";
givotn("тигр"),Y="тигp".
givotn("обезьяна"):- mlekopit(X),temn_pt(X).
givotn("тигр"):- mlekopit(X),chern_pol(X).
/* промежуточные гипотезы - подцели */
mlekopit(X):- volos(X),daet_mol(X).
/* терминальные свойства */
volos("неизв. жив.").
daet_mol("неизв. жив.").
chern_pol("неизв. жив.").
temn_pt("шимпанзе").
|
Главная
Каталог файлов
