20

( )
1. P Q
, x y , f
, a .

, , .
(
).
x( P ( x) P ( x)) , x( P ( y ) (Q( x) P ( x))) , P ( y ) y ,
x( P ( x, x) ( P ( x) y )) ,

( P (a ) ( P ( x ) P ( f ( x )))) P ( f (a ))

2.
. To P
, 0 a , f
g .
f (0) (0) ,

P ( f (0), a ) ,

g (a, f (a)) ,

f ( g ( f ( f ( f (0))), a ))

3. x
y , .
P( x) P( y) ,

P ( x ) xP ( x) ,

xP ( x) Q( x) P ( y ) yQ( y ) ,

xyP ( x, y ) ,

xy ( P ( x, y, x) xQ ( x, x )) Q( y , x)

4. ,
. P( x)
x , E ( x) x
D( x, y ) x y .

:
(i)

(ii)
(iii)

x( E ( x) y ( D( x, y ) E ( y )))
x( P ( x ) y ( E ( y ) D( x, y )))

x( E ( x ) P ( x )) x( E ( x) P ( x ) y (( x y ) E ( y ) P ( y )))

( x) , E ( x) , ( x) , ( x) ( x, y )
x , x , x
, x x y .

:
5.

(i) .
(ii) .
(iii) .
6. :
xP ( x) yQ( y ) x ( P( x) Q( x))
x( P ( x ) Q( x )) x( P ( x ) Q( x ))
7.

:
{P (c), x ( P ( x) P ( s ( x )))}|= P ( s (c))

:
1.
x( P ( x) P ( x))

x( P ( y ) (Q( x) P ( x)))

P( y) y

:
,
y ( y
).

x( P ( x, x) ( P ( x) y ))

:
P ,

,
.

( P (a ) ( P ( f ( x)) P ( x))) P( f (a ))

(Q( x ) P ( x )) .

2.
f (0) (0)

(
3.3, 98, ).

P ( f (0), a )

(

).

g (a, f (a))

( 3.2, 97).

f ( g ( f ( f ( f (0))), a ))

( 3.2,
97).

3.
P ( x) P( y )

x
y .

P ( x ) xP ( x)

xyP ( x, y )

x
y .

xP ( x) Q( x) P ( y ) yQ( y )

x
,

. y
,
.

xy ( P ( x, y, x) xQ ( x, x )) Q( y , x)

x
, .
y
,

4.
x( E ( x) y ( D( x, y ) E ( y )))

, .
x( P ( x ) y ( E ( y ) D( x, y )))

x( E ( x ) P ( x)) x( E ( x) P ( x) y (( x y ) E ( y ) P ( y )))

5.
x(( x) ( x) ( x))
.
x(( x) y (( x, y ) ( y )))
.
x(( x) y (( x, y ) ( y )))
.
6.

xP( x) yQ( y ) x ( P( x) Q( x)) .

P( x) x Q( x) x
. , x
y , x
. ,
,
.

x( P( x) Q( x)) x( P( x) Q( x)) .
, A
A |= x( P( x) Q( x)) x( P( x) Q( x)) .
Tarski, :
A |= x( P ( x ) Q ( x )) , A |= x( P( x) Q( x))
, :
4

a | A | A |= ( P( x) Q( x))[ ( x | a)]
a | A | A |= ( P( x) Q( x))[ ( x | a)]
:
a | A | a P A a Q A
a | A | a P A a Q A
a P A a Q A
a P A a Q A .
7.
{P(c), x( P( x) P( s ( x)))}|= P( s (c)) .
3.5, 120,
{x( P ( x) P ( s ( x)))} |= P (c) P ( s(c)) . ,
|= x( P( x) P( s( x))) ( P(c) P( s (c))) . ,
x( P( x) P( s ( x))) ( P(c) P( s(c))) .
, A
A |= x( P( x) P( s ( x))) ( P(c) P( s (c))) .
Tarski, :
A |= x( P( x) P( s ( x))) , A |= P(c) P( s (c ))
, :
a | A | A |= ( P( x) P( s ( x)))[ ( x | a)]
A |= ( P(c) P ( s (c)))[ ]
a | A | A |= ( P( x) P( s ( x)))[ ( x | a)]

