( 9.3) . , () , . , , . , . , " ", , - , . computer science, . 1988 (. 1949, . , ) " ", " ",[450] , , " belief revision " ( ).
, , , , , . , , ( , ), , " " . "" ( ), " " ( ).[451] , . , , , .
, , . , , , (, ), , , , , , . , , .
|
|
, "", ,
" ' ' . , , , '', , , , , ".[452]
, , . , " ", , . , , , . , ( ) , , , . , , (" " ). "" ( ) , . , , . , " ", , .
, , " " " ".[453] . , , , , , , . , , . ( , , , ).
|
|
, , , , , , . , , , . :
(1) .
(2) .
, , .[454] , , . , , ( ) . , , , , , . , , , , , , , , . , , . , . , , , , , , , , . , , , ( ), , -, .
:
(2) .
Cn. . Cn () , . Cn :
() X Í Cn (X);
(b) X Í Y, Cn (X) Í Cn (Y)
(c) Cn (X) = Cn (Cn (X)).
, , " ":
1. () , : (1) , Ï ; (2) X = Cn (X).
, , , , . . [455]
" " " ". . . , :
1. . , . , , , , . "+". , , , + .
|
|
2. . , , , . "¸": ¸ .
3. . , , . , () . "*", * .
. , , , . , , , , 1, . , , , . , , . , , , , , . , , , , .
, , . , . , . , . , , , (1) (2) , . , ~ ( ) (). , : (1) ~ (2) . , , " ":
2. * = ( ¸ ~ ) + .
, . . , , . , , "" ( - ), Cn:
|
|
3. + = Cn ( È { })
, . , . , , ( ) , , . , , : . , , , , . , 3 , .
, . " ", , , , , . , , , "" (, , ) .
"" " " (full meet contraction), , , . , - , , . , " " (maxichoice contraction), , . , , , , . , , , , , . , " " " ". "" , , , ( , ) , , , , . .
, " " (partial meet contraction), , , "", " ". , . , , . , . , .[456]
|
|
1. " " (closure): , ¸ .
( ¸ , .)
2. " " (success): Ï Cn (Æ), Ï ¸ .
( , , , . , , ( ). , Î Cn (Æ), , .)
3. " " (inclusion): ¸ Í
( .)
4. " " (vacuity): Ï , ¸ = .
( "" , , .)
5. " " (recovery): Í ( ¸ ) + .
( , , , .)
6. " " (extensionality): Í Cn (Æ), ¸ = ¸ .
( , .)
.
, , . , , , ( " "), , .
* * *
- , . , , , . ( , ). , .
, , , . . ("") , , ( , ), .[457] . , "" "" . , . , , , , , . , , ( ). , " " " ". () , , , , - .[458]
, . , , , , . , , , , " ": , , , .[459]
- , , , , . , , : (1) , (2) " " (3) .[460] , , ( , -), , . , , , , . " " , ( , ) , , " ", . , , , , . , , , , . , , , , , , , , . , "" , , , , . , , , " " .
, , . . - , , : a priori, . ., , a priori, a posteriori. [461] " " (, " "). . " ", " " (, " ", " " ). , , , , . ( ), " " " " . " " , .