Интелл инф системы 2012

11 45

21 . . 2012

& @ & & & ) " @ * & ( )Z ) '- +- ) ?

3 ( " " " ( - 3 (.

, " ) + ( + '- )Z ( (, + " +, @" 4 0 - + " ( ' '

"- +, & ?* & ?* 4 )Z. )* ( - + ( 0 + + ) + . 1.3.

[.1.3. + (

" ' + ( - , ) " ? ' )Z

' ) +, + (?* & + " .

` " ' $ ? " ?* .

1. . " , (* " & 0 +: ) + " & " & " & ", " ) " ( $ ; )) ) ( + " @-

)Z + " ).

2.! 0 & " ' & @ $ %$ %& "

$ % %& ' ( " ( ' ( )Z " @

.

3.! 0 & " ' & @ % - , ( -

& " & + 4 - ) + "Z( - -

$ " ( 4 " ' + ) ' (.

4.> ( 0 & " ' " $ -

(' " + ( " ( ' 4 ' 4 "

-3 + ( " ' & " ).

5.! 0 & " ' & " $" "$ (( + +, " (,

(, ' (, " ' (, ( ().

! " " ?* + " ' + (.

•` " ' + ( - + "Z(- )Z + - + ? " - " & () ' ').

•` " ' ' 4 - ) @ )Z (4) + & + ( + ?* & ( ((, 4 , ) ' ) ' ().

•` " ' ) - ) + + +.

•` " ' + " ( & " & " & ", " ) " ( + (.

•> ' + " ' ( ( - " ' 1 2 " ( " '-

& )Z.

•` " ' +-( - 0 " ' 5, & 3 " @ (

) " *.

12 45

21 . . 2012

" 4 + + ( & " 4 , ' ( 50-& -", ( ( ( + ? (

- , , ', 3 4 + ". , ( (? ( +-?* ) =- , ! ", !-", U ) @ ) , + , - , < . . "- ( +, ' + ) + ? 4 - + ) ? " 43 4 + ) (.

!

