(Emil Leon Post) 1943.
, , .
1972.
, , :
" [], [].
.
, .
:
" [], []".
, , , , . :
" [ 1] [ 2], [ 1] [ 2] ".
, .
(IFpart) (antecedent) -
(), , () ;
(THENpart) (consequent) - .
:
< X1, X2,... Xn >, < {Y1, D1},... {Ym, Dm} >,: Xi,Yi - ,
Di - (0,1) (0,100).
, , , . . , .
, , . , .
:
1- ;
2- (
);
3- ( );
4-
.
:
1- ,
;
2- ;
3- .
;
;
.
, .
|
|
|
.
(.. ) .
.
- , .
1.
2.
:
p , .
p 18 , .
2 : 18 , .
, .
, .
. .
, , .
, , .
.
, , , . , ( ) . .
.
:
1) . , . , . , , , . , , , (A) ⇒ B.
2) . , . , , , , , , . , -. , , , -.
|
|
|
3) . ().
, . .
.
, .
, , , .
4) . . , , , .
, . . , .
5) . .
. , , , .
6) . , , .
7) α-β- ( f (v) = g (v) + h (v)). , , . . , , . , , , , , , , . . , .
8) .
, , .
:
, . , .
|
|
|
:
, , , . , , . , .
, . .
:
1) , , ..
2)
3) ,
4) .
:
1) ,
2)
3) , . , .
4) , , .
, :
- OPS 5,
- EXSYS Professional,
- Kappa,
- Clips.
.
. :
1. , .
2. , .
, : .
.
1. . 1 , 2 , , , .
2. 2. .
3. . 1, .
4. 1, .
5. ( ).
. , 1 2 3.
3. , .
, . 2 3, .. : . 2, , 1 3. 1, . . , , - .
|
|
|
. , ( 1 2), , .
.
1. .
2. , , 1.
3. 1, .. , . , . 1 - . .
4. , . 2.
5. 2 (). , , .
6. 2, .
7. 1 , , , .
8. .
.
. , 1, 2, 3 4.
4. , .
: .
.
1. .
2. , . 1.
3. 1. , , .
4. , . 2 4. 2, . 4, , . 2, , .
, 3, , . , , .
, , , . : , ; -- ( ).
( ) , . .
.
n OPEN , , ;
n CLOSED , .
, .
. , , ( ), .
, . .
|
|
|
