51669 Zdj�cia 0087

Vx • Vy • y(.\, Ii( v. v). \[_S))

w*

\ ^Vx*3yV2.y(x,y,z)    ... _w ........_..

* ' ^^tLMe P^ary tormuł są równoważne w sensie spełnialiuva i

' ^f    ^x •    3y •(a(x,y)) v (3(y,z)    Vx •    3y • (a(x,yW h(y,/))

r ^    ^r> *    ^Vx * ^a(^x>y>z)    Vx •    a(x, g(x,y), a)

•    ^    ^;z •    3y • Vx • p(z,y,x)    Vz«    Vx • p(*,hlz),\)

> •    Vx • P(_X, g(x,y), y)    Vx •    Vy • |i(x, h(x.y)» ,v)

¹    Wskazać, które z podanych niżej reguł są semantyi /nie popi uwitymi regułami wnioskov

• • >ą .u dowolnymi formułami, a O, r. A-dowolnymi zfoloi ami Im mul.

a a\    -2>.x,t,r -A

o->r\ X, Y, A

o->r\-,x,A

o-^r,-nY,A

% ^ f * B)	<t>.x=> m w O ->	y, r -> a r.xA
	0>, -,Y	->-oc,r
^: C)	O, Y —	► r, -iX, a
V	d>.x —	>r.A.-.Y + &

- D)

ZAD. 19. Dane są dwie klauzule: lubi(x, Ewa) oraz lubi(oji im*( I *ioti).v) Najbardziej ogólny unifikator tych klauzul to:

-	A)	{x ::= y} i*/*
	B)	{x ::= Piotr, y ::= Ewa} cl z#''
	C)	(x ::= ojciec (Piotr), y ::= Ewa} ^{r
*** •	D)	nie istnieje A

M ^ JL J    V •    • * J J    VI    *⁰    • •

v. \prov%adzalne ze zbioru S przez zastosowanie zasady rezolucji A A) p v q - B) q

P C)    —q

D) q v p

O

!/, V y-

SL

fyJ

1