, ) + ( - (, ) " ', - (

( + " 4 ). , ( ) 4 (& -(*- . 6 )& " @ ' " . 6 +, " @

+ + " @ "! ( 3 + ( " + (, @ )

: ! (, 3 + (? :* " + "! ' )- - +- -4". [ )- ( 0 + " @, )& " ) , ' ' ) @ *. < ( - - - , " .!.j ) "k ( " 3 ) " ) "(' )" - , ' ( "+ ( (" + +

+ - (, + ) -' ) - + "- @ (, + ) +. , + ) 3 +- ) + ( - (.

•, ) l-:<. ) 0 ' - + " * " + + 0 4 + ). ! + " @ "< 4 " ) " " ( - & 8- - ?" ( : ) " 8- & & " ( 8- .

•, ) + ( + )& " "-, +,

"< " ! & ?". ! 0 ' @ -) + " 4 ) ( 4-

, ( +- , .".).

•, ) '. 8 " ' " + " @ ( "9 " " "9 " * & ) ) ("? 6 + 4 -(" 4 '

0 & + " @ 4. ) 4 * & ) ) ( + " " ( '- (: , (, , + ( ( (.

•, ) " 4 ' )* (. 9 ' )* ( " @ ) +-

" + " ( 4, )& " ( -) + (, @ -'-

", @ " 4 (.

•, ) 0 + ' & 4, + * & 0 "- . 6 +, + "8- + , ' - "" ( ' + " @ ( ) " '-

0 + (+ * - - )- ).

•, ) & + ' 4. 6 +, + " @ "; & + 4 -" - - "&" + 3 "3 4 ' ( ) ( ) " *- " ", ' + ' )* + ( 4 - .

` ' + ' + ) +- ) & + ( (&. ! ' ( " ( )* ( +-4 - ): ( ?, ( +, 4 (. . - -

(, & - ) + * & ), +, + ?' -

, 0 ( . ! ' - ( (:;)

+ " @ -'- :- ; (:;) - 0 +-

+ " @ :; '- + (. > ( ) :; + ? ( +- - +, -' ( ( ). ! @ ( - ( & + " . 1.4 6 + + ( (. - " & "-

(, @ * ( " ( ( + ", , +, 4 .". , " @ - ?- ) , ( (?* ( )* '-). ' - + 43 ( " ', ( ) ( + "' 4 ( ( -(, + (, +- () " & ) . ' ' + " @ ( ( ( (, +, )- *. > - ( 4 .

13 45

21 . . 2012

- 4 + - ' & ' 4. - (

' ( ' . - + + ( ? ' (+ " " ( ( +-

, , ). - + ' ?, " + + ? ,

". " ( (" " - )-, " " - @). - + + ?

, " + ' ? (" ", "'" ""- ", "+"). .+ - + *-

+ " @ ("; " (, ?"). - + )Z + " @ ( ("k " + 3 4, -" ) " 4" - . ., 3).

[. 1.4 ( &

6 ' & 0 + & ( + " 4 & &

? ( 0 + .

"

" ) ' & " @ 4 - )

* & + ? & , + ' 3 & «0 + &» & «(&»

. ! )* + 3 " ' + ( @ -+ '-

( , )Z, + " &-' +-

+ & " ( ( 3 & ) " & - " '. " ' ' ? " ?* & ) (&: (, ), +- ) ?* ( + 3 + + ", & (, 0- , - -(, ?-) @ ( + 3, (, + * ( + 3-

, 3, + " , ) .+. +, " - ' + ", " +, +- -. 6 )

' " @ ( 0 4 ) " , ( "- )-

(, + " ? @" ( + & + &, +-? + 0-

& 4, 3 &, 3 ? " ' + ( "- " '. , " 0 + 4 4 (.) ) ' + ? +- , ( + (

+ (0 +) 4 4 + 4 + " 4 )+ " & 0 4 ) + ) + 3 ( 0 +-+.

+ , - + "-(* " ' ?*- ( ' ' (, + 3 " ? 0 4 &- 80- , 90- -" + 3- . + & . " @ & 4, ' (" - " 4:

14 45

21 . . 2012

•. ( " " &, * 0 + 4 ) + ? ' " * ? ) 4 ? ' " + " 3 ( " ';

•3 . " ' ( (? ( ) - + ? 0 ', 0 +, )Z ( 0 + + " 4 + " 4 ).

-( 3 & . " ' ( (? (: "- , + (

' &-' +), + (, +- , +, "

, +, ) ?" ( -), ) '.

) )* ( & . + " . 1.4. . ( + " -'- - ", ( + ? ) 4 (8`), - " + 3 ?

4 " '. # * - " ( + " ( 4 . + ? ( + " 4

' . > +, 8` + ( <+> <?'>). : . + " (, ' + , + + ( + "& "(* " ( " 4 -

+ ( " 4. ` + + ' + ( ?' ( "- +-

' 4 ' + .

[. 1.4 0 + 4

)( ' ( ?) 4 . ( (? ( @ " + ) ( 4 "

) @ ( )Z( ( 3 4. ! ) 3 ', . + 3 4 0- + ) ? @ ) " & (8>). " ( ) (

) 3 )Z 8> + ( . + ' " , - +, + @ 4 "- (" 4 & ' 4), @" +-

& + &, + ( (" .

! @ ? + " . -? ". " - & " " ( " ( . ) + + ( ( +-(, LISP PROLOG, @ 0 + -) ' (.): KEE, CENTAUR, G2 GDA, CLIPS,

_:=6 k ;, + " (?* + (@ ) ' - @ + ( 3-

4 ) " ( ) ( + " ( 4, ( +-(, )Z-

+ ".

[ ' + ) .. , ' ? . " ( ( :

•. )*- ' (.

•+ .:

•+ )- " ( " ' "- , + (, +-(

•+ "- " ( + ' & " ', +, ( 4

& 0 (&.

, + 3 4 " " (?:

15 45

21 . . 2012

•' ., (* 3 4 ".

•> ', ' ?* " 3 4 " + " ' " ( 3 ( " ' . ! ( & & @ " ( " &, 0 ? (, +, ( ++.

, + + ( ' ?:

•..

•. & "/& " "-& .

•k ) " . , ' -(, . - ) " & "- +- - + " (+ @ ().

, @ 3 & " ' ' ?:

•, . - " 1000 + & +.

•" . - 1000 " 10000 & +.

•@ . - ) 10000 & +.

, " " ( " (?:

•" 4 ) ., ) 4 1-2 ( 4 8`.

•> 4 ) ., ) 4 2-4 (, +, ( +

LISP, PROLOG, CLIPS

•, 3 4 ) ., ) 4 4-8 (, +, ( + CLIPS+ 4 8`.

•< ' 4 ) ., ) 4 1,5-2 -", +, ( + ++, Java+ 4 8`.

[ ) . ( + " " (, )& " & 3 ,

@ + ) & + " (. [ + " ) 0 + ).

, ) ' ( 4 0 +. 6 " + -" + -

- +- , ( + 4 ). " @ ) , + ' & 3 -

. 6 & ' ) , ". # 4 + + (, ',

, ) " @ +. ! - ) " ) 0 + ( . ) @ 0 + ) + @ ) - 0 +, -

" '.

, ) 4 0 +. .+-+ + " 4 ),

+, ( (. # + ? + 3- ( - - )Z(, + ' + (

3. -" 0 + - + 4 + ? ( « " - - ,

& ) (» - 3, ( @). ! & (& + @ ) 0 +-, ?*- ( - )Z( ( "- ".

, ) & 0 +. ! ) 4 " ( ) 0 + @ 4 " ' " ( + ( +. 3 (. @. 9 - +- ). # ) ) @ 0 4 , )& " + ' 0 +, + @" ' ' ( +, - + ( + " )Z.

,, 0 +, " ? )& " 4 '. , ) @ )- @, 3 0 + " '. 6 " + " « -3 ' &» -

4 " '. ! (& " ' @ + ", ) ", ', " "-? ?, ( ? + ' & " '. , 4 - -

0 + " (, + ( " ? -?. .+, +, -' + +, + (, ) , ( + LISP

PROLOG.

6 " . ! ' + ? + (@ 4, - ) ' & ", 0 +) " + ( . (" )

" + "" @). 6 " )-@ & -& " + @"

+ + " 4. , 3 + + ' ( -

16 45

21 . . 2012

' @ " (, + "( ' ? 3 0 + &

. . - " '3 3 ( - & +, + )

+ ' ( @" (& "- . - + ) (

' (, ' ) " ) ( ) 3- ' ( ' ) .. .+

) ? - ).

6 " & " 3 4 " '. # + " +

4 (+, +) - ) - + " " ;,`, @ & + " ( (+, 4 + ") - ) " ' 0 " ;,`. 6 " ' - ) +-" " ( 3 ( + &- . (+, " " ' ). 6 )& " *- 4 3 & " ', ' ) + " +-" + "-& &

" " + 4 ).

# ! $

[ " 0 + & 4 + " ( 0 + & "-' & (.>).

a ? " ( .> ( ( ( + " ( ( )Z "-( (>)

?* & ( + 4.

( ( > - ): +, +, ) + ). 6 + (, +, " 0 & > ( (? ( ) (, + ", +

0 .".

# + 4 @ ) " ' ( ('). ! > @ ) " + 4. ! 0 ' -(, ' + . ! " " ?* + " (. [ + > + ( (? ( 3 4 " -

+. + ' 4 & + + " ( «4 )» ( ) + >. @ ) +, " @ ? )& " ? ? " ( + "- , , , +. ! - ' +- + "- ( 4 &.

4 " ( + ( 0 & .> ( (? ( ( 0 + " ( + "--

, + " & ), + " ( 4, (

) + ' ( ( ( >, - -

?* 4 & ' 4 ++ 4

% &' 2

# ) *

, " + ( "3 4 " + " ? + ++ & +- -& " .!, + * ? & ) + ' ( )* ' 3 4 (4), + ? + ) @ ( )* ? @" ) 4 +, - 3 ?* & ? " '.

3 4 + "+- ' ", + " (? + '

.! ( +-( - (, ) ( " ' "- 4 3 " ', @ ", + (?* & + 0 " ( ' 4

+ " 4 ), -" 3 ( " ( " '.

4 3- ( ( ( 4 4 + ) ) )

. :- - +-4 + ). ! ) & + ) & + ? ( ++-

) ", +- + ( " 4 . ! (* ( ) 3 - + + ' ? 4 &- + 3 ( – + ( " (. 6 +

3 ? 4 ) 3 0 + ) + + ' ? (. : +-

"- " ( ) & +-& 4 + @ ' & " 4 (&,

17 45 21 . . 2012

4 + ) ) " . ! 0 ' 3 , + ( ", +

' ) + ' @ ?* ( (, ( -

( + + '- 3 4 " (.

>- , ) & + 4 3, ) ?* & +-(, & " + ( + + ? "- " (. 6 +, ) & + 4 &- " + ' (- + " ( " & , ' ) 4 - , + ? "- ' 3 " 0 + (- + " (. : @ (

+ ( ( ( () 3 , " ( + ' ( )-

)& " " ?* 4 +- + " ?* &- ( ) & + 4 " + + @ ' ' 4.

. ) " +-4 + ) + ( " (.

) 0 & + ) ) ) @ ?) 4 .!, +

( 3- 3 ( @" 0 + ). # )

@ " 4 ( @ + ( 3 ) & " + ( ( " + " 4 +-& 4), . . ' ) 3 3, " (' "-

- " +), ) ( ( ( . ", +- ? 4 -' ), ' 4 + ( ) 0.

! + ' .! ( +-( ' + + ( 0 & (-

. 3 + ( -", -" ( + " + * +

" 4 (. . +- + ? ( + (? ( " + 3- -

@. -" + ' ( ', ( .! - @ @ ( 3- ( " 4. ! ' ' ' - ( - 3 @ ) + ( 4-) 4 ( +-(. 6 -" --

' ( " + 0- + ( 3. ) " & 3 3 " ' 3 - , " ( - + " ' " 4 (. < - , 4 ( .! " @ " " ( +-( ' & @ ) & (&) +- ", +-& " @ + " & +.

, 0 ) 3 4 4 (, -

4 + ( 4-) ( +-( - (, " @ '-

) & " ' + ) ( (" + & " ' - (, &-

?* & ' " ', , - , , )& " " ( 0- + " ( & + ".

& " +- 4 &-4 3 ( " ' 3- & + 3 (, +, ( & - (, & ( & & - 3. , 0 )& " + " 0 & +- ( 3, * ( 4

+ * ? + & +- - (. 6 ' ) 4 (

" @ ( 4 ( - ( " (,

+ * + ( ) @ + ' ( ) ' ( +- @ (

& " 4. ) 0 + ( ( ( ', -" & " ( +- + (

- (, @ ( - ( .!.

! ( ' 3- - + ) + ( ) + 4 "

(, & (* ( ) & " & ) & 4 + ( .! ) +- +- -

( 0 & + 4. . + ( ( (? ( + " + , )&- " 4 " ( 3 ( " ', " @" 4 + ' 4,

" @- ) . +. 6 ' & & + 4 + ( - ) .! -

' &, @" ?* & 3 &. 9 3- - @ ( , .! - + + 3 ( " '.

-( '- + + + @ ) &

+ ", & "(* & + 4 3, ) 4 )* @

' 4 +. < +, 0 + " + " @ +-? -

+ (. . ', ' + " ( + 0

" +- ? ( + ( + (? (. : + & + "

18 45

21 . . 2012

) " + & " + + " ' " ( & ) ", &

) ) ?* & + &, 0 ) " ) 4 + 3-

) + ' ) 3 ? 0 + ) ) .!.

:* " + + 3 ( 3- ( @ ? + "-- + ( + 4 @ - " ( , ), +-

. +.). # @ " &, ) @ ) " +, + " " . 6 ) " ( ) 4 ) 3 ' +- , " 0- " @ ) + +. + @, - , ' ) + ( 0 ), + ? "- ' 3 ( ?* 4 + ".

! ', -" " & " + ? + ? " + ? ) ) 0, "-( + 3 + " .!. ( ) ) (

+, 4 .!, + ( & + .!, &

+ " ' 4.

3 4 , (, + + + ) @ .! (* -

- .

+

< ' ,[ + ? ( & ' (&, -" + + " 4 "- - + " ' 4 + ( . 2.1). ,[ )& " +-

* -", -" ? " ' + ) " + ( - " + + ) ' & '- " ( . 2.2).

< ( ( "-( - , ,[ )

4, 4 & ( ( )& " ( " ( ) ( + " 4 ),

4 3 ( " ' + (. ! 0 4 ) 4 ) +, 4 +-

+ *, 0 + ( ( @ & + (& +- - ( - + ( " " ( @" 4, + ' " ( +,

) ? " 4 ).

<-" & " + + " +, ,[ @

( + (, + * ? - (- 4 "-& "-& " + ( 4, ' ( ( +-

( + " ( + + ". , 0- " ( + +

+ + ( " + ", ' & ,[. : 0 + + ( ) + 3 4, -' 4 ) + " " ' & " 0 + 4 -, 4 3 " ' + ( " 4 + " 4 ). !- " 4 ( ) 4 4 ,[, 0 + ( * 3 " '. ! & &

,[ -? ( ' + ", " ', 0 + + (, ) + '-

( + 4 4 - + (, ' ( 0 + + "- - & '- " ( ) & '- + " @ ( ' ( " ) '- - & '- +. ? ( , 0 ', '-

" ', ', + " +- (, - +-

. ,[ +- + "" @ ' ? )- ', + 3 ' + " " + * ' & -4, +-( & ( @ 4 + 4 (0 + 4) + -

4 4 @" + * 4. # ' " (

3 4 ) ) . ! + 3 ( ' + & )Z,

' ( ' + & -) + ) @"- &.

* ? ( + (, 3 + ? ( " " (, - (? ( + ' -' ).

!+ ) ,[ 3 ? ( " ' & '- + (.

( ( ) & ' " - 0 3 +. (

& ' " - 0 +. , " ( + 4 : )-

( -+ ' ( &, ( +. , "( ( -

19 45 21 . . 2012

4 + (. ! " ( + ()). , + (.

[. 2.1. + ( & ,[

< + + ? ( " ) ? (. , 3 ( 0 ' @- )-" ( + ? ' 4 ) ' ? + ( " ?

+ + " & +- . , " ( ", ) ? ( '

" '; ? (. , ( ( ".

[. 2.2. ( ( (

k ( ( ) ' ' @ " (. < @" ( 0 & " ' ) @- +- - - - ) + ' (. , 0 ,[ - 0 "-(* @

, ) & (" @ " @ 43 & ' " (, -

+ " " ", 0 ' ).

20 45

21 . . 2012

$

<-" ' + + ( ?-) ), + (" +, )-' ?* & + ' '- . : ) + + ( ) -",

@ ) , ' + 4 + ' ( " ' 4: ) "

-"(, ) -" -(. 3 + +, + + ( + (

+ ( 0 4, ), @ 4 +. +-+ ) -" -- ?', " @ -("( ) , ' " ? - .

k (, ' + " 4 +. 6 - 0 + ) '-

& 3 ", ( 0 + + * ? (. 6 +-

" "- + ). 6 +, @ + , " @" ) 4 ), ' ) @ ), - ) " ( ". . ( @ - )* "- ', ' - " ), ? " . -

+ 3 ( & & " ', + ?* ( ' ' (, ? 0-

.

U &, ) ?* 4 ' " 4 & ", + + " 0,

' ) 3 & 4 - , + ' & ' 4 + , -( 3 &-. , * * 4 + 3 ( @ 4 " 4 " ', @ + ?- * ( - 0, @ ?* - + 4 +.

@" 0 -4 - . k (, ' - 0 *

( - + ( 0. 6 +, 3 "-

+- + &-'- 0 + " + + " ( +- ) ( -" 4. ! 0 + ( + @ - ( , (, "

3 (+ )- -"(, ' " 3 , 0 "' " 3" ( " 4 ' -

), + @ , " @ * 4 . , 0 4. 6 @ ' (

0 + & " + + ) '), ' - 0 0,

', (. ' +, @" 4 ) ( -", + ) 0 0 4 +.

. ' 4 ", , +, " 3 ( " ', + "- -

4. , 0 0 -" + "( + ' ? @- . ! & @ " @ ( (- " ( 4 . 6 0 " @ )-43 4

+ ' '- (, 4 + ) - & ) + " ) "- . > ( - ' ) 0 ", "

' ( 0 + 3 ( " ' +

& " ( + " ( & &. , 0 ( +- ? ( " ( 3 ( " ' 0 + & &.

, + ' " ( ' + + ? ( 0, "

3 ( " ', + ?* ( &, - 0 ' ".

. ' " + (? ( -", -" ' " - ) - )- & " + " ( ) 3 & + )Z ' 4 - & ) @ + -

& .!, ) (, ' &, ) " 3 .

+ ( 0 ' ", " +, ' -" + "(

' " ? ' 4, + ) 4 + 4 +. , 0 , -" 0

@, " + )- ' " 3 (.

% &' 3

-*

! + " +- + ' "-(

& ' (&, -" ' 4 - ) )( + ?. "

+ ) "- - +- 0 4 ) ( ( ( "4 -

", -" + ? ) )( " +, - + (?* ( +-