a = cA ,

A |= ( P (c) P ( s(c)))[ ] .

A |= ( P ( x ) P ( s ( x)))[ ( x | c A )] ,

1.
1 A .
1 x .
A | A |

. ,

1
( . , 96-97) N
( 3.4(iii), 104 ). , :
y ( x ((0)) e y )

N , :
z ( x z ((0))) yz[( x y e z ) (( y (0)) ( z (0))]

N .

1. 1 N ,

{1} , {0,1, 2,3,...}

.
2. N e : | N e | N e

{0, 2, 4,...} . e

. '
'Ne (n) = n + 2 , 0 0.

N e y ( x ((0)) e y )
z ( x z ((0))) yz[( x y e z ) (( y (0)) ( z (0))] .

3. 1

e . , 1

0 ' .

N 1

e . 1

N {0}
{1} .
:
1. ( x ( x) ') (
x x + 1 ). {1}
6

( x (0) ') . {0,1, 2,3,...}

( x x) (
).
2. y ( x ((0)) e y ) y ( x 4 e y ) .
y {0, 2, 4,...} . ,

8.
z ( x z ((0))) yz[( x y e z ) (( y (0)) ( z (0))] ,
: z ( x z 4) yz[( x y e z ) (( y 2) ( z 2)] .

4
(2 p ) (2 q ) , p , q 2.

3. 1 0

' , {0}
{1} .
0
, 1 . ,
y ( y x y ) {0} y ( y x e y )
{1} .
2.
[Blocks world] To
(
). H
(blocks) (towers),
. robot ,
blocks,
(planning)
.. block c,
, - .

( ) ,
. a,
b, c, .... ( blocks), above(x,y),
block y block x, .
, :
e
c

above(a,c), above(a,e), above(c,e) above(d,b) (

above(c,a) above(d,a), ).
Blocks world
1. directly-on(x,y) (

block y x), on-table(x) (

block x ) clear(x)
( block x
).
2.
o towers
o block a, tower b, c.
o blocks tower,

o blocks tower,
3. x[on table( x) y (on table( y ) above( y, x))] ;

gummy bear;
:
1. directly-on(x,y) (

block y x),

directly on( x, y ) above( x, y ) z[above( x, z ) above( z, y )]

on-table(x) clear(x)
on table( x) z (above( z, x))
clear ( x) z (above( x, z ))

directly-on(x,y) above(x,y)

2. O
o towers :

xy [ ( x y ) on table( x) on table( y ) ]
o block a, tower b, c.

,

in the same tower ( x, y ) ( x y ) [on table( x) above( x, y )]
[on table( y ) above( y, x )] z (on table( z ) above( z , x) above( z , y ))

in-the-same-tower(x,y),
x,y .

[ in the same tower (a, b) in the same tower (a, c )]
o ( ) blocks tower,

xy (( x y ) in the same tower ( x, y )) ( above( x, y ) above( y , x) )
o blocks tower,
xy in the same tower ( x, y ) ( above( x, y ) above( y, x) )
3. x[on table( x) y (on table( y ) above( y, x))] ;

gummy bear;

O .
, .
robot, (
) (i)
, (ii)
, .
, (1)
(
), (2)

blocks world. ,

toy example (Knowledge
Representation) (Planning)
, .

3.
:
(xP ( x, x) xyz[( P ( x, y ) P( y, z )) P( x, z )] xy[ P( x, y ) P( y, x)]) yxP( y, x)

, :
P , a
b P(a, b) P(b, a ) , d
c ,
P(d , c) .
1.

, ,
.

10

2.

. [:
].
3. . [:

( 1)
. ,
, P
].

:
1.

S = {1, 2,3, 4}

{(m, n) | m, n S , m n} .


( 1).

2. A , -
| A | .

| A | .
, | A |= {d } .
: () A
P , () A
P {(d , d )} .
,
.

n , .
n + 1 ,
. | A |= {d1 ,..., d n , d n +1 } . R A
P . :
: R , ,
di , d j | A | (d i , d j ) R (d j , di ) R . ,
,
,
, .
11

: R , di , d j
| A | , (d i , d j ) R (d j , di ) R . {d1 ,..., d n }
| A | , R ' R
d n +1 .
, {d1 ,..., d n }
P R ' , . ,
d {d1 ,..., d n } di {d1 ,..., dn } , (d , di ) R ' .

R . ,
(d , d n +1 ) R (d n +1 , d ) R . , (d , d n +1 ) R ,
R yxP ( y, x ) y d ,
R . ,

(d n +1 , d ) R . di {d1 ,..., dn } , (d , di ) R '

R ' R , di {d1 ,..., dn } , (d , di ) R . R

, di {d1 ,..., dn } , (d n +1 , di ) R .
, (d n +1 , d n+1 ) R , R .
, R yxP( y, x ) y d n +1 ,
R .
3.

,
.

P
( ).
, ,
n , m , n m m n .
,
,

.

4.
12

1 ( .
, 96). 1 :
1:

xy[( x y ) z ( z x z y )]

2:

xy ( y x )

: z x
z x .
: x y x y
.

1 :

A1
:
0 = ,
1 = { },
2 = { ,{ }},
3 = { ,{ },{ ,{ }}},

( ) ,
, . (
) S ( a ) = {a} a .
, (

). ,
:

,
1 = { } ={0}
2 = { ,{ }} = {0,1}
3 = { ,{ },{ ,{ }}} = {0,1,2}
0=

...
]

(

A1 ).

A2 { , {{ }}, { ,{ }}}.
A2 .
13

(
A2 ).
1.

1 2 A1 .

2.

1 A2 2 .
[ ( ,
:
,
() (
(soundness) (completeness)).
E
( ,
!).
( )
( ,
). , ,
:

,
( )

( )

,

( !).
(intended interpretation) . (
)
( !) !
( !) .
]

:
1. 1 A1 .

S1 , S2
A1 . :
S1 , S 2 s
A1 , s S1 s S 2 .

14

:
S1 , S 2 S1 , S 2
A1 .
: S1 , S 2
,
A1 .
. S1 , S 2
A1 . S1 , S2

A1 ,

S1 , S 2 (
A1 ), .
2 A1 , :
x , y ( y ) .
2. 1 A2 .

,
1, S1 , S 2
A2 , :
S1 , S 2 S1 , S 2
A2 .
S1 S2 {{ }}.
:

15

, {{ }} , {{ }}
A2 .
, , {{ }}
( ).
:
A2
A2 {{ }} ( , ,
{{ }} A2 ). ,
1 {{ }} ,
A2
.
2 A2 .
x , y ( y ) .
{{}} ,
y ( y {{}}) (
,
{{}} ).

5.

() ()
.
A) 1 A
. P( x, y ) x
y , e '
(
1 ). /
A .
1. (/) xyP( x, y )

16

2. (/) xyP( y,( x))

3. (/) xyz[( P ( x, y ) P( y, z )) P (( x), z )]
4. (/) xyz[ P ( x y, x z ) P ( x e y, x e z )]

B) /
.
1.
2.
3.
4.

(/)
(/)
(/)
(/)

xP ( x) xP ( x)
(xP ( x ) xQ( x)) x ( P ( x) Q ( x))
xP ( x, x) xyP ( x, y )
xyz[ P( x, y ) P ( y, z ) P( x, z )]

:
.
xyP( x, y )

xyP( y,( x))

xyz[( P ( x, y ) P( y, z )) P (( x), z )]

xyz[ P ( x y, x z ) P ( x e y, x e z )]

B.

xP ( x) xP ( x)
(xP ( x) xQ( x)) x( P( x) Q( x))

xP ( x, x) xyP ( x, y )

[]

.
[]

.
[] x
y y
z , x + 1
z .
(. x , y , z
1).
[] x + y x + z
x y x z , .

[] , 120,
3.10.
[]
P
Q
.
[]
{a, b}
P
17

xyz[ P( x, y ) P ( y, z ) P( x, z )]

(a, a ) .

(b, y )
P .
[]
P
.

18