Лабораторна робота №9

ТЕХНІКА ПРОГРАМУВАННЯ В ПРОЛОЗІ

В цьому розділі ми розглянемо базові підходи до реалізації основних типів алгоритмів в Пролозі.

9.1.Принципи побудови експертної системи.

Розглянемо наступну задачу. Потрібно реалізувати експертну систему, яка б визначала тварину, яку мав на увазі користувач із семи зазначених. Експертна система знайде тварину за допомогою опитування користувача. Цей приклад демонструє бектрекінг для перегляду бази даних і показує ефективне використання предикату not. Типовим діалогом користувача з експертною системою може бути наступний:

goal: run.

Has it hair?

Yes

does it eat meat?

Yes

has it a fawn color?

Yes

has it dark spots?

Yes

Your animal may be a (an) cheetah!

Для програмування діалогу потрібні два кроки. Перший крок заключається в наповненні бази системи знаннями, а результуючий - в побудові виведення відповіді. Повна програма приведена на малюнку 9.1.

Database

Xpositive(symbol, symbol)

Xnegative(symbol, symbol)

Predicates

Animal_is(symbol)

It_is(symbol)

Ask(symbol, symbol, symbol)

Remember(symbol, symbol, symbol)

Positive(symbol, symbol)

Negative(symbol, symbol)

Clear_facts

Run

Clauses

animal_is(cheetah) :- it_is(mammal),

It_is(carnivore),

Positive(has, tawny_color),

Positive(has, dark_spots).

animal_is(tiger) :- it_is(mammal),

It_is(carnivore),

Positive(has, tawny_color),

Positive(has, black_stripes).

animal_is(giraffe) :- it_is(ungulate),

Positive(has, long_neck),

Positive(has, long_legs),

Positive(has, dark_spots).

animal_is(zebra) :- it_is(ungulate),

Positive(has,black_stripes).

animal_is(ostrich) :- it_is(bird),

Negative(does, fly),

Positive(has, long_neck),

Positive(has, long_legs),

Positive(has, black_and_white_color).

animal_is(penguin) :- it_is(bird),

Negative(does, fly),

Positive(does, swim),

Positive(has, black_and_white_color).

animal_is(albatross) :-

It_is(bird), positive(does, fly_well).

it_is(mammal) :- positive(has, hair).

it_is(mammal) :- positive(does, give_milk).

it_is(bird) :- positive(has, feathers).

it_is(bird) :- positive(does, fly),

Positive(does,lay_eggs).

it_is(carnivore) :- positive(does, eat_meat).

it_is(carnivore) :- positive(has, pointed_teeth),

Positive(has, claws),

Positive(has, forward_eyes).

it_is(ungulate) :- it_is(mammal),

Positive(has, hooves).

it_is(ungulate) :- it_is(mammal),

Positive(does, chew_cud).

positive(X, Y) :- xpositive(X, Y), !.

positive(X, Y) :- not(xnegative(X, Y)),

Ask(X, Y, yes).

negative(X, Y) :- xnegative(X, Y), !.

negative(X, Y) :- not(xpositive(X, Y)),

Ask(X, Y, no).

ask(X, Y, yes) :- !,

write(X, " it ", Y, '\n'),

Readln(Reply),

frontchar(Reply, 'y', _),

Remember(X, Y, yes).

ask(X, Y, no) :- !,

write(X, " it ", Y, '\n'),

Readln(Reply),

frontchar(Reply, 'n', _),

Наши рекомендации