I) ни один Человек не является островом. (джон донн (john donne))

II) Человек, который живет где-нибудь, живет везде. (Тацит)

III) Прошлое — это иная страна. В нем все происходит по-другому. (Л. П. Хартли (L. P. Hartley))

4. Следующая формула утверждает, что кто-то бреет себя сам или парикмахер бреет кого-то:

бреет) X, X), бреет (парикмахер, X) <—

I) Используя обратную стратегию, покажите, что из этой формулы следует

бреет (парикмахер, парикмахер) <-

II) То же самое покажите с помощью прямой стратегии.

III) Как вы понимаете в том же контексте следующую фразу:

<- бреет(У, Y), бреет (парикмахер, У)

IV) Покажите, что следующие фразы противоречивы. Для этого достаточно показать, что из них следует пустая фраза:

Бреет(Х, X), бреет (парикмахер, X)

<-<- бреет(У, Y), бреет (парикмахер, Y)

Ниже представлены правило поиска неисправности и описание конкретной ситуации.

Если компьютер не включается и напряжение в сети питания в норме, то оборван шнур питания или неисправен блок питания. Мой компьютер не включается. Напряжение в сети питания в норме. Шнур питания не оборван.

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).

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

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

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

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

/ Правила для сотрудников службы общественного порядка /

/ Шериф и заместитель шерифа округа Нью-Йорк /

/ The sheriff and deputy sheriff of NYC /

Po(X):-

(sheriff(X); deputy(X)), jurisdiction(X, nyc).

/ Сотрудники службы охраны порядка

Округа Уэстчестер, принятые на

Работу после 1982 года, которые

Выполняют функции, ранее возлагавшиеся

на шерифа округа Уэстчестер /

/ Officers of Westchester country

Public safety services appointed

After 1982 who perform functions

Previously performed by a Westchester

country sheriff on or prior to such date /

Po(X):-

SafetyOfficer(X), jurisdiction(X, Westchester),

appointed(X, Date), Date > 1982.

/ ФАКТЫ /

/ Wayne, Doug, Ken и Pete - некоторые лица. /.

Sheriff(wayne).

jurisdiction(wayne, nyc).

deputy(doug), jurisdictionfdoug, nyc).

Constable(ken), jurisdiction(ken, naples).

Village(naples). RuledOut(constable, naples).

SafetyOfficer(pete) jurisdiction(pete, Westchester).

Appointed(pete, 1990).

9. Запишите программу из упр. 8 на языке CLIPS. Сравните оба варианта программы.