α + β = β + α
2- α β, α + β = γ, k2 Vai+Vbj Pai*Pbj. β + α, , , Vbj+Vai α + β = β + α.
α * β = β * α
2- α β, α * β = γ, k^2 Vai+Vbj Pai*Pbj. β * α, , , α * β = β * α.
11. : , , . . . . .
- . .
( ) . :
1) ;
2) ;
3) , , / ;
4) , .
. , , , .
, , .. .
,
. .
, , .
:
1) ;
2) ;
3) ;
4) , . * Protégé.
:
:
{X, R, F},
X ;
R ;
F , /
|
|
:
1) ;
2) , ;
3) .
:
1) .
= V = {X, {ø}, {ø}}, R= ø, F = ø. .
2) , .
= V, = {X, {ø}, {F}}, R= ø, F ≠ ø. .
3) = V,, = {X, {R }, { ø }},
4). -( isA). isA: A B, A B. .
4 :
1) - ( ). , , , , , , , . .
2) , , , ;
3) , ;
4) ..
, , , . WordNet [Fellbaum C., 1998]. WordNet , / (/) . WordNet , , , .
. - , .
, , .
The Enterprise Ontology ( ), c IBM, Lloyds Register . [Uschold M., King M., 1998; TOVE Ontology Project].
. - , -.
****** : http://www.intuit.ru/department/expert/ontoth/2/2.html
12. : , , .
, , , (. . 1).
, (, ) .
. 1
, , , [3]:
|
|
- . .
- . , .
- . .
- . . , .
- . (, ) - .
- . .
, :
- . ( ).
- . .
- . , , .
- . , .
:
- ;
- ;
- ;
- ;
- ;
- ..
:
- - (. );
- (, , ..);
- , ..
, , . .
1. , :
- ;
- ;
- ;
- , , , ;
- ;
- ;
- ;
- ..
2. .
3. .
4. WEB.
5. .
6. .
13. : , , , .
, , , .
, (, ) .
, . (). .
1. : . (. )
2. : . (. )
3. : , . (. , , ; , )
|
|
4. : , , . (. ; )
5. : , . (. ; )
6. - (. 1 .; ).
, , . . , , .. , . , , .
14. : , .
, , , .
, (, ) .
.
-, , MYCIN, . , , , .. . .
-, .
-, , .. , , ..
, .
15. : , .
16. : , .
17. : , .
( )
:
: -
:
.
, .
, .
|
|
.
, .
.
. .
:
.
, .
.
. , . .
.
.
18. : , .
, , , (. . 1).
, (, ) .
. 1
1. .
, . , - . , , .
2. .
, , , .
1 2 : , ? .
3. .
, , , , 4.
4. .
, , . , . .
: ? ? , ?
5. .
- , . , , - . , , .
- , , , . .
|
|
1. , :
- ;
- ;
- ;
- , , , ;
- ;
- ;
- ;
- ..
2. .
3. .
4. WEB.
5. .
6. .
19., : BDI- , , .
, , ( ) , , , .
, , :
- (B eliefs);
- (D esires);
- (I ntention).
, . , , BDI-.
, . .
-, , , , , , , . , , - , , , ..? , . BDI-.
-, BDI-. , BDI- , . , , , .. BDI-.
, . . , BDI-. , , . , , , . :
- , - ;
- , - ;
- , - ;
- , - .
, .. . , . ( ), , , .
, . , . , , .
( ):
1.
2.
3. ..
20. - : , .
:
- - ;
- ;
- - ;
- .
():
= {A, X, C, V(C), R, G(A), Ru}, :
A = {a1, a2,... an} (.. ), ();
X = {x1, x2,..., xn} - ( ), ( ), , n ³ 0;
C = {c1, c2,... cn} , . , x i
ci = {ci1, ci2,..., cim}, m ³ 0;
V(C) :
cij = { cij1, cij2,..., cijk},
, k>0 ( , , );
R = {r1, r2,... rl} - , ( ) , l >= 0;
G(A) = {g1, g2,... gv} - (, ), , v>0 ( );
Ru (, ).
S .
G(A) ti :
S (ti) = {A(ti), X(ti), C(ti), R(ti)}
, . .
, , . :
, .. , ;
, .. , : - / ();
, .. , ;
/ , , , .. .
21. ( ), .
:
1) -, ;
2) . , - ;
3) ;
4) , ;
5) ;
, :
6) ;
7) ;
8) ;
9) ;
10) .
22. : , , .
:
;
, ;
;
;
;
.
. . , , , , . , . , . , () .
() , . . , .
, , . , . , :
;
( , );
( );
( , , );
( , ).
:
1) ;
2) (, ;
3) .
23. : ; , ; .
: , ( ).
( ) . , , , , , , . , , . , . , , , , .
. . .
, . . , , . .
, , :
, , , , ;
, , - , , - .
. , ( ; ). , , , , . , .
. , , , .., .
24.- : .
: , ( ).
. .
(- ). :
1) , .
;
2) , , , , .
.
, , ;
3) , , , ;
4) , , .
:
1), , ;
2) .
2.
: 1) -, 2)-, 3)-.
, :
1) ;
2) .
= < T, A, C >. = (Ti)
T ;
, ;
.
.
.
, , , .
Ua(Ti) = P(Ta) P(Ti) > 0.
P(Ta) ;
P(Ti) ( ).
Ua(Ti)>0, ;
Ua(Ti)=0, .
. :
1) , 2 :
- ;
- .
1 , 1- .
2 2- .
U1, U2 - 1- 2- .
, :
U1(T2)>=U1(T1)
U2(T1)>=U2(T2)
, .
, .
, . - .
?
1) ;
2) ? ( , ).
, i- , j, i, , j.
i, j.
deltaUij = Ui(Ti) Ui(Tj);
risk = deltaUij/Ui(Ti) // riski = [0;1]
1, , ; 0 .
2) , risk . . , , .
.