Иллюстрированный самоучитель по введению в экспертные системы


Упражнения - часть 2


Напряжение в сети питания в норме. Шнур питания не оборван.

I) Выразите эти предложения в форме логики предикатов.

II) Постройте конъюнктивную нормальную форму.

III) Используя прямую стратегию доказательства, покажите, что утверждение "Неисправен блок питания" логически вытекает из приведенного набора фактов. То же самое покажите с использованием обратной стратегии доказательства.

6. Предположим, что в синтаксисе языка PROLOG цель сформулирована следующим образом :- bachelor (f red).

I) К какому заключению придет приведенная ниже PROLOG-программа относительно семейного положения человека по имени Fred?

man(fred).

man(george).

wife(george, georgina).

bachelor(X) :- not(wife(X, Y)).

not(P) :- call(P), !, fail.

not(P).

II) К какому заключению придет приведенная ниже PROLOG-программа?

man(fred).

man(george).

wife(george, georgina).

bachelor(X) :- not(wife(X, Y)).

(wife(X, Y) :- !, fail.

(wifeffred, freda).

7. Предположим, что в синтаксисе языка PROLOG цель сформулирована следующим образом :- enemy(fred).

I) К какому заключению придет приведенная ниже MBASE-программа относительно человека по имени Fred?

DBC(friend (george)).

republican(fred).

enemy(X) :- not(DBC(friend(X))).

friend(X)) :- republican(X).

not(P) :- call(P), !, fail.

not(P).

II) К какому заключению придет приведенная ниже MBASE-программа?

DBC(friend (george)).

enemy(X) :- not(DBC(friend(X))). friend(X))

:- not(communist(X)). not(P)

:- call(P), !, fail. not(P).

8. Ниже приведена программа на языке PROLOG, в которой идентифицируется подмножество лиц, имеющих право работать в службе обеспечения общественного порядка штата Нью-Йорк. Вы можете ввести эту программу в исполнительную систему PROLOG и поэкспериментировать с ней.

Затем попробуйте добавить в программу новое правило, касающееся еще одной категории служащих.

Деревенские констебли, назначенные с условием, что это не противоречит законам штата.

Данные для тестирования этого правила включены в раздел фактов программы.



Начало  Назад  Вперед



Книжный магазин