() - , , , , , , (), (). , (), .
. (, , . .) . (, , . .) (, , .)
, , . .
.
, : CycL, IKL, KIF, Loom, OWL, KM: ( , ), .
() (PRO gramming in LOG ic) 70- () , () .
, .
, , :
;
;
;
;
;
.
:
(LISP, . LISt Processing language ) , .
- . , , .
, . - . , , .
|
|
(). . , . , , .
( ) , () .
:
- : , , ;
- : ( );
- : , .
: .
( ), ().
, .
: . ( ) ( , ..) . , , (, ) .
. , . , .
, . .
.
, , .
, , , , - , , .
, , , . . , , . .
|
|
. . , - , ( , ). , , , . , , . . .
- , .
- , , ..
. , , , .
:
1. , , , -, ,
2. , ,
3. - , .
: .
.
. .
: , .
: .
. . .
, .
, , , , . : .
, , .. , . , - , .. , , .
|
|
. , , , - . , "" , , , , .
8. . .
, , , , , . . , . , , . , .
.
, - , , .
, , - , .
. :
, , ;
, .
. , , .
, - , , - .
: . . , . : , , . - .
, , . . , . . (, . .). . ( ), , .
|
|
:
-
,
. :
- - , ;
- - (, ).
. , , . ; . , , . , , , , . , .
. . . , . . : ; , , ; , , . . , . , . - - ; - - ; .
.
- - ;
- - ; .
. , . -- , , -- . . -- . - , . , . , . , . , , .
|
|
, , , - .
, . , , : ?.
, [1] , - . - , . , ( 2.1), .
, - , . , . , , - , - .. , , .
, , . , , .
. : , , , . , , , . , , , . , . , , . , , , , .
, . , . , . , i- Di : (2.1) wij - , , ; dj - j- .
. .
, .
- , . , .
(2.2)
. , . .