close

Вход

Забыли?

вход по аккаунту

?

jakovlev

код для вставкиСкачать
??????????? ????????? ?? ???????????
??????????????? ??????????????? ??????????
??????? ????????????????? ???????????
?????-????????????? ??????????????? ???????????
???????????????? ???????????????
?. ?. ???????
?????????? ???????
??????? ???????
???????? ??????-???????????? ???????????? ?????
?? ???????????????? ???????????????? ???????????
? ???????? ???????? ??????? ??? ?????????
?????? ??????? ?????????, ??????????? ?? ???????????
?????????? 230400 ? ?????????????? ??????? ? ??????????
?????-?????????
2010
???�2.52/54004.9
???�.813
?47
??????????:
??????? ?????????????? ??????? ? ???????????? ??????????
??????????? ???????????????? ???????????? �??????� ??. ?. ?. ????????
(?????????? ???????? ????????? ?. ?. ????????);
?????? ??????????? ????, ????????? ?. ?. ???????? (?????????? ????????
?????????????-??????????? ?????? ?????-?????????????? ????????????????
???????????? ???????????????? ??. ????. ?. ?. ????-????????)
??????????
???????????-???????????? ??????? ????????????
? ???????? ???????? ???????
???????, ?. ?.
?47 ?????????? ???????: ????. ??????? / ?. ?. ???????.� ???.:
????, 2010.� 124 ?: ??.
ISBN 978-5-8088-0516-3
??????????????? ???????? ?????????????? ?????????? ? ????? ?
?????????? ?????? ???????? ?????????? ?????? ??? ????????? ??????????? ???????? ???????????????? ?????????????? ??????.
???????????? ??????? ????????? ??, ????????? ????????????, ?????????? ???????????? ??????, ???? ?????? ? ??????, ???????? ??????????? ?????? (????????????? ??????) ??. ????????? ?????????????
??????? ?????????? ??, ??????? ??????????? ????????????? ??????
? ?????????? ???????, ???????????? ???????????????? ???????? ??
??????????, ????? ???????????????? ? ???????? ????????????? ?????????? ? ???????? ??. ?????????? ????????????? ???????????????? ??????? ? ?????????? ?????????? ??, ?????? ? ????? ????????,
??????? ?????????? ????????? ?????????? ???????.
??? ?????????? ??????????????? ????????????, ???????�?? ?
????????? ?? ??????????? �????????????? ???????�.
??? 002.52/54004.9
??? 32.813
ISBN 978-5-8088-0516-3
� ?????-????????????? ???????????????
??????????? ????????????????
???????????????, 2010
� ?. ?. ???????, 2010
???????????
??????????? ???? ???????? ???????????? ?????????? ???, ???
?? ????? ???? ?????????? ???????? ??? ???????????. ?????????? ??????????? ????????? ????? ?????????????? ??????????
?? ??? ????? ???????????? ????????????. ?????? ???????? ???????? ???????? ? ?????????????? ????????, ??? ???????? ???????????? ?????? ????? ???????? ???????????. ?????????? ? ?????????
???�?? ? ????????. ??? ??????? ???????? ??? ???????????? ?????
??????????? ??????????????? ??????, ?????????????? ??????????? ???????? ????????. ????? ? ???????????????? ?????????�
???? ??????, ?????? ?? ??????????????? ? ???????????? ? ??????�
?????? ?????. ?? ???? ?????? ??????????? ????? ?????????�
????? ??????? ????????.
?????????? ??????? ? ??? ????? ? ?????? ??????????????? ??????????? ? ??????? ?????????????? ??????????. ???????? ??????????? ????????, ??????? ?????????? ??????? ???????? ? ????
?? ?????????? ????? ?????? ?????????????, ???????? ???????????
?? ?????????? ? ??????? ????? ?? ????? ????????? ????????
???????????? ????????????. ?????????? ???????, ??? ? ??????????????, ? ???????? ????? ?????? ????????? ?? ????????. ?????? ?
?????????? ???????, ??????????? ??? ?????? ?????????? ??????,
???????????? ??????? ????????????? ? ???????????? ? ??????
??? ? ???? ???? ??????.
??????? ??????????? ?????????? ?????? ? ??????????? ??????????? ??????, ????????? ?? ?????????? ?????, ????????? ? ???
????? ???????????? ????????????? ????????????? ?????????? ??????????? ?? ??????? ? ??? ????????????????? ????????????.
3
?????????? ?????? ????????? ???????? ???????????? ????????????, ?????????? ?? ???????????? ? ? ????????????, ????????? ?????????, ??????????? ???????. ???????????? ??????????
?????????????? ?????????? ?? ???????????? ? ? ????????? ? ????? ???????? ?? ?????????? ????????, ??????????? ???????? ???????? ? ????????? ????? ???????? ???????, ? ????? ?????????????? ????? ????????????? ?????? ? ????????? ????????????
????????????.
??????? ?????????? �??????????????? ?????????????? ???????� ????? ??????? ? ????????? ?????????? ??????????, ???????????? ? ????????? ?? ??????????? ??????? ?????????????????
??????????? 230400� �????????????? ?????�? ? ??????????�.
?????????? ???????? ??????? �????????? ???????� ????????????? ???????? ?????????? ?????????? �??????????????? ?????????????? ???????� ???????????? ?????????? ???????????????? ???????????????? ????????? ??????? ????????????????? ??????????? ?? ??????????? ?????????? 230400� ??????????????
??????? ? ??????????.
????????????? ?????? ??????? ???????? ??????? ???????? ??,
??? ? ??? ?????????? ???????? ??????????? ??????????? ?????????? ?????????????????? ???????????????? ?????????? ? ???????? ??????????????, ???????? ???????? ?????????, ???????????
???????????? ???????? ???????? ???????? ??????????, ??? ???????? ?????????? ? ????? ?????? ?????????? ??????? ???????????
???????? ??????????????.
???????? ???????? ??????? ???????? ????????? ? ??????????????? ???????? ? ????????????????? ?????????? ???????????
?????????? ?????? ? ????????????? ????????????? ????????????
???????? ??????? ????????????????? ???????????, ???? ?????????? ?????????? ??? ???????? ? ?????????? ??????? ?????????????????? ???????????????? ??????????.
????? ?????????? ?????????? ???????? ?????????????? ?????? ? ???????????? ?????????? ??????????? ???????????????? ???????????? ???????????? �??????� ?????????? ?.�.�???????? ? ??????????? ???????? ?????????????? ???????????
?????? ?????-?????????????? ???????????????? ????????????
???????????????? ??. ????. ?.� ?.�???-???????? ??????????
?.�.�???????? ?? ?????? ?????????, ????????? ??? ?????????????? ???????? ???????? ???????.
?????
4
????????
?? ?????????? ???????? (??) ????? ???????? ????? ? ??????.
?? ???????? ??????????? ??????????, ???? ?? ????? ???????? ??
?????????? ??????????? ??. ?????????? ???????� ??? ?????????
(?? ??????????? ?????? ???????? ????????????), ??????? ????????
???????? ? ??? ??? ???? ?????????? ??????? (???).
?????????? ??????? ?????????????, ??????? ???????, ??? ??????? ???????????? ?????, ??????????? ? ????? ???????????�
?????? ? ?????? ????????????? ?????????? ???????. ??????????
??????? ???? ??????? ?????????, ??????? ????????? ????????
????????????? ???????????? ????????? ?????????????? ?????????? (??).
? ?? ??????? ????????? ???????????????? ???????????.
??????????? ??????: ?? ????? ?????? ?? ????? (?� ?????? ????
?????) ????, ??? ????? ???????, ????????? ?????? ???????. ???
???????????? ??????? ????????? ????? ????????? ??????????????? ?? ? ???????, ? ??????? ?????? ??? ?????????, ???? ?????????? ?�???? ?? ?????? ?????????? ????????? ? ???????? ? ?????????? ???????, ??????? ????? ??, ???? ?? ???? ?? ?? ??????????
??�????.
??????????? ??????: ?? ??????? ?? ??????? ????????-????????.
??? ????????, ?????, ????? ?? ?? ??????????
? ?????? ????????????? ????? ? ????????????? ?? ?? ?????????????? ??????????????? ???????????, ?????????? ???????? �????????? ???????�. ???? ???????????? ?? ?? ??????? ? ?????????? ????????, ??????? ??? ??????? ?????, ??????? ??? ????????????????, ???????? ??????????, ?? ?????????? ?? ???????? ? ????????????? ????????, ?????????? ?????????. ????????????? ?
??????? ?? ??? ???????? ????? ?????????? ????? ?????????? ????? ?????? �???????? ??????�, ????????? ?.�??????????? ???
�?????????? ????????? ? ?????????????? ???????????? ?? ??????? ?????????????? ?????????? ? ??????? ??????? ??????????
???????, ????????? ?????? ?????????�.
??????????? ????????, ???????????? ?? ?????????? ?????????? ??????, ??? ????????? ?????? (?�????????? ????? ???????????? ?? ??? ????????), ???????? ???????????? ???????????????
? ????. ???????? ?? ??????? ? ?????????:
?? ?????????? ?? ??????????? ????????? ???? ??????????? ???????? ?????, ???????? ?? ???????????, ??????? ??????? ???????? ???????????? ????????????? ??????;
5
?? ?????????? ?? ???????? ????????? ????????? ? ???????
?????????? ??????? ????????????? ????????????????: ???????????? ?, ?????????????, ??????? ????????? ?????????? ???????
??????????;
?? ??????? ????????? ????????????? ??????? ??????, ???????
????? ? ????????? ??? ??????????? ????????? ?? ??????????; ?????? ??????? ????????? ?????????????? ???????? ? ?.�.;
?? ??????????? ?????????? ?? ? ??????????? ????????????? ???????????????? ????????? ????? ???????? ? ??????????? ?????????
?? ????: ??????????? ?????????? ??????????? ?????????? ?????????????, ? ?? ?????????????; ??????? �???????????� ??????????
(????????, ?????? ???????? ?? ???????????? ???????????? ?????
(??), ??? ?? ??????? ???????????? ? ???????, ???????? ???????? ?
?????????????); ?????? ???????; ?????????? ? ??????????????.
?? ?????? ??????? ????????????, ? ????????? ???????????
?? ?????? ????????? ??????????:
?? ?? ????? ?????? ??????? ???? ?? ???? ????? ??????????????,
??????????, ????????????, ?????????????, ???????, ????????? ?
???????? ?????;
?? ?????????? ??, ?????????? ???????????? ???????????????,
????????? ????????????? ?????? ? ?????????? ?????????? ??
??????? ???????????????-????????????????? ???????.
?? ????????????? ??? ??? ?????????? ?????????????????
?????, ?.�. ?? ?? ????????? ? ?? ???????? ????????????? ???????
? ?????????? ????????, ???????????????? ?? ??????? ??????????????? ?????.
????????????????? ?????? ?????? ???????? ?????????? ?????????????:
?? ????????????, ????????????????, ?????????? ? ????????????????? ???????? ??????;
?? ????????????, ????????????????, ?????????? ? ???????�
?????????? ?????? ? ?????????? ??????? ? ???????? ??????;
?? ??????? ???????????? ???????????? ???????, ?.� ?. ???????
??? ?????? ??????? ?????? ?????;
?? ??????????? ????????????? ??????? ? ????????.
??????? ???????????, ??? ????????????????? ?????? ???????????? ??????? ? ????? ?????? ????? ?????. ?????? ???????????
???????, ??? ??? ?????? ???????? ???????? ???????? ??????? ?????, ???????? ???.
?????????? ??????? ? ??????? ?? ?????????? ?? ?????? ????????? ?????? ???, ??? ? ??? ? ???????? ???????????? ??????????
6
(?� ?? ????????) ?????? ?????????????, ?????????? ????? ? ????????????? ????? ??????? (?�? ?????????? ?????????? ?????????).
?????????? ??????? ??????????? ??? ??????? ?????? ??????? ???????????? ?????. ?? ???????? ? ????????????? ???????
?? ?? ???????? ???????? ????????-????????. ??????? ?????????? ?????? ???????? �????????????�, ?.�. ????? ???? ?????????
???????????? ?? ???????????? ??????. ??? ???????? ?? ?????????????? ?? ???????????? ?????????? ? ????? ??????? ? ??????????????. ????????????????? ??????? ???????? ????????? ???? ?????? ? ???? ?????????????? ? ?????????. ?????????? ????????, ???
? ????????? ????? ?????????? ?? ???????????? ??? ??????? ????????? ????? ????? (?????????????, ????????????, ???????????,
????????????, ???????????????, ????????, ???????, ??????????,
??????????) ? ????? ????????????? ???.
???????????? ?????? ? ??????-????????????? ?????? ?? ?????? ?? ?????. ?? ?????????? 1970?1985�?. ?????? ?? ???????? ?
???????? ????????????????? ??????????, ??????? ??????????????? ??????????? ?????? ?? ??? ????????????? ?????????????. ??????? ???????? ? 1985�. (?�??????? ???????? ? 1988?1990�?.), ?
?????? ??????? ??, ? ? ????????? ???? ???????, ??????????????
???????????? ???? (??-???????), ? ????????? ???? ????? ???????
?????????????? ? ???????????? ???????????.
??????? ???????? ???????? ?? ??, ??? ????????? ???????????
(??? ???????, ??????????? ? ????????????????, ? ?? ? ??) ?????????? ??????????, ??? ?? ? ??????? ?? ?? ????????? ????????????? ?? ??? ???????? ? ??????. ??????? ????? ???????????
??????? ? ???, ??? ??? ?????? ????????????? ?? ??? ????????????
????????????? ????????????????, ?.�. ??? ???????? ?? ????, ???
?? ? ??????????? (?�??????? ?? ?????? ??????????? ???????) ????????? ?????? ??????, ??????? ????? ??????????. ???? ????????,
??? ?? ???? ????????? ?? ????????? ???????????? ? ??? ??????,
?????????? ?????????? ?????????? ? ????????????? ????????????
(????????, LISP-??????) ?????? ????????? ????????????, ??? ?????????? ?? ? ?????????????, ???????????? ????????? ???????? ??????? ?, ????????, ???????????? ??????? ??? ????????????, ????????????? ????????? ????????????. ?????? ? ????????? ????? ???????????? ???????????????? ???????? ??? ????????
?? ??????????????? ? ?????? ???????????? ? ???????????? ???????????????? ??????????? ????????????? ????????????????, ???
??????? ????????, ??????????? ??? ???????? ???????????????
??????????.
7
???????, ????????? ?? ? ????????????? ??????, ?????????.
?????????????????. ??????????? ???????????????? ????????
??, ????? ??????????????? ? ??????? ??????????????? ???????????? ? ?????????? (? CASE, ????, ?????????????, ??????????????? ?????? ? ?.�.).
?????????? ? ?????????????. ???????????????? ???????? ??
??????????????? ? ??????????? ??????????, ?????????????? ?????????? ? ?????????????.
????????????? ?????? ????????????? ???????????????? ? ??????? ???????. ??????? ?? ???????????????? ??????? ??, ????????????? ?? ?????? ?? (Lisp, Prolog ? ?.�.), ? ????????????????
????????? ??, ????????????? ?? ?????? ????????????? ???????????????? (?, C++ ? ?.� ?.), ???????? ??????????? ?????????????????, ?????? ?????????? ?????????? ?? ? ?????????????? ???
? ??????? ??????????? ??????. ????????????? ??????? ???????
(?????? ???????????? ???????????) ????? ????????? ???? ??????????, ??????? ????? ???? ????????? ?? ??? ? ??????????????
???????????????? ??????? ??.
??????????? �?????-??????�. ??????????? ???????????????? ???????? ??, ?????????????? ?????????????? ??????????
?? ??????????? �?????-??????�, ??? ?????????: ??????? ????????? ????????????, ????????????? ? ???????????, ???????????????? ??????????, ???????? ?????????? ? ????? ?????????????????? (??? ??? ??????????? ?????????? ??????????, ???????????? ????? ???, ? ?????? ?????? ?????????? ??????????? ??
?????????? ??? ????????????).
?????????/?????????-??????????????? ????????????????
???????? ??. ??????? ?? ?????????? ???????????????? ???????
?? ?????? ?????????? ? ?????????/?????????-???????????????
???????????????? ????????? ?? ????????????: ?????????? ?????? ?????????? ??????????; ?????????? ????????????? ????????????? ???????????????? ???????; ????????? ? ????????? ?????? ????????; ????????? ?????????????? ??????????????? ? ???????????? ??????????? (???????, ??????, ???????, ?????????).
8
1. ????????????? ?????????
? ?????????? ???????
?????????? ?????? ???? ?????? ???????????, ??? ????? ?????????
????????, ?????? ??? ?????????� ??? ????? ?????? ??????? ? ??????? ????????? ? ????????????? ??????????. ????????? (????.�
intelligence) ?????????? ?? ?????????? intellectus� ??? ???????? ??,
????????, ?????, ???????????? ??????????? ????????. ? ???????
???????? ????????????? ??????????? ????? ???????? ???????????
????? ?????? ???????????????? ?????? ????? ????????????, ??????????? ? ????????????????? ?????????????? ?????? ? ????????
???????? ?? ????? ? ????????? ? ????????????? ???????????????.
????????????? ?????????� ???????????? ??????? ?????????,
????????? ?????? ??????? ????? ????????????????? (???????????) ????????? ? ?????????????? ???.
? ???????? ??????????? ????? ? ????????????? ?? ?? ? ???????????? ??????????? ?????????????? ??????????????? ???????????, ?????????? ???????? ?????????? ???????.
1.1. ???????? ??????? ?????????????? ??????????
??????????? ????????????? ?????????� ? ??? ???? ?? ??????????? ???????????, ????? ???????? ???????? ?????????? ???????????????? (?????????-???????????) ???????, ???????????
????????????-?????????????? ??????? ? ?????? ????, ??????????? ??????????? ????????????????? ??????, ??????? ? ??? ??
???????????? ???????????? ??.
???????????????? ?????????????? ??????? (???)� ? ??? ???????, ????????? ?? ???? ???, ??????? ????????? ??????? ????????? ??????? ???????????????? ????? ? ?????? ??? ?????????
???????? ??????? ?? ?????????? ?????????? ?????????.
??????: ? ????? ?????? ?????? ? ??????????? ????????? ????????? ???????? ????????????????, ?????? ?? ????????? ? ???????? ????????, ????????? ?????? ? ??????????, ??????? ???????? ??????????? ? ? ????????????, ? ? ??????????? ?????????,
?? ????????? ??????? ????? ????????? ???????? ? ??????, ????????? ?????????? ????????? ??? ????, ????? ???????????????
??? ??????. ??????? ? ?????????? ??????? (???) ??????????????
?????????? ?????? �?????粻? ??? ??????????, ??????????????
??? ?????????? ???????????????? ???????. ??????? ???????,
??? ???????? ? ?? ?? ????? ????????? ????????? ??????.
9
1.2. ??????? ???????? ? ?????? ?????????????? ??????????
? ???????? ?? ????? ???????? ??? ???????? ?????:
60?70-? ??. ??? ???? ????????? ???????????? ?? ? ???????????? ??????????? ?????? ?? ????????? ????????? ???????? ??????? ? ??????????. ????? ???????? ?? ???? ????? ?????????? ?????? ???????????? (????????? ?????), ??????????? ??????? ?????????????? ???????????????? ? ????????????? ?????????? ???????? ????????? (??????????? ? ????)
70?80-? ??. ?? ???? ????? ?????????? ????????? ???????? ?????? ??? ???????????? ?????????? ???????; ?????????? ??, ? ??????? ??????? ???????????? ??????? ???????? ??????????, ??????????????? ?????? ??????????????? ?????? ? ??????????????
???????????
80?90-? ??. ?????????? ??????????????? (?????????) ??????
????????????? ??????, ?????????? ? ???? ??????????: ?????????,
??????????????, ?????????? ? ????????.
?????????? ??????? ?? ????? ????? ??? ???????????? ???????
????????. ? ?????? ?????? ? ??? ?????????????? ??? ?????? ??????? ?????, ???????, ?????? ? ???????, ?? ??? ??? ???????? ????????? ????????????:
?? ?????????????? ??????;
?? ????????????? ???????;
?? ?????????????;
?? ????????????? ???;
?? ????????? ??????;
?? ?????????? ???????.
1.3. ?????????? ??????? ??? ??????????? ????????????
?? ?????????????? ??????????
???? ???????????? ?? ?? ??????? ? ?????????? ????????
(?????????), ??????? ??? ??????? ?????, ??????? ??? ????????????????, ???????? ??????????, ?? ?????????? ?? ???????? ? ????????????? ????????, ?????????? ?????????. ? ???????????
??????? ?? ?????? ?????? ????????????? ?????? ??? ??????, ??
??????? ???????????????? ???????.
?????????? ????????? ???????????.
?????????? ??????? ? ??????????-??????????? ????????, ??????????? ???????????? ? ?????????? ?????? ???????? ?? ????????10
?? ???????????????? ?????? ? ?????????? ?????????? ???????,
??? ???????????????? ???? ? ?????? ?????-????????? (???????????? ? ?????? ???????).
?????????? ??????? ? ????????? ??? ??????????, ???????
????? ?????????????? ??????? ??????? ???????? ??????????????????. ?????????? ???????� ? ?????????, ??????? ??????????
?????? ???????????? (?????????) ? ????????? ?????????? ???? ?????????????????? ??? ? ? ???????? ???? ??????? ???????? ????????? ??????? ?? ?????? ????????-?????????????.
?????????? ??????? ? ?????????? ????????? ??, ? ??????? ???? ?????? ???????????? ????? ??????????????? ???????????? ?????? ??????????????????????? ???????????? (?????????)
?�????-???? ????? ?????????? ???????.
?????????? ??????? ? ????????? ??? ??????????, ??????? ????????? ?? ???????? ? ???????????? ??? ? ????? ????????? ???????????? ??? ??????? ???????.
? ?????? ???????????????? ?? ????? ????????????? ??????,
? ??????????????? ??? ?????????????? ?? ???? ?????????????
??????, ???????????????? ??????????. ?????????? ??????? ?????? ??????, ???????? ??????, ????????? ?????????????, ???? ???????????? ? ?????? ???????. ??? ????????????? ?? ??????? ?????, ?????? ????????? ?????????? ?????????? ?????????????????????. ?�?????? ?? ???????? ????????, ????????????
??????????? ??????, ?? ?????? ?????? ? ????? ?????????? ??????? (?????????? ??????? ??????????) ?? ?????? ??????????? ???????????.
??????? ??????????? ?? ? ??????????? ??????????? ??????, ????????? ?? ?????????? ?????, ????????? ? ??? ????? ????????????
????????????? ????????????? ?????????? ??????????? ?? ??????? ? ??? ????????????????? ????????????.
1.4. ????????????? ? ??????? ?????????? ??
??? ????????????? ?? ???????????? ????????? ????????:
?? ?????? ???????????? ???????;
?? ?????? ????? ?????????? ????????;
?? ??? ???????????? ??????;
?? ????? ???????????? ?????????? ??????? ??????.
?? ??????? ???????????? ??????? ?? ????? ????????? ?? ????????????? ? ????????????? ???????. ? ???????? ??????? ????
11
?????????????? ????? ??????? ?? ????????? ????????? ???????
?? ?????? ??????? ??????, ? ???????? ??????? ???? ??????? ????????????? ?? ????????? ?????????? ??????.
? ??????????? ?? ??????? ????? ?????????? ???????? ?? ?????
?? ??????????? ? ???????????? ???????. ??????????? ?? ????????????? ??? ??????? ????? ? ????????????? ? ???????? ??????? ??????? ? ????????, ? ???????????? ?? ????????? ????? ?????????.
?? ????? ???????????? ?????? ? ?????? ????????? ?? ? ?????????????????? ? ??????????????? ????????. ??? ????????????????? ?????? ? ?????? ?????????? ?? ?????????, ????????????,
??????????.
?????????? ??????? ????? ??????????? ? ?????????????? ?????? ??? ?????????? ?????????? ??????.
?????????? ???????? ????????????? ?? ??? ??????? ?????????? ?????. ?????????? ??? ?????????? ?????, ??????? ????????
?�?????? ??, ?.�. ??????, ?????????? ?? ???????, ????? ???????, ??? ?????? ??????? ??????????. ??? ??????????? ??????�
?????????? ?????????? ????? ?????? ????? ?????????????????
???�?????? ??????????:
?? ?????? ? ?????? ??????? ? ?? ???????? ?? ????????;
?? ???????????? ????????? ??????? ???????????? ????????.
? ???????? ??????? ?????? ?????? ?????????????? ?????????? ???????????. ?????????? ??, ???? ??? ?? ????????? ??? ??????? ????? ???????? ?????????? ???????? ??? ???????????????
(???????????? ???? ??????????? ? ???? ?????). ?� ???? ???????,
???????????? ???????????? ????????? ??????????? ??????????? ?? ? ??? ???????, ????? ??????? ?????? ??????? ? ??????????? ???????????? ???????. ????????????????? ??????? ????? ???????? ??? ??????? ?????, ??? ????????? ?????????? ???????????.
?????? ???? ?? ??????? ???? ???? ???????, ??????? ????????
???? ?????????????? ???? ?????? ? ????????? ???? ?????? ?????????? ???? ?????? ??? ??????? ?????.
? ????.� 1.1 ???? ????????? ????????????? ???????? ?????????? ?????, ?? ??????? ??????? ????? ?????? ? ????????????????
????????????? ??? ?? ??????? ??.
? ????? ?? ?? ????????????? ????????? ??? ??????? ????????? ????? ?????:
?�?????????????, ???????? ??????? ????? ?????????? ?????????????? ? ???????????? ???????;
12
??????? 1.1. ???????? ???????????? ??
?? ?????????
?? ???????????
?? ????? ???? ????????? ??????? ????- ??????? ???????????
????? ??? ?????????, ?? ?????????? ??????????????? ??????
????????????? ?????? ???????
???? ????????, ??????? ????????
?????? ??????
??????????? ???????? ??? ??
????? ????????????
?? ?????? ????????? ?????? ????????? ?????? ????? ??????????????
? ??????? ???????????, ??????????????????
??? ??? ???????????????
????????? ?????? �????????�
???????? ?????? ?????
? ??????? ?????????.
?????? ???????? ??????? ?????????? ???????????
?????? ???????? ????????????
????????, ? ???????
???????? ??? ??????????
?????? ???????? (?????????)
?????? ????????? (?? ????????
??????????)
?�???? ?????????????, ????????? ? ????? ?????? ??? ????????
?????????? ????????;
?�????, ?????? ? ??????? ??????? ??????? ??????????? (?????????? ??????? ???? ?????? (??)).
??????? ?????????? ?? ????? ???? ????????????? ? ?????????
???????? ???????: ??????????? ???????????, ???????? ? ??????????, ??????????? ?????????????? ? ???????????? ? ?????????????
???????????, ????????.
??????????? ???????????
??????????????? ?? ???????????? ??? ???????????? ?????
????? ??????????? ???????????? ????????? ? ?? ??????????
?????????. ???????? ???????? ??????????????? ??????? MYCIN,
??????? ????????????? ??? ??????????? ? ?????????? ?? ?????????? ???????? ??? ????????? ? ????????????? ?????????. ?? ?????? ?????? ???? ??????????? ? ???????????? ???????????? ? ???????? 70-?�?. ???????? ????. ?�???????? ????? ??? ??????? ??????
??????? ?? ?????? ?????-???????????. ??? ????? ??????????? ???? ??????, ????????? ???? ????? ??????????? ? ? ?????? ????????
????????.
13
???????????????
?????????????? ?? ????????????? ????????? ??????????
??? ??????? ?? ?????? ?????? ? ??????? ????????? ???????. ??????????? ??????? �????????? ????-??????� ????? ???????????????? ??????????? ????? ? ? ??????? ?????????????? ???????
?????????? ??????????? ??? ??? ???? ???????????????? ?? ???????????. ??? ?? ????????? ? ????? ??????, ?????????? ?? ???????, ????????? ?????????? ????????? ? ????????? ?????????????
????????????????. ???? ???? ??? ??????????? ??, ??????? ???????? ?? ???? ????? ?????????? ? ??????????? ????? ?????? ???
????????? ???????, ?????????????? ??????? ??? ??????? ?????
????????????? ??????, ??????????? ? ????? ??????????. ???? ??
???????????? ??????????, ????????? ??????? ???????, ?????????? ?? ???????, ?? ?????? ???????? ??????? ??????? ??????.
????????????
??????????? ?? ????????????? ??? ?????????? ??????????
????? ??? ??????? ????? ? ??????? ?????? ??????????. ?????
獻nformat� ??????? ? ???????? ???????? ????????????? ? ???????????? ??????????? 13 ??????? ???????, ????????????? ? ????? ?????? ?????, ?? ??????? ?????????? ?????????? 15-????????
???????????? ? ????? ?????? ??????????? ??????? ?????????,
? ?????????? ??????? ?????????? ?? ???????????? ? ???????.
????? ????, ???????? 獴oeing� ????????? ?? ??? ??????????????
??????????? ???????, ? ????? ??? ????????? ?????? ??????? ?????????? ?????????? ? ??????? ??????????. ?????????? ???????
XCON, ????????? ?????? 獶EC�, ?????? ??? ??????????? ??? ????????? ???????????? ???????????? ?????? ???? VAX ? ? ???????????? ? ???????????? ??????????. ????? 獶EC� ?????????????
????? ?????? ??????? XSEL, ?????????? ???? ?????? ???????
XCON, ? ????? ???????? ?????? ??????????? ??? ?????? ?????????????? ?????? ? ?????? ?????????????. ?� ??????? ?? XCON
??????? XSEL ???????? ?????????????.
?????????????
???????????????? ?? ???????? ???????????? ???????? ???????????? ?????????? ?? ?????? ??????????? ??????????. ???????
PROSPECTOR, ???? ?? ???????? ????????? ?????? ?????????????14
???? ????, ?????????? ?????? ?????? ?????????. ????????? ????????? ?????? ??????? ??????????, ??????? ??????? ?????????? ?????? ???? ?????????? ? ??????? ????????, ?????? ??????? ????
??????? ?? ??????????? ?? ???? ?? ?????? ?????????. ?????? ???????????????? ???????� HASP/SIAP. ??? ?????????? ?????????????? ? ???? ????? ? ????? ?????? ?? ?????? ???????????? ?????? ????????.
???????? ? ??????????
?????????? ??????? ????? ??????????? ? ???????? ???????????????? ?????? ???????? ? ????????? ???????, ?????????? ??????, ??????????? ?? ?????????? ??????????. ????? ??????? ???
???????? ?? ??????? ???????????????, ????????? ?????????
????????? ? ???????????? ??????????? ????????. ??? ?????
???? ????? ??????? ??? ????????????? ?????????? ????????????
??????????? ? ????????? ?????? ??? ????????? ??????? ? ??????????? ?????????.
??????????? ??????????????
? ???? ????? ?? ?????????? ??? ??? ??????? ????????????
? ????????????? ????? (???????????, ????????? ???????????
?� ?.� ?.), ??? ? ??? ?????????? ?????????????? ? ?????? ? ?????????? ? ??????????? ??????????? ???????????.
????????
?????????? ???????, ?.�. ???????, ?????????? ?? ???????, ????? ??????? ????????? ?????? ? ???????????? ??????? ????????.
??????? ???????? ?????????? ? ???????????? ?????????? ??????? (????????, ????????) ?�?????????? ??? ?????????. ???? ??????
?????????? ? ???????????? ? ?????????? ???????. ???????? ?????
???????? ????? ??????? ???????????? ????, ????????? ???????
????????????? ?? ???? ??????????? ??????? ???????????? ?????????. ????? ?? ???????? ?????????? ????????? ?? ???????? ??????? EURISCO, ??????? ?????????? ??????? ????????? ? ????
?????????? ? ????, ??????????? ?????? ????????. ???? ???? ??????? ? ???, ????? ?????????? ?????? ????????, ????????? ???????
????????? ? ???????? ????????????? ????????? ??????. ???????
EURISCO ???????? ? ?????? ???????? ?????????, ????????? ???15
????? ??????? ????? ??????? ? ???? ????? ????????? ??????????
????? ? ????????? ?????????? ? ??????? ???? ???, ???????? ?? ??,
??? ? ?????????? ????????????????? ????? ??????? ???? ??????
?????? ???. ??????????? ?? ???????? ??????, ?? ??????????
??????? ?? ????? ??????? ???????????? ? ?????????? ?????. ????????, ????????? ??????? ????? ????? ???????? ????????, ???????????? ????????? ??????????? ? ????????????. ??? ?????????? ??????????? ?????????? ?? ???????? ???????????? ?????, ? ????? ? ?????? ?????????? ?????? ?????????? ??????? ????.
??????????? ??????? ????? ??????????? ??? ????? ????????,
???????????, ??????????????? ? ????????????. ???????, ?????????????? ??????????? ??????, ????? ??????? ?? ??????????
???????????, ???????????? ???????????? ??????? (????????, ????????? ????), ???????? ??????? (???-???????? ???????????? ?????????? ? ???) ? ?????????? ???? ???????? (??????? ???????).
???????? ????????? ??, ????????????? ? 60?70-?� ??., ?????
?�???? ???????? ??? ?????????????. ?? ?????????????, ?? ???
? ?? ??????????????? ??????????? ????, ??????? ? ???????????????? ??????????? ??????? ?? ????? ????????? ?? ?????????
????????.
META-DENDRAL ????????? ?????????? ???????? ?????????
????????? ??????????? ?????????? ?? ????????????????? ?????? (????-?????????????, ?????? ???????? ?????????? ????????? ? ??.), ?????????????? ??????? ???????????? ?????? ???
DENDRAL, ?????????? ??????? ?????????? ?????????? ?????????? ????????.
MYCIN-EMYCIN-TEIREIAS-PUFF-NEOMYCIN ???????? ????????? ??????????? ?? ? ????????? ??????????? ??????? ??? ?? ??????????.
PROSPECTOR-KAS ??????? ?? ???? ?????????: PROSPECTOR
????????????? ??? ?????? (????????????) ????????????? ?? ?????? ????????????? ????????; KAS� ? ??????? ???????????? ??????
??? PROSPECTOR.
CASNET-EXPERT ???????? ??????????? ?? CASNET ??? ??????????? ?????? ???????????? ?? ??????? ??????? ???????????,
?? ?????? ??????? ?????????? ???? ????????? ?????? EXPERT.
HEARSAY-HEARSAY-2-HEARSAY-3-AGE. ?????? ??? ?? ????? ???? ???????? ????????? ???????????????? ??????? ????????????? ??????? ???????????? ????, ????? ??????? ??????? ?? ????????? ???????. ??? ??????? ?????????? ???????????? ??????????,
?????????? ?? ????????????? ????? ??????????� ?????????? ????
16
??????, ?????????? ??????? ?????????? ?????? ???????. ?�????????? ?? ?????? ???? ?????? ???? ??????? ???????????????? ??????? HEARSAY-3 ? AGE (Attempt to Generalize- ??????? ???????) ??? ?????????? ??.
??????? AM (Artifical Mathematician� ????????????? ?????????) ? EURISCO. ???? ??????????? ? ???????????? ????????????
??? ????????????????? ? ??????? ?????.
????? ??????????? ???????????? ?? ????? ???????? ?????????? ???????-???????? G2 ???????????? ????? Gensym ??? ???????????? ?? ??? ?????? ? ????????????? ?????????. ??????
?� ???????? ???????? ??????? (???) ? ?????? ????????? ??????
????? ?????????? ??? ??????? ???????? ? ????????????? ?????????????? ???????? ? ?????, ?? ??????? ?????????, ? ???????????? ? ????????? ?????? ?????. ?� ???? ??????? ?????????? ????????? ??????? ? ??????? ??????????? ? ??????? ?????????????
??????????? ????????.
? ???????? ??????? ????????????????? ??????? ??? ???????????? ????????? ????????????? ?????????????? ???? ????? ???????? ?????????? ?? ??????? ??????? ??????????? OMEGAMON
????? 獵andle� (IBM ? 2004�.).
????, ????????? ????????? ?????????? ?? ????????: ????????, ???????????, ?????????????? ???????, ????????, ??????????,
??????, ???????? ?????????, ??????????, ???????, ????????????? ? ?.�.
? ?????? ???????????? ? ?????????? ? ??????? ?? ???????? ?
??? ??????????????? ? ?????????? ??????-??????????? ????????.
??????? ? ?? ?? ?????? ????? ???????? ???????????? ??????????
? ??????? ? ? ??????? ????????? ?????????????? ?????, ?? ? ?????????????????? ???????? ?????? ?? ?? ?????????????. ????????, ??????????? ???????????? ? ????? ?????? ?????????? ??
????????? ??????? ????????? ???????????????? ?????????? ?
???????????? ????????????? ????????.
17
2. ????????? ? ????????????????
?????????? ??????
???????? ?? ????? ????? ??????? ?????????, ?????? ????????
?????, ????????????? ?????, ?????????? ???????????? ? ?????
????????????? ??, ????????? ???????????? ????? ???????? ????????? ??????????? ??.
?????????? ??????? ????? ??? ????????? ????????????? ? ???
????????? �????�, ??????????????? ????????? ????? ?????????????? ????????????? ? ??: ??????? ????????????, ????????
????????? ???????????? ??� ?????????? ????? ?????? ? ???, ? ???????? ??????? ??? ?????? ????????? ?????????? ??????; ?????????? ?????? ????????? ??????, ????????? ?? ????????? ? ??? ? ????????? ??????, ??????? ????????? ?? ? ??????? ?????????????????? ?????????? ?????????? ??, ? ??????, ?????????? ???????????? ??????.
2.1. ??????? ????????? ??
?????????? ????????? ?? ???????????? ?? ???.� 2.1. ???????
??????, ??? ???????? ?? ????? ????? ????? ??????? ?????????, ?????? ?????, ?????????? ?? ???????, ?????????? ???????????? ?
????? ????????????? ??, ????????? ????????????, ?? ????, ???????? ????????? ??????????? ??.
?????????? ??????? ????? ??? ????????? ????????????? ? ???
????????? �????�, ??????????????? ????????? ????? ?????????????? ????????????? ? ??:
1)� ??????? ???????????? (???????), ???????? ????????? ???????????? ??� ?????????? ????? ?????? ? ???, ? ???????? ???????
??? ?????? ????????? ?????????? ??????. ?????? ? ?? ?????????????? ????? ?????????? ?????????� ? ??????????? ?????????? ??.
?????????? ??? ???????? ????? ??????? ? ??� ?????? ?? ???????????? ???????????? ?? (?�????????????? ???????-???? (??? ??????? ?? ?????? ???? ??????? ??????? ?????????? ????? ????????????????? ????????? ?????????) ? ?????? ?? ?????? ??????????
????????? ????????);
2)�????????? ?????? ????????? ??????, ????????? ?? ????????? ? ??? ? ????????? ??????. ?�?????? ???? ?????? ?????? ?????????? ??, ?????????????? ? ??????? ?????????????????? ??18
蓐耧屦�
软驽礤�
珥囗栝
项朦珙忄蝈朦
软蝈痿彘�
镱朦珙忄蝈�
项漶桉蝈爨
镳桀狃弪屙�
珥囗栝
�
体踵龛珈
腩汨麇耜钽�
恹忸溧
聊
吾�耥屙桢 疱龛�
???.�1. ?????????? ????????? ??
???????? ?????????? ??� ?????????? ???????????? ??????, ??????? ????????? ???????? ???????????????? ???? ???????.
?????????? ??? ???????? ????? ??????? ? ??� ?????? ?? ???????????? ???????????? ?? (?�????????????? ???????-???? (???
??????? ?? ?????? ???? ??????? ??????? ?????????? ????? ????????????????? ????????? ?????????) ? ?????? ?? ?????? ?? ?????????? ????????? ????????).
2.2. ????????? ????????????
? ?????????? ???????????? ?????? ??
????????? ???????????? ? ??? ??????? ??????????? ? ?????????? ???????, ?????????????? ??? ????????? ???????????? ????????????? ?????????? ??? ??????? ?????, ??????? ????????? ? ????? ??? ???????????????? ???????????? ???? ??? ???????????, ????
? ?????????????? ?? ???????. ??? ???????????? ??????? ????????????????? ??????????, ??????? ?????? ?????????, ??????? ???????????? ??????????? ????????? ? ??????? ??????? ?????????
???????? ?????????????. ????????, ??? ??? ??????????? ?? ?????
????????? ?????? ???? ?????????????.
?????????? ???????????? ?????? ????????????? ??? ?????????? ? ?? ????? ?????? ? ??????????? ?????????. ?� ?? ??????
?????? ?????????? ??????? ? ????, ???????????? ?????????? ?????? ????????? ??? ??????? ? ???????? ??????. ?� ????? ???????
???????? ????????????? ??? ? ???????? ??? ???????? ????????
??? ?????????????? ?????? ?? ?????????????????? ? ?????????? ?????????.
19
2.3. ???? ?????? ??
???? ?????? ? ?????? ?????????? ??, ??? ????????????? ???
???????? ???????????? ??????, ??????????? ???????????????
?????????? ??????? (?�? ??????? ??????), ? ??????, ??????????? ?????????????? ?????????????? ?????? ???? ???????. ? ???????? ??? ?????????? ????? (???????????) ???????. ????? ??? ???????? ?? ? ????????? ??? ?????????? ????? ? ???????, ???????
?????????? ? ?? ?????? ? ??????????? ?????? ? ?????????. ?�?????? ?? ???? ????????? ????????? ?? ???? ??????� �?????????�
????? ??, ??????? ????? ??????????? ? ???????????????? ?????????? ?????? ????? ?????????????? (?� ????????? ???????? ? ?
???????? ????????????). ?????????? ????????? ???????? ????????????? ?????? ? ??, ?????? ????? ??? ???? ??? ???????? ??, ???
?????? ???????????? ? ?????????? ????? (????????????? ???????????? ????????????? ?????? ???????? ??????, ?????? ? ?????? ?????????? ?????????). ??? ?????, ? ?? ??????????? ???????
?????????? ??????? ???????????, ??????? ??????????? ? ???,
??? ??????? ??????????? ?????????????? ??? ??????????????????
?????????? ??????????????.
?????????? ???????????? ? ??????????? ??. ????????????
?? ?????????? ?? ????????. ?? ?????????? ??????? ? ?? ????????? ??????????. ????? ?????, ??????????? ? ??, ????????
??????????? ??????, ??????? ??????? ? ?????????? ?????? ?
????????? ??????. ?�? ? ?????????? ??????? ?????, ???????? ?� ???? ??????, ????????, ?.� ?. ?? ?????????? ? ???????? ??????? ??????. ?�??????? ? ???????????? ??????? ???????????
????�???? ??? ???????? ?????? ?? ??. ?�??????? ??????? ??????? ? ???????????? ??????? ????? ???????? ??, ??????????????? ??? ??????????? ?????????????? ????? ???????????????? ????????. ?�???? ?? ?? ??????? ???????????? ????? ????
???????? ???? ?? ??????, ??????? ????? ?????? ??? ???????
???????????? ?????-???? ??????. ????? ???????, ??????? ??????????? ?????????????? ???????? ????????? ? ??????? ??????,
??????????? ? ??????? ?????? ??. ????????? ??????, ? ????
???????, ???????? ? ????????????? ???????? ?? ?? ??????????,
?????????? ? ??????? ?????????? ??????. ??? ????? ?????
??????????? ???????? ??? ????, ????? ???????????? ?? ???????, ??????? ???? ???????? ?? ?????? ???????????? ?????????
??????.
20
2.4. ???? ?????? ? ???????? ??????????? ?????? ??
???? ?????? (??????? ??????) ????????????? ??? ???????? ???????? ? ????????????? ?????? ???????? ? ??????? ??????
??????.
?????? ?? ?????????? ???????? ??????????? ?????? (??????
??????, ????????????? ??????), ??????? ?????????? ??????????
?? ??, ?????????? ???????????? ?? ??????? ??????? ??????. ???? ????? ??? ????????????? ?????? ? ?? ???????????? ???????
????????? ? ????????????? ????. ????????, ?? ??????? ?? ??????
? ?????? (???? <???????> ?? <??????????>). ???? ?? ??????????,
??? ??????? ?????, ?? ??????? ?????????? ?????????? ??? ??????
???????????? ? ??? ??????????? ? ????????. ?????? ??????? ???????? ???????? ?????????? ??????? ??????? ? ???????? ?????????
????? ???????? ????????????.
???? ?? ? ??????? ????????? ???????? ????, ??????? ?????????? ??????? ???????????? (?.�. ? ?????????? ?????????? ??????
???????? ????, ????? ???? ???? ??? ??????? ? ??????? ?????????),
???? ???????????? ???? ???? (?.�. ?????????, ??? ??? ??????? ??????????, ?????????????, ??? ?????? ?????? ?????? ??????? ?? ???????? ??????). ??????? ??????????? ????? ???? ???? �???????� ??????? ? ?? ???????, ???? ??????????? ???????? ?? ??????? ?
?????????????. ?????? ??????? ???????????? ????? ?????????????????? ?????, ?? ?????? ?? ??????? ?? ???? ?????????? ?????????
???????, ??????? ??????????? ? ???????? ??????????? ????????
?????????. ???? ?????????????, ????? ???????? ???? ???????????? ??????? ???????????.
???? ?????? ?? ????? ?????????? ?????????? ???????. ?????????? ????? ????? ??????????? ??????? ?????????, ?? ???????
???????? ????????????????� ?????? ??????? ?????? ? ????????
??????? ??????. ?????? ??????? ??????� ?? ??????, ??????? ????????? ? ??????? ?????????, ? ??????????. ???? ????? ?????????? ??????? ?????, ?? ??? ????????? ? ??????? ?????????. ??????
????? ????? ???????? ???????, ??????????? ???????.
??? ??????????? ??????? ? ?? ? ?????? ??? ???? ???????:
???? ????? ?????? ?????
?? ????? ????? ? ????? ?????? (??????? 2)
??????????? ?????, ??? ????? �??? ??????? ??????� ? �??????? ??????� ??????? ? ??????? ?????????, ? ????? ???????
21
???????? ????? ?? ?????? ????????????: �???? ????? ? ????? ???????�. ??? ?????? ?????? ?????? ??????? ????? ????????? ????????? ???????.
??? 1. ??????????????? ??????? 1. ??? ??????? ???????, ???
??? ??? ???????? ?????????? ??????? ? ??????? ?????????. ????????? ??????? 1; ????????? ? ???????? ????????? ???? �????
?????? ?????�.
??? 2. ??????????????? ??????? 2. ??? ??????? ???????, ???
??? ??????????? ?? ??????? ??????? ? ??????? ?????????. ????????? ??????? 2; ????????? ? ???????? ????????? ???? �????
????? ? ????? ??????�. ??????? ??????????? ????????.
???????? ??????? ??????: ?????????? ??????????????? ?? ???
???, ???? ?? ????? ?????????? ? ??????? ?????? ??? ???????? ??
???????????? ?????, ?????????????? ???? ?? ???. ?�? ? ???????? ??????? ??????? ??????????? ????????? ????????, ? ????? ???????? ?????? ? ???????? ?????? ??? ?? ???????????? ?????, ???????? ?? ??? ? ??????, ? ???????? ????? ????? ??? ??, ???????
???????????? ??? ????????. ???? ??? ????????? ??????????, ??
?????????? ????????? ????????, ?????????????? ??????, ?????????? ?? ????????? ? ??? ????????. ????? ???????????? ?????,
?????????????? ?????????? ??????????? ????????. ????? ?????? ???? ?????????? ??????????? ??????. ???????? ????? ??????????? ? ??? ???????, ????? ???? ???????? ? ?? ???????????? ???????.
? ??????????????? ??????? ????? ???????? ??????????? �???? ????? ? ????? ??????� ???????? ???????? ??????????? ??????????? ????????? ???????.
??? 1. ??????????????? ??????? 1. ??? ?? ???????? ???? ? ?????? ?????. ????????? ? ??????? 2.
??? 2. ??????????????? ??????? 2. ??? ???????? ???? ? ??????
????? ???????. ????????? ? ?????? ????? ??????? ? ????????????? ? ???????? ??????? ???? ??????????? �???? ?????? ?????�.
??? 3. ??????? ???? ??? ? ??????? ?????????. ?????????? ??????? 1, ??????? ???????? ???? ? ?????? ?????. ??? ?????????? ???
??????? ??????? ? ??????? ?????????, ??? ??? ??????? ???????.
????????? ??????? 1; ? ?????????? ??????? ??????????? �????
?????? ?????� ??????? ???? ????? ?????????? ?????.
??? 4. ????????? ??????? 2, ???????? ???????? ???????? ?????? ???????????. ???????? ????? ????????? ???????????.
???????, ??? ??? ????????? ???????? ?? ????????????, ???
? ????? ??????? ????? �??? ??????? ??????� ? �??????? ????22
??� ??? ???????? ???????. ?? ????? ???? ??????? ???????? ?????????? ??? ???????? ?????, ????????? ? ??????? ?????????? ???????, ????????? ?? ???? ???????????? ? ??? ??????, ????? ??? ???????? ????????? ???????. ??????????? ?????? ??????????? ?????? ????? ??????? ? ?? ?????????? ?????? ???????, ?????????
? ???????????? ?????? ? ?????????? ???????. ?�????????, ?? ?????? ??????? ????? ????????? ???????????, ??? ?????? ??????? ??????????? ???????????, ??? ????????, ??? ?? ????? ????, ??????
??????, ?? ???. ????????????? ??? ??? ???? ????????? ?????? ??????? ?? ????????? ?????? ? ??????????? ??. ?� ???????????????
?? ???? ??????????? ?????? ?????, ? ?? ????? ??? ? ??????????? ?? ????? ??????????? ??????????? ???????? ?????. ?�???????? ?? ????? ???????????? ?? ??????????????? (???????????)
??????, ?????????????? ????? ????????? ????????? ? ?????????????????? ???????.
2.5. ?????????? ??????? ??
?????????????? ????????? ?? ?????????, ??? ??????? ???????? ??????? ?????? (??? ?????? ??? ?? ???????? ???????) ? ?????
?????? ??? ??? ???? ????????????, ??? ????????? ???????? ???????????? ? ???????? ??????? ???????????? ? ??????????? ??????????. ????????? ?? ??????????? ?? ???, ?? ? ??????? ??????????
?????????????? ??? ? ????, ???????? ??????????, ?.�. ? ????? ?
??????. ?????? ??? ???? ????? ??? ????????????????? ???????????????? ? ??????? ?? ????????????, ? ??? ????????? ???????? ???????? ??????? ?? ??. ??????????? ??????????? ?? ???????? ?????????? ??????????? ??????????? ?? ??, ?????????? ???????
????????? ???????????? ?????????? ??????? ???????, ???????????? ? ??. ????, ?? ??????? ??????? ?? ? ?? ?????? ???????????? ? ???????? ????? ??????????? ???? ????????? ???????:
???????: ?? ?????? ??????, ????? ?? ????? ? ????? ???????
????????????: ??.
???????: ????? ??, ??? ???? ??????? ???????
????????????: ??.
???????: ????? ??, ??? ???????? ???????
????????????: ??.
???????: (????? ?????????? �??????????�) ????? ????? ? ????? ??????.
??? ????? ?? ????? ???????, ? ???? ???????????? ?????????? ??????? ??????????? ???????, ? ???? ???????????? ? ?? ??23
?????? ??? ??, ??? ? ???????????? ? ????????-????????: ????????
??? ???????? ? ?? ????????? ?? ??????? ???????? ?????????? ??????????. ?????? ? ??????? ?? ?????? ?? ????????????, ?????? ?
?? ????? ???? ??????????????? ???????????: ??????????? ????????????? (?? ?????? ???????? ????????, ?????, ??? ??????????
????? ?????? ?? ???????????, ???????????? ??????? ? ??, ?????????? ????????? ? ???? ???????????? ? ??????) ??????? ??????
???????? �?????� ??, ??? ?????? �?????� ????????. ?????
?????????????? ? �?????????� ? �?????????????� ??, ???????????? ????? ?????????? ? ?? ?????????? ??????????.
?????????? ?????? ?????? ?????????? ??????????. ??? ????????? ?????????? ? ???????? ???????????? ???????????? ?????
�?????????? ??????????� ??????? ? ??? ??????, ????? ???????
?????? ????????? ??????, �??????????� ? ????? ???????, ??????
??? ??? ??????. ????? ???????, ?????? ?????? ?? ?????? ??, ???????????? ????? ?????? ?? ????????? ??????: ??????? (�?????
??????? ?????? ????? ???????�). ??????? ?????????????? ??????
�??????� ? �???????� ?? ???????? ?????? ??????, ??????????
?? ???? ?? ???? ???? ???? ? ?????? ???????, ??? ?????????? ???????? ??????? ?????? ???? ??????. ???????????? ???????? ?????????? ?? ???? ???????, ? ????????? ?????????? ??? ???????? ? ?????????? ??????? ??????? (??????? ????).
????? ? ????? ??????? ??????? ? ?? ???????????? ?????? ?????? ?? ?????? ???????: �???? ??, ??? ???????? ???????� ?????? ??
????????? ??????: �??????�. ?????????? ??????? ?????????? ?
?????????? ??????????, ??????? ?????? ???????????? ?????????
?????????:
[1.0] ??? ?????????? ??????????, ????? ??????????, ??? ?????
?????? ?????. ????? ???? ???????????, ???: [1.1] ???? ??????? ??????. ?????????????, ????: [1.2] ???????? ??????, ?? ????? ??????
????? (??????? 1).
??????? ?????? ? ?????????? ??????? ????? ?????????
?????. ??? ?????????? ?????? ???????????? ?????????? ?????????? ???????? ???? ?????? (????? ??????, ? ?????? ??????� 1, ???????? ?????? ?????? ??????), ?� ?????? ??????� ???????? ?????
???????????, ? ??????? ? ??? ???? ????. ???????????? ????? ???????????? ??????? ?????? ??? ?????? ?? ???????????, ?? ????????? ?? ????. ????????, ????? 1.1 ?????????? ??????????? �??? ??????? ??????�. ????????, ??? ???????????? ????? ??? ?????? ?????????? ?????? ??????????? ??????? ? ??????, ?????? ??
?????????? ??????????, ????? ?? ?????? ?????. ??? ????? ?? ??24
??? ???????? ?????? ?? ??????: �??????� (�????? ?????????? ??????????, ??? ????? ?????? ??????�). ?????? ????? ???????
?????????? ???????; ? ??? ???????????, ??? ??? ?????????? ???
?????????? ??????? 2 ? ????? ??????????, ??? ????? ????? ? ????? ??????: [2.0]. ??? ?????????? ??????????, ????? ??????????,
??? ????? ????? ? ????? ??????. ????: [2.1] ????? ?????? ?????, ??
????? ????? ? ????? ??????. (??????? 2).
??????????? [2.0] ???????? ???????? ??????? ????????????
???????. ????? ???????, ?????? ??? ??????????? ??????? ???????????? ????????? ???????. ?????? �??????� ????????? ?????????? ??? ??????????? ??????? ?? ??????? ? ???????????. ??????
??? ????? ?????????? ?????????? ???????? ?????? ?????? ???? ??
????? ??????????? ??????? ??? ? ? ??????????????? ???????� ??
?????????? ? ????????. ??? ????? ?????? ?????? ??????, ??????? ????? �???????� ?????????? ??????????:
??? N?
??? N ? ????? ???????????, ???????? ??????????? ??????????
?? ????? ?? ?????????? ????? ???????. ????????, ? ????? ?? ??????:
??? 2.0?
�?? ???????? ??????????? [2.0]?� ?????????? ?????????? ??????
?????????? ? ???????, ??????? ???? ????????? ??? ??? ?????????: [3.1]. ???????????? ??????? 2, ??????????? ???????? ????????, ??? ????? ????? ? ????? ??????. ????? ???????? ????? ????????? ?????????? ? ???, ??? ???? ???????????? ??????? 2, ???????
???????? ?????? ?????? �???�
??? 3.1?
�?? ???? ???????????? ??????? 2?�. ????? ???????: ????? ???????????, ???: [4.1] ????? ?????? ?????. ?????????????, ?????
????? ? ????? ??????. ??????? ??????, ??? ???????? ??????????? [4.1]:
??? 4.1?
????? ???????: [5.1] ???????????? ??????? 1, ??????????? ???????? ????????, ??? ????? ?????? ?????. ???????, ???????, ??? ???????????? ??????? 1:
??? 5.1?
????? ???????: ????? ???????????, ???: [6.1] ???? ??????? ??????.
???????? ??????. ?????????????, ????? ?????? ?????.
??? ???? ???????? ??????????? [6.1] ? [6.2] ???????????? ??????, ????????? ?? ??????? ?? ??????? ?? ???????????? ???? ???????????. ???? ??? ?? ?? ?????? ??????? ?????? ??? [6.1]? ??? ???
25
[6.2]?, ?? ??????? ???????? ??? ?? ????. ????????? ?????? ?????????? ???????????? ? ??????? MYCIN. ???????????? ?? ????????
??????????? ????????? ?????????? ?????? ???? ?????? ???????,
???????????� ??????? ???????? ? ?????? ??????. ??? ????????????� ? ?????????????? ????? ?????? ?????????? ????? ??????????
??????? ?????????????? ? ??????? ??????????, ? ????? ????
?? ?????????? ?? �???? ??????? ??????粻? ? ????? ?????? ???????? ?????? ? ??? ?????????? ? ??????. ???????? ?????? ??????????
?????? ???????? ?????????? ? ?? ? ??????? ????? ??????? ??????????? ??????.
2.6. ???????????????? ??
?????????? ??????? ???????? ? ???? ???????:
?? ???????????? ??????;
?? ??????? ??????, ?????????? ????? ??????? ????????????
??? ??????? ????????????? ??.
????? ???????????? ??????
? ?????? ???????????? ?????? ??????? ?? ???????????? ??????? ????? ?????????????? ???????? ?? ???????. ?� ???? ??????
???????, ????????? ????????? ???????????? ??????, ?????????
??????? ????????, ??????? ????????? ?? ? ?????? ??????? ?????????????? (??? ????????) ?????? ?????? ?? ?????????? ???????.
??????? ????????? ?????????? ??????? ? ???? ???????????? ?????? ? ??????. ?????? ?????????? ???????, ?? ?????????????? ?
????????, ???????????? ? ??????? ??????????. ??????? ?????????? ??????? ??????????????? ? ???????, ??????????? ??? ??????????????? ???????. ?????? ???????????? ?????? ? ???????????? ??????? ? ?????????? ???????? ????????????? ????? ??????????????, ???????????????? ? ???????, ??????????? ?????????????. ????? ???????, ? ??????? ?? ????????????? ??????? ? ??????
?? ?????????? ???????? ???????????? ?? ???????????, ? ???????
(? ??????? ??), ?? ????????? ?????????????????.
????? ????????????
? ?????? ???????????? ??????? ? ?? ???????????? ????????
????????????, ???????? ?????????? ????????? ? (???) ?????? ??? ?????????. ?????????? ????????, ??? ? ??????????? ?? ??????????
26
?? ???????????? ????? ?? ???? ???????????? ? ?????? ??????????
??????? (?�??? ?????? ?? ?????????? ? ?? ?? ???????????, ?? ????
???????? ??? ???) ??? ???? ???????????? (?�??? ?????? ???????????? ????? ??? ???????? ?????????, ?? ?? ?????????? ? ?? ? ?????
???? ???????? ??????? ????????? ??????????, ???? ????????? ??
?? ??? ???????? ??????). ?�????? ???????????? ?????? ? ??????
????? ????????? ???????????? ????????? ? ??????? ?????? (?????
???????? ????????????? ?????? ???????? ? ??????? ?????? ??????). ?? ?????? ??????? ?????? ?? ??????? ??????, ????? ?????? ? ?????????? ??????? ? ?????? ???? ?????? ? ??????? ????????? ??????????? ?????? ??????????? ??????? ??????. ?????????? ??????? ??? ??????? ?????? ?? ?????? ????????? ???????????? ?????????????????? ????????, ?? ? ?????????????? ?????�
???? ??.
27
3. ????????????? ???????
?????????? ?????????? ??????
????????, ??? ?? ????? ?????, ??????????? ??????????????
??????????, ??? ?? ?? ?????????? ?????? ? ?????????? ???????
�?????� ? �?????�, ? ??????? ? ?????? ????????????? ??????
?�????????? ???.
???? ? ??????????? ??????? ?????? ??????????????? ??? ????????? ??????????? ????????????? ???????????????? ? ????????
????????, ?? ??? ????????????? ?????? ? ??????? ???????????? ???????????????? ??????? ????? ??????????, ??? ?? ???????????
???? ??? ????????????? ??????????? ??????? �?????� ? ???????
?????????????? ??????. ????????? ?????? ????????, ????????????? ??????? ? ?????????, ?? ??? ????????? ? ??????????????,
??????? ? ?????????????? ? ??????????? ? ?????????????? ????????. ?????? ??? ???? ????????????????? ?????????? ????????
??????� ???????????? ? ????????????? ??????.
??????????? ???????????? ??????? ????????????? ??????
?� ?? ????? ???? ??????? ? ????????????? ???????, ????????????? ?????, ?????????? ?????????? ??????? ? ???????.
3.1. ???????? ????????????? ?????? ? ?????????? ???????
?????? ? ??? ?????????? ?????????????? ??? (????????, ?????, ??????), ??????????? ?????? ?????? ? ???? ???????. ??????,
?????????????? ? ???????????????? ?????????????? ???????, ???????? ??.
??????? ?????? ? ????????????? ???????????????? ????????
??????? ?????????? ??? ??????????????????? ????????????? (??????) ????????? ??????? ??????????? ???? (??? ??????????? ???????), ?????????? ?????????? ???????????? ???????? ??????.
??? ???? ?????? ???????? ???? ?? ?????????? ?????????????
?� ???????? ???????? ? ???????? ?? ????? ????????????? ??????
?�???? ? ?? ?? ????????? ????????? ??????????.
?????? ? ??? ?????????? ?????????????? ??? (????????, ?????, ??????), ??????????? ?????? ?????? ? ???? ???????. ??????,
?????????????? ? ???????????????? ?????????????? ???????, ???????? ??.
????????????? ?????? ? ??? ?????????? ? ???, ??? ?????????
???????? ???. ?�??????????? ? ??????????? ?????? ?????? ????????? ???????????? ?????? ????????????? ??????. ?? ?? ???28
????? ???????? ??????? ? ????????? ????? ????. ?? ??? ???? ???????????? ????? ???????????? ??????? ? ?????????, ????? ??????? ??? ????????. ????? ??????????????? ???????????? ?????
???????????????? (???? ????? ???????????????) ??????? ??????
? ?????????? ?????????????? ???????. ???????? ???? ????????????? ??????� ? ??????? ?????????????? ?????? ????????? ????
? ??? ??????, ??? ??????? ???????????? ????? ???????? ???????
??????????? ?????? ????? ???? ??????????? ?? ?????? ??????????
???? ?????????? ?????? ? ???? ??????? ??? ??????????????? ????????? ? ???????????? ?????????????? ???????????? ????????????. ????????????? ?????? ?????? ??????????? ? ?????? ???
??? ???? ??????? ????????????? ??????.
???????? ????????????? ?????? ???????? ????????, ??????????? ????????? ?????? ? ??? ? ??????? ????? ????????????? ?????? (???), ???????????? ???????? ?????? ? ??????? (??????????,
??????, ????????? ? ??????????? ??????????????????? ??????),
???????? ????? ?????? ? ?????????? ?? ? ??????????, ????????
????? ?????? ?? ?????????, ???????? ????????? ??????, ????????? ?????????? ??????, ???????????? ????????? ????? ????????????? ? ????????.
?????? ? ??? ????????? ?????, ??????????????? ???????,
???????? ? ??????? ? ?????????? ???????, ? ????? ?? ????????.
? ??????? ?? ?????? ???????, ???????????? ? ?????????????? ????????, ??????????? ????? ???????? ??? ??????????????????, ???????????????????, ?????????, ??????? ???????????
???????, ??????????, ?????????????? ???????????.
?????????? ??????????????????
?????? ?????????????? ??????? (??) ?????? ????? ?????????? ???, ?? ???????? ??????? ??????? ??, ? ????? ???????? ?? ???????, ? ??????? ??? ??? ?????????. ????? ??????, ??????????
? ??????, ???? ?????? ????, ?? ????????????? ??????????? ??
????????????? ????????. ?????? ????? ???????????????? ????
?????????, ??????????? ?? ?? ?????? ?? ???????? ????????????, ??????????? ?????????. ??? ?????????? ?? ??? ??? ???? ???????? ????? ????????? ?????, ??????? ???? ??????????.
?????????????????? ???????????? ??????????? ???????????
?????????? ?????? ??? ?? ?????????? ????????? ????????, ???
???? ????????????? ??????? ????????????? ?????????? ?????
????? ?????????????? ???????? ? ???????? ????????????? ?????29
?? ????????????? ?????????????. ?�??? ??????? ????? ?????????????, ????????, ??????? ?? ???????? ?????? ??????????????
??????? ? ??????????? ???????, ????????????? ? ????? ?????????? ?????????????? ???????.
???????????????????
??????????????????? ?????? ?????????? ? ??????????? ???????????? ??? ?? ???????????? ?????????? ??? ????????? ?????????????? ?????? (????????) ? ??????????? ??????? ????? ?????????????? ???????? ? ???????????? ? ?????????????? ? ??????????????? ?????????? ???????. ?????????????? ??????? (??)
?????? ???? ???????? ?????? ??????????. ??? ?? ?????? ??????????? �?????? ?????????, ?.� ?. ??????????? ??????????? ????? ?? ? ??????. ?????? ?? ????? ???? ???????? ? ?????? ?????
??????, ? ?? ?????? ?? ????? ???????? ????????? ?? ????????????. ??????? ???????, ?????? ???????????? ??????????? ????????????? ???????????? ????? ?????????? ?? ????????? ????
�????� ?????�, �??� ???� ??? �??????� ?????�.
?????????
????????? ?????????? ??????? ????? ????????? ??? ????????????? ?????????, ??????? ????? ???? ??????? ? ?????? ????????????? ??????. ?�????????????? ???? ????? ?? ?????? ????
????????????? ??????????? ???????????? ?????? ?????????? ????.
?????? ????? ??? ????? ????? ??????????????? ????????? ?????
??. ????????: ??? ??? ????? ?? ????? ???? ??????? ??????????
�???????????�, ??? ??� ?????????? �??????� ?????????� ???
?????????? �??? ?????�. ??????????? ????????? ????????????? ????????????? ??????. ???? ????? ????? ?? ??????????? ????????? �???????� ???????�, ?? ?? ????????????? ???????????
??????, ????????? ? ??????????? ???????????? ???????. ?????????? ????????? ??????????????, ?????????????? ?????????,
?????????? ????????? ? ????????????? ?????????. ?� ???????
?????? ???????? ???????? ??, ?????? ????? ??????????? ??????????, ??????????? ????????? (????????) ???? ?? ????? ??????,
?????? ?????? ????????-???????????? ?????, ????????? ????????????? ???? ????????? ??????????.
????????????? ??? ??????????? ?????? ????????? ?????? ????? ?????? ????????????? ??????, ??????? ????? ??????? ?????30
???????? ?????, ?????????????? ????? ????????????? ????, ? ???????? ??????? ????????? ??.
????????????? ???????
????????????? ??????? (??????? ??????????? ???????) ????????? ????????? ?????? ????????????? ???????? ? ???????? ?????????????? ????????. ?? ????????? ?? ? ????????? ???????
??????? ???????? ?????????, ??????????????? ??????????????
???????? ??, ?.�. ???? ????????????? ????? ????? ??. ??? ?????
???? ?? ??????? ?????????? ????????????? ??? ??. ????? ????????? ???? ??????????? ???????? ? ?????????????? ???? ?????????
??????? ???????? (???????? �?????? ? ????????�, �???????????? ???????? ?? ???????????�). ????????? ????????????? ??? ?????? ? ?? ????????? ???????? ?????? ??????? ? ??? ?????????.
??????????
?????????? ? ??? ????????????? ??????????? ??????, ??????????
?? ???????, ? ???????????????, ? ????????????. ????????? ??????
????? ?? ?????? ??????????? ????????? ??????????, ?? ? ?????????????? ??????????, ??????????? ? ???????? ?????????, ?????????? ? ?????? ??????????? ????????????? ?????????????? ??????????????. ?�?????? ????????? ??? ? ?????????? ???????????? ?
??? ?? ?? ?????? ? ??????? ????????? ????????, ??? ??????? ??????
????????, ? ??????? ???????. ??? ????????, ??????????? ? ???,
???????????? ?????????, ? ?????? ???????????? ????? ?????????
???? ? ?????? ?????????????. ??? ??? ??? ???????? ???????????.
??? ? ? ????????, ? ??? ???????????? ??? ??? ???? ???????? ???????????? ??????, ????????? ? ???????. ????? ???????, ??????????
???????? ? ??? ?????? ?????????????? ??????? ?????????? ?????????????? ????. ????????? ? ???? ?????? ??? ???????? ???????,
???????????? ?????? ????? ????? ?????????? ?????????? ???????.
?????????????? ???????????
?????????????? ??????????? ???????? ?????????????????,
????????????????? ? ???????????? ?????? ? ??????????? ??????,
????????? ? ?? ?????????? ??????????? ? ???????????? ????????????. ??????????? ????????? ?? ????????????? ????????? ?????????? ???????????? ??????? ????????????? ????????????????
31
?????? ? ?? ??????????????? ?????????? ?? ?????????, ??????
?????? ?? ??????? ?????????? ?????.
? ???? ???????????? ???????????? ?? ???? ??????, ???????
?????? ???? ???????????? ? ???????????????? ????????:
?? ?????????, ?????, ????????, ??????? ? ????????? ????????? ????????;
?? ????????? ????????? ????? ????????? ? ????????? ???????, ??????????? ??????? ????? ???? ???????;
?? ?????????? ??????;
?? ????????? ??????? ???????? ? ?????????, ??????? ? ??????? ????????????? ??????? ? ?????????;
?? ????????? ?????????, ????, ?????, ?????????? ? ?.�.
??????? ????????, ??? ???????? ???? ?????? ??????? ? ? ?????????? ?? ???????????? ???? ????????? ?? ?????????????
???????? ??????. ??? ???? ???????????????? ?????? ??????????
????? ????????, ? ??????:
?? ???????????? ????? ?????? ? ?? ?????????????? ? ????????????? ????????;
?? ??????????? ?????? ?????????????? ?????????? ??????? ?
??????? ??????????? ???????? ? ??????? ? ?????????? ???????;
?? ??????????????? ?????????? ????????????? ???????????;
?? ?????? ????????? ?????????????? ? ???????????? ????????????? ??????.
?????? ??????? ???????????????? ??? ????????????? ? ?????????, ????????????? ? ???????????.
????????????? ?????? ? ??? ?????? ?? ????????? ????????????
? ?????????? ????? ????????? ? ????????? ? ?????????? ???????. ?�?????? ?? ??? ????????? ?????? ?????????? ? ???????????, ???????, ?????????, ???????????? ????????? ? ??????? ?????????, ???????????? ? ??? ???????. ????????? ?????? ?????
???? ???????????? ??? ???????????? ????????? ????????.
????????????? ?????? ????????????? ?????? ???????? ???????? (?????????????) ????????? ?????? ? ???????? ??????, ??????????? ?? ?????????? ?????? ? ??????????? ??????????? ?? ??
??????????. ??? ????????? ????????? ?????????????? ? ????????????? ??????? ???????? ?????? ? ???????? ?????? ?????????????
??????. ??????????? ?????? ???????? ?????? ? ???????????????
??? ??????????? ?????????????, ???? ????????? ???????????
???????? ? ??? ??? ???? ?????????. ??? ???? ?? ??????????? ????????? ??? ????????? ????????? ????? ??? ???????, ? ??????????
??????? ???? ????????? ????????? ? ?????????, ????????????
32
??????????? ???????? ???????? ? ????????. ?� ???? ??????? ????????????? ???????? ???????????? ??? ??????????????? ????????????? ? ???????? ??? ??????, ??? ???????? ????????????? ?????? ???????.
??? ????????? ????????????? ????????? ?????? ? ??????????? ??????? ???????????? ?????? ? ??????????, ??????? ???????
? ???, ????? ??????? ???????????? ??????????? ?????? ??? ??????? ?????????? ?????.
????????????? ??????????? ??????? ???????? ??????? ????????????? ?????????? ??????, ??????? ????????????? ????, ??
??? ??????????? ?? ??????? ???????? ????????????? ???????.
??????????? ?? ???????? ? ???????? ? ?????????????? ????????. ??? ??????? ? ???, ??? ?? ?????? ?????? ??? ?????????? ???????, ??????????? ???????? ? ?????????? ????????.
??????????? ???????????? ??????? ????????????? ?????? ?
?? ????? ???? ??????? ? ????????? ???????:
?? ????????????? ??????;
?? ????????????? ????;
?? ?????????? ?????????? ??????;
?? ??????.
3.2. ????????????? ??????
????????????? ?????? ?????????? ????? ? ?????? ???????????? ? ???????????????? ???????? ?????? ? ? ?? ? ?????????. ????????? ????? ????????????? ??? ????????? ????
a1 a2 ?an
,
z
??? ?1, ?2 ? ?n ? ??????? (???????) ?????????; z� ?????????? (????????). ?�???????? ????? ????????????? ??????? ?????????????? ? ???? ??????????? ????: �??? (???????), ?? (????????)�. ???
????????, ?????????? ????? ?????????????, ?????????? ???????????? ???????, ????????? ? ???? ?????? ??? ??????? ??????
???????????????? ??????, ? ??? ????????????� ????????, ??????????? ??? ???????? ?????????? ??????? ?????????.
????????????? ??????? ????? ?????????? ??? ????????? ????
SP = (A, V, P),
??? ? ? ??????? ????????? ?????; V� ??????? ??????????; ?� ?????????? ????????? ?????????.
33
?????????? ????????????? ????????????? ?????? ?????????? ?.�.�???????, ??????? ?????????? ?? ??? ???????????? ?? K
? �???????????� ??????? R (??????? ??????????? ??????). ??????? R ???????????? ??????????? ? ?? K ? ??????? ????? W.
?????????? ???? ????????? ? ????? ????.�1.
??????? ? ?????????? ????? ????????????? ??????? ?????
????? ???
?, ?, ? ? ?, Q,
??? ? ? ? ? ???? ?????????; ? ? ??????? ????????????; ?� ??????????? ????????????, ??????????????? ????? ?????????? ??????? ??; Q� ??????????? ?????????, ???????????? ?? ?????????,
??????? 3.1. ????????????? ????????????? ?????? ?? ?.�.�????????
???
?????????
?????????????? ????????
AW ? BR
??????????, ??????????? ?? ???????? ????, ????????
? ????????? ???? ??????????? ? R
AW ? BK
?????????? ?? ???????? ???? ???????????? ? ???? ??????
AK ? BW
?????????? ?? ???? ?????? ?????????? ?? ??????? ???
AR ? BK
??????????, ?????????? ???????????? ????????, ?????????? ?? ???????? ? ???? ??????
AK ? BR
??????????? ??? ??????????? ?????????? ??????????
?? ???? ?????? ? ?????????? ? R
AW ? BW
????????? ????????????????? ???????. ?W ????????? ????????? ??????????? ???????? ? W ??? ??????????? W ??
R. BW ????????? ????????, ??????? ????????? ?? ??????? ?
W. ???????????? ??????? ?? ???????? ???????????, ? ????
??????????? ?????????? ?? ?W ? BW ?????????
AR ? BW
?????????? ??????????? ?? W, ??????? ????????? ??? ????????? ?????? R
AR ? BR
?????????? ????????? R, ????????? ????????????? ????
????????? ?????? ? ?? ?????? ??????????????? ?? ???? ?????? ? ????????? W
AK ? BK
????????? ?????????????? ?????? ? ???? ??????: ????????? ??????, ????????? ????? ?????? ?? ????? ?????????,
???????????? ???????????????
34
??????? ?????????? ?????? ? ?? ? ? ??????? ????????? ????? ?????????? ?????? ?????????.
????????????? ?????? ???????? ??????? ? ?????????? ???????? ????????? ????????????? ??????, ?????? ??????????????
??????????????, ??? ????? ????? ??? ?????????? ??.
????????? ???????? ????????????? ??????? ????????:
?? ?? (????????????????? ??? ???????????????????);
?? ????? ????????????? ??????;
?? ?????????????, ?????????????? ?????????.
?? ???? ?????? ?????? ????????? ??????? ????? ? ?????????
???. ?� ?????????? ?????????? ????????? ????? ??????????????
?????????, ??????? ????????????? ???????????? ??????????
??, ?????????? ????? ?????, ? ???????? ????? ???? ??????? ????? ?????????.
???????? ????????? ????? ??????? ????????? ?????????:
???? ?????? ???????? ?? ????? ????? ????? ???? ???,
?? ?????? ????? ?????????? ??????.
??? ???????, ??? ? ???????? ??????? ????? ????????? ?????????
?????????, ???????????? ??????????? ???????? ?, ???, ??:
???? ?????? ????? ?????????? ??????
? ??????? ????? 18 ???
? ?????? ?? ????? ?????????? ????????????,
?? ?????? ????? ???????????? ?? ????????? ???????.
?????? ????????????? ?????? ?? ?????? ???????? ? ???????
?????, ??????????? ? ??????? ????? ????????? ???????????? ???
????????? ? ???????? ?????? ??????? ??????. ????? ????????
???????? ????????????? ???? �????? ???????? ?? ????? ?????
????? ???? ???�. ?�???? ? ???????? ????????????? ?????? ??????? ?????? ?????-???? ???? ??????????? ? ?????? ??????? ????,
?? ??????????? ????????, ???????????? ?????? ?? ????? ???????.
????? ?????, ??????????? ? ?? ? ?????????? ????????, ????????? ? ????????, ????? ????? ???? ???????????? ??? ????????????? ? ??????? ???? ?????? ??????. ???????????????? ????????????? ?????? ?????? ???? ? ??????? ????????? ??????? ??????.
??????? ??????, ?????????? ? ?????????? ????????????????? ?????????? ?????? ?1 ? ?2, ???????? ?? ???.� 3.1. ??? ??????? ??????????, ??? ?? ????????? ?????? ? ???????? ?????? ???????35
孰桢眚 疣犷蜞弪 磬 钿眍�
戾耱� 犷脲� 溻篚 脲�
叛巳 觌桢眚 疣犷蜞弪 磬
钿眍� 戾耱� 犷脲� 溻篚 脲�,
椅 觌桢眚 桁邋� 镱耱�眄簋 疣犷蝮
孰桢眚 桁邋�
镱耱�眄簋 疣犷蝮
脏牝
孰桢眚� 犷脲� 18 脲�
孰桢眚 团 桁邋�
翳磬眈钼 钺�玎蝈朦耱�
叛巳 觌桢眚 桁邋� 镱耱�眄簋
疣犷蝮
� 觌桢眚� 犷脲� 18 脲�
� 觌桢眚 团 桁邋� 翳磬眈钼
钺�玎蝈朦耱�,
椅 觌桢眚 祛驽� 镳弪屙漕忄螯 磬
镱塍麇龛� 牮邃栩�
橡噔桦�
青觌屙桢
腻轳蜮桢
杨镱耱噔脲龛�
孰桢眚 祛驽�
镳弪屙漕忄螯 磬
镱塍麇龛� 牮邃栩�
???.�1. ?????? ??????? ??????
?? ?????????? ? ??????????? ????????? ???????. ??????? ??????
?? ????? ???? ??????????? ???????????? ? ???????? ??????, ???
???? ???????? ???????.
????????????? ?????? ? ???? ????????? ???????? ?????????????? ? ??, ??? ??? ?????? ?????? ?????????? ??????? ?? ???????????? ??.
????????????? ?????? ???? ????? ??????????? ? ???????????? ??, ??????? ???????? ??????????????. ??? ?????????? ????????????? ????? ????????????, ??????? ????????????, ????????? ???????? ?????????? ? ????????? ? ????????? ????????? ??????????? ??????.
???????????? ????????????? ?? ???????? ??????????? ???????????, ??????? ?????? ????? ??????????? ? ????????? ??? ????????????? ??????????? ???????? ????????. ?� ????????????
???? ????? ??????? ?? ???????? ???????? ? ??????????, ??? ??????? ????????????? ??????, ??? ??? ????????? ????????? ???????
????????? ???? ?????????.
??????? ??? ??????? ???????? �????????????? ??????� ??????????? ?????? ???????????? ????????????????? ?? ? ??????? ?
??????????. ???? ? ?????? ????? ????????????? ??????? ?????????? ????????? ??????, ??????? ??????? ??????????, ?? ??????????? ??????? ?????????? ? ??????? ????????????? ?????????
36
?????????? ??????????. ???????? ????? ????????????? ???????
???????? ?????????????????? ?????????? ????????? ? ???????
??????????? ????????, ???????????? ??????????????? ????????? ? ?????? ??????.
?????????? ??????????? ?????????? ???????????????? ??????????? ???????, ??????????? ????????? ????????????? ??
(OPS5, ????, ?????).
??? ????????? ?????????????? ????????????? ?? ??????????? ?????? ????????????? ?????????? ? ????????????? ?????????? ????????????? ??????, ??????????? ????????? ????????????? ?????????? ? ??????? ???.
3.3. ????????????? ????
????????????? ???? (????) ?????????? ??? ????? ?????????
??????? ???????????? ??????? ????????????? ??????, ???????
????? ????? ?????? ?????????? ????????. ?????????? ?????????
?????? ? ???, ????? ?????????????? ? ????????????? ??????????? ?????? ??? ????? ??????????????.
?????????? ???? ???? ???????? ??? ?????? ????????????
????????? ?????????????? ?????? ? ??????????, ?? ????????????
????? ????? ?? ???????? ???????? ????????????? ?????? ? ????????? ??????.
? ?????? ??????? ??????? ????????????? ?????? ????? ????
? ???, ??? ????? ?????? ????? ??????????? ? ???? ????????????
???????? (???????) ? ?????? (?????????) ????? ????. ?�??????
?? ????????????? ??? ?????? ????? ????????, ????????? ?????
?????? ????? ??????????? ? ???? ???????????????? (?????????????) ?????, ??????? ????????� ? ???????, ? ????� ? ?????????
????? ????.
????????? ?????? ????????? ??????????? ??? ??????????
???????, ? ?????????� ? ??? ????? ????: �??� (玦s�), �???? ??????� (玥as part�), �??????????�, �????� ? ?.�. ???????????
???????????? ????????????? ????? ???????? ???????????? ???????
???? ????? ?????????: ?????� ? ??????? ??????; ????????� ? ????????; ?????? ???????? ??????.
? ???????? ??????? ?? ???.�2 ???????? ??????? ???? ??? ????????????? ??????? �?????�.
???????? ????? ? ???? ???????????? ????????? ?????????:
?? ????? ???? �???? ? ?????� (�????� ? ????????�, �??????� ?
?????????� ? ?.�.);
37
孰囫�
桌赏仁
砚铋耱忸
橡桁屦
澎觐耱�
体蜞腚梓羼觇�
体蜞腚梓羼觇�,
羿痿铕钼, � 眍耔觐�
???.�2. ????????????? ???? ??? ?????????????
??????? �?????�
?? ?????????????? ????? (???????????? ?????? ?????????
�?????????�, �?????�);
?? ?????????????? ????? (??????, ??????, ??????);
?? ???????????????? ????? (?????? ??, ?????? ??, ??, ???, ????);
?? ????????? ????? (??????, ?????, ? ????????);
?? a??????????? ????? (????? ????????, ????? ?????????);
?? ?????????? ????? (?, ???, ??) ? ??.
????? ?????? ????????? ????????????? ????????????? ?????.
????????, ?? ?????????? ????? ?????????:
?? ?????????? (? ???????????? ????? ?????????);
?? ???????????? (? ?????????? ?????? ?????????).
?? ????? ?????????:
?? ???????? (? ??????? ????????? ????????? ??? ???????);
?? ??????? (? ??????? ???? ??????????? ?????????, ??????????? ????? ???? ???????).
???????? ?????? ??????? ? ???? ?????? ???? ???? ???????? ?
?????? ?????? ????????? ????, ???????????????? ????????? ???????, ??????????????? ????????????? ???????. ????????? ???? ?????? ???????? ? ??????? ???????? ?????? ??????. ??????? ????? ???????? ???? ??????????????? ????????? ?????? (??????????????,
?????????????? ? ??????????????) ? ???????? ?????? ?? ????. ???,
????????, ????? ???? �?? ????� ??? �???? ??????� ???????????, ??? ????????? ???????? ?? ???????????? ? ??????? ???? ?????
??????? ???????? ???????????? ? ????. ??? ????????, ??? ????????
????? ??????? ?????? ? ???? ????? ??????????? ???????? ?????????
????? ???????? ?????? ? ????.
???????? ??????? ????????????? ???? ???????? ???????? ??????? ?????????? ? ???? ????????? ? ??? ??????? (???.� 3.3). ??
???? ???? ???????????? ????????? ??????? ???????: �?????????
38
族腩忮�
蒡�
羼螯
骂滂蝈朦
体瘃邃羼
褥邋�
肉囗钼
蒡� 羼螯
语疣怆�弪
褥邋�
鬣耱
拟桡囹咫�
褥邋� 鬣耱
羊囵蝈�
洛珏�
棱蝾祛徼朦
蒡�
羼螯
相耨噫桊
项蝠遽�弪
铃礴桧
砚铋耱忸
蒡� 羼螯
翌镫桠�
侮蜞眍忸�
麒耠�
琼圜屙桢
黎-98
???.�3. ?????? ?????????? ????????????? ????
????? ?????? ?????????�, �???????? ????? ?????? ???????�. ?�??? ?????????????? ????????? �???? ??????� ????? ??????? ????????? ??????????? �????????? ????? ?????? ???????�. ?????????? ????? ??????? ?????? ????????? ?????, ??? �????? ???????? ???????????� ???, ??? �??????? ????? ?????? ????????? ? ?????????? ???????�.
???????? ???????????? ???? ??????� ? ? ???????????? ??????????? ?????????????? ?? ??????????? ?????????????? ??????
????????. ?????????? ??????� ????????? ?????? ?????? ?? ????????????? ????.
????? ??? ???? ???? ???????? ????????????? ???????????
?????????????, ??????? ????? ???? ???????????? ??? ??? ????????????? ?????? ??? ??? ????????? ?????????????????? ??????, ?????????????? ????? ?? ???????. ????????? ?????? ???????? ? ???????????? ??????? ?????????????, ?? ?????? ????????
????????? ????????????? ??????????? ?????????.
?????? ?????????????? ?????????? ????????? ???????? ????????? ???? ????????????? ?????.
1.????? ??????????? ???????? ?????? ??? 玦s-?� ?????????
????? ?????????????? ????? ? ????? ???????????? ????????.
?????????????? ????, ?????????? ????? ?????????? ??? ?????????????? ?????????, ????? ???????????? ??????? ????????????
??? ?????????? ???????, ???????????? ??? ????????? ?? ????????? ?? ???? ??? ????????.
39
2.????? ?????????? ?????????, ? ??????? ? ??????? ?? ?????
??????????? ?????????? ?????????????? ????????, ???? ?? ??????????? ??????????? ?????????? ???????????. ?????????
?????????? ???? ????? ??????? ???????? ?????????????? ????????, ??????? ? ?????? ????????? ???????????? ??????.
3.??????????????? ???? ?????????? ?????????? ??? ????????? ????????? ??? ??????????? ?????. ??? ????? ??????????????
??? ????????????? ??????? ?????????, ??????????? ??? ???????.
4.???????????? ???? ???????? ????????? ????????, ????? ???
???????? ??????? ??? ??????????? ?????????, ??????? ????? ??????????????? ???????, ???????? ????????? ? ??????????? ?????????? ????????? ????????, ????????? ? ????????? ???????????.
5.?????????? ???? ?????? ??? ????????? ???? ?????????????, ???????? ?????? ?? ????????. ????? ?????? ????? ????????
?????? ????, ???????? ??? ?????? ???? ? ???? ??? ??????????? ???????? ????????, ?????????? ??????, ????????? ? ??????
??? ??????.
6.?????????? ???? ??????????? ??? ??? ????? ???? ?????????
?????, ???? ? ????? ????, ???? ? ??????????, ?? ????????????????? ????? ????? ?????.
???? ???????????
????????? ????????? ????????????? ???? ???? ?????????? ?
III�??? ?.�. ????????? ????????? ????????? ? ??? ??????????? ?
??????????????? ??????????. ???????? ??????????? ????, ?????
????????????????? ??????????????? ????? ??????????? ?????????, ???????????? 玤enus� ??? ????? ??? ? 玠ifferential�, ??????? ????????? ????????? ??????? ?????????? ?????????. ??????
?????????? ???? ???? ???????????? ??? ??????????? ?????????????? ????? ? ???????? ????????? ??? ?????? ???????? ??????????. ??????? ??????? (Silvio Ceccato, 1961) ?????????? ?????????????? ???? (correlation nets), ??????? ???? ???????? ?? 56 ????????? ??????????, ??????? ??????, ?????????, ?????� ? ?????,
????????? ?????????, ??????????? ????????? ? ????????? ????
?????????. ?? ??????????? ?????????? ??? ?????? ??? ?????????? ?????????????? ???????????? ? ??????????? ??????????????
????????????????. ??????? ?.� ????????? (Margaret Masterman)
?? ????????????? ???????????? ???? ??????? ??????? ????????????? ?????. ??? ??????????? ?????? ?? 100 ??????????? ?????????????? ????? ? ? ???????? ???? ?????????? ?????????? ??????40
???????? ??????? ? 15*103 ??????? ? ???????????? ?????????????? ???? ? ???????, ??????? ???????????? ???????????? ?? ????????????? ??????????. ??????? ???????? ? ???? ?????? ??????????? ???????? �?????� ? ????? ??????? ???????? ????????
???????????? (preference semantics).
???? ??????????? ???????????? ??????????????? ????????
(description logics), ??????? ???????? ?????? ???????? ? ?????????? ????????? ??????????. ??? ??????????? ?? ???????, ????????????? ?????? (Woods) ? ?????????????? ????????? (Brachman) ? ??????? Knowledge Language One (KL-ONE).
KL-ONE ? ?????? ?????? ?????????????? ????? ???????? ?????????????? ???????????? ?????? ??????? ???????. ??? ??????????? ? ?????? ?????????? ?????, ? ??????? ????? ??????????
????????? ??????????? ????? ????????? ??????, ? ?????? ?????????? ????? ???? ??????? ??? ??????????????. ????????? ?????? ?????????????? ????? ???????????? ???????????? ?????,
? ??????? ??????? ?? ????????? (default rules) ????????? ?????????????? ??????????, ? ??????????? ??????? (canceling rules)
????????? ?????????????? ??????????. ????? ??????? ?????
???? ???????????? ??? ?????? ??????????, ?? ??? ????? ????????? ???????? ????????????? ??????????? (conflicting defaults).
???? ??????? ?????? ?????????????? ????? ????? ??? ??????????, ??? ?????????? ?????? ????? ?????? ?????? ???? ? ??????
????? ??????. ????????, ????? ?????? ??? DAMI ? OIL ?????????
????????????? ?????? ? ????????? Web ??? ????? ?????????? ????????????? ????, ??????? ???????? Internet.
???? ?????????? ?????????
?????? ????? (Gottlob Frege) ?????????? ??????? ? ????? ??????
??? ?????? ??????????? ?????? ?????? ??????? ???????, ? ??????
??????? ???? (Charles Sanders Peirce) ?????????? ???????? ?????????????? ???????, ??????? ? ??????????? ????? (Peano� G.)
????????? ????? ??????????? ???????? ?????????? ??????????.
???? ???? ? ???? ?????????????? ???????, ?? ??????? ?? ???
????????? ???????????? ?? ? ????? ??????????? ???????, ???????? ??????? ???????????? ? ???????????? ?????, ????? ????? ???? ???????? �???? ? ???????? ???????. ?? ????????? ??????????? ????? (relation graphs), ??????? ???????????? ??? ??????????
?????????: ?????????? (&) ? ??????? ????????????? (?). ??????
41
?????????, ????? ??? ????????? (�), ?????????? (?), ??????????
(?), ??????? ??????????? (?), ????? ?????? ????????, ?????? ???
??? ??????? ?????????? ?????? ??????????? ??????? ????????, ????? ???? ???????? ????? ????? ??????? ????? ?????????? ???????????.
? 1897 ?. ???? ????? ??????? ??????? ???? ????????: ?? ????
????, ??????? ????? ????????? ? ???????? ??????????? ???????
???? ??? ???????. ?????????? ?????? ? ??????????? ? ?????????
????????????? ????? ???????? ??? ?????????? ?????????, ???????????? ? ?????????????? ???????. ??? ???????????? ?????????????? ??????????? ????? ? ??????? ???????????????? ?????? EG
(Existential Graphs), ??????? ???? ?????? �?????? ????????�.
??????? ???? ??????????? ????????????????? ?????????????
???? PSN (Propositional Semantic Networks), ????????????? ? ??????? ?????????????? ?????????? MIND ? ??????? ??????? SNEPS
(Semantic Network Processing System), ??????? ????? ???? ???????????? ??? ????????????? ???????? ????????? ????????????? ? ?????????? ???????????? ??????.
?????????????? ????? CG ???????? ????? ????????????????? ????, ? ??????? ????????? ??????????? ?????? ????????????????? ?????. ?????????? ????????????? ?????? ? ???? ?? ??????????? ??????????? ? ??????? ?????????????????? ?????? EG ?
?????????????? ?????? CG. ??????? ???????????: �??? ???????
??????? ? ??????????, ?? ?? ????? ????? ????? ??? ?????�. ?�?????? ?????????? ?????? ??? ??????????? ????????????? ????????????? ????????, ????????? ?????????? ? ????, ?????????????
???? ??????????. ??????? ?????? ???? ?????? ? ???? ???????????
?????????? �??????�. ??????????? ??????? ??????????? ? ??????????????? ????? ???????? ?? ???.�4.
??? ??????????? ????????? ???????????? ?????????? ????????? ? ?????? ??????? ???????:
�(?x?y?z(???????(x)&??????????(y)&?????(z)&???????(x,爕)&�
???????????(z,爕)&�(????? ?????(x,爖)))).
? EG ?????? ?????????????, ?????????? ????????? (concept),
???????????? ????? ??????? ????????????? (?x:???????) ???
(?y:??????????), ??????? ???????? ????? ??? ??????? ???????, ? ?
CG ???????, ????? ???????????? ??????????????? ???????????? ??????? (?x:???????) ??? (?y:??????????), ??????? ?????????
????? ??? ?????? ?????????? ??????? ??? ??????????. ?燙G ????
?? ????????? ?????????? ????????? ????????? (????? ????????42
蓐玷耱屙鲨嚯 沭圄 EG
羊箐屙�
青镨襦�
凌犭桀蝈赅
薯桡�
橡桧噤脲骅�
褥邋�
镳噔�
暑眦屣蝮嚯 沭圄 CG
羊箐屙�
青镨襦�
薯桡�
�
褥邋�
镳噔�
凌犭桀蝈赅
橡桧噤脲骅�
�
???.�4. ????????????? ??????????? ????? EG ? CG
???? ??? ???????? ??? ????????? ? ????? ??? ????? ???????????).
???? [?] ???????????? ?????? ????????? �? � ??? �??�, ???????
??????? ? ?? ?????????????? ??????????? ???????, ??????????? ??????????? ??????? (coreference link).
?????????? ??????????? ?????????? ???????????, ??????????
? SNePS ??? CG ? ????????????? ??????????? ? ?????? ????????.
????????? ?????? ????????????????? ???? ????? ?????????
?????????????? ????????? ??? ????? ?????????????? ??????????
? ?????????????????? ??????, ?? ????? ???? ?????????? ???????
?????????? ?????????? ??? ???????? ?? ????? ?????? ? ??????.
?????????????? ????
?????????????? ???? ???????? ??????????? ??????? ????????????????? ????, ? ??????? ????????? ?????????? ???????? ??????????. ?????? ????????? ????? ???? ????????? ???43
??? ????????????????? ?????, ?? ??? ???????????? ??????????
???????????. ?�?????????? ?? ????????????? ????? ???? ?????
�?????? ?????? ?????????, ?????????? ??????, ????????????
�????? ??? ?????????, ???????????????? ??????.
????? ???? ???? ???????????? ? ????????? ???????? ?????????????? ??????????. ??? ????? (Chuck Rieger) ?????????? ?????? ?????????? ?????, ??????? ?? ??????????? ??? ??????? ?????????? ???????? ? ?????????? ????? ? ????????? ?????? ??
�?????????. ????????? ????? (Benjamen Kuipers) ?????????? ????? ????????????? ??????, ??????? ?????? ?????? ????? ?????????????? ???????? ?????????????? ?????????? ? ????????????????? ???????????. ????? ???? (Judea Pearl) ???? ???? ????????? (belief networks), ??????? ???????? ??????????? ??????,
????? ? ??????? ???????? ?????????????.
? ?????????????? ????? ??????????? ??? ???????? ???????
?�?????????? ???????: ?????????? ? ?????????????.
?????????? ?????? ???????????? ? ???????? ???????????????
?????? (truth-maintenance systems (TMS)). ??S ???????? ?????????? ? ?????, ??? ??????? ???????? ???????????? ???????? ? ?????????????? ?? ????? ????. ??????????? ??????????? ? ??????????? ?????? TMS ?????????????? ???????????? ???????? ? ????,
??? ??????? ?? ???????????? ?????? ??????????. ??????????? ??
???????? ????? ??????????, TMS ????? ????????? ??? ????????
????????????, ?????? ????????????, ??? ?????????? ?????????,
??? ????????? ?????????? ?? ???????????. ??? ??????????
???????????? ????????? ???? ????? ???? ???????? ???????????
??? ????????? ?????, ? ?????????? ?????????? ???????????? ?????, ?????????? ???????? ????????? (belief revision).
??? ????????????? ??????? ???????????? ?????? ?????????? ? ????????? ??????????? 1.0?0.0. ???????? ???????? ????????????? ????? ? ?????????? ????? ??? ????? ????????? ?????????? ?.�?????.
???????? ?? ??, ??? ?????????????? ???? ??????? ?????? ???????? ??????????, ??? ????????? ???????? ??? ?????????? ????????? ????? ?????????? ?????? ?????????????????? ???? ? ?????????? ???????.
�
??????????? ????
??????????? ???? ???????? ?????????, ??????? ????? ???????? ????????? ????????? ? ????? ????. ??? ???? ????? ?????????? ?????? ???????????? ? ??????????? ????:
44
1.????????? ????????? (massage passing) ????????? ??????????
?????? ?? ?????? ???? ? ??????. ?????? ????? ???? ??????????
??????, ??????????? ????????? ??? ??????????, ? ????? ???? ?
????????? ?????? ??? ??????????? ???????? ???????????.
2.????????? ????????? ????????, ??????? ???????? ???????????, ????????????? ? ???? ??? ?????????? ? ?????, ???????
????????? ????????? ???? ???????? ??? ?????????? ??? ??????? ? ???? ?? ???? ??? ???????? ?????.
3.????????? ????????????? ?????? ??????????? ?????, ??????????? ??, ??? ???????? ? ??????? ?????. ?� ???????? ???????? ?????????????? ?????? ????? ????????????? ?????????? ???????? ??????????? ??? ???????.
??? ????????? ????? ?????????? ? ????????? ???????????.
???? ?? ????? ??????????????? ???????? ????????? ???????
(Ross Quillian). ??????? ???? ???????? ???????? ??????? ??? ??????????? ?????????, ??????? ??? ??????????? ? ????? ???????
???????? NETL ? ? ???????? ???????????? ??????????.
??????????? ?????? ?? ?????????? ??????????? ????????
????? ??????? ?????? (dataflow graph), ??????? ???????? ????????? ????, ???????? ??????, ? ???????? ????, ??????? ?????
?????? ?? ??????? ????? ? ???????? ?????????? ? ???????? ????.
???????? ?????? ????? ????????? ??? ?????????? ????????????
? ?????? ???????????????? (???.�5):
? = (? + ? + ?)**D/B ? 2*?.
?????????????? ???????????? ????? ????????? ????, ? ?????� ????????. ????? ????????? ????? ?????????? ???? ??????,
????? ???????? ?????� ??????????? ??? ??????? ????????.
皱腩�
+
皱腩�
皱腩�
+
皱腩�
**
皱腩�
皱腩�
暑眈蜞眚�
�
皱腩�
?
*
/
皱腩�
腻轳蜮栩咫铄
皱腩�
???.�5. ?????? ????? ??????? ??????
45
?????? ????????? ???? ????? ????? ????? ????????????? ???
??????????? ????, ? ??????? ?????????? ???????? ??????? ? ?????????.
? ???????????? ??????? ??? ?????????? ??? ??? ??????????
?????????????? ????. ??? ??????? ????????? ????????????????
???? ??? ??????????? ???????, ?????????? ???? ??? ?????? ? ????????? ? ?????????, ???????? ??????? ????????-????????????????
????????????????.
????????? ????
????????? ???????, ???????????? ??? ?????????????, ???????
????? ??????????, ???????????? ???? ?????????? ?????????????, ??? ???? ????? ????? ?????????? ???????? ?? ???????????
??????? ?????. ???????? ????? ????? ??????? ???????? ?? ??????
????????? ?????. ?? ?? ????? ???????? ???? ????????, ??? ??? ???
??????? ????? ?????????? ? ???????????? ???????????? ? ????? ?
???? ????? ?? ????????????.
????????? ????
?????????? ?????????? ??????? ?????????? ????????? ????????? ????, ?????????? ? ???? ?????????????, ????????? ?????.
???, ????????, ?????? ?????????????? ???? (partitioned semantic
net) ??????????????? ?????????? ????? ???? ?? ??????, ??? ????
??? ????? ??????? ???????? ?????????????? ?????? ???????. ????? ????????? ???????? ?????????? ????? ? ???????? ????? ???
?????????? ? ??????? ????????????? ??????. ?????? ? ??????????? ???? ??????????? ????? ????? ?????????? ?????????????
???????????.
???????????? ????????????? ???? ???????????? ??? ?????????
????:
W = <D, S, ?, R, F>,
??? S ? ????????? ???? ????????; R ? ????????? ????????? ??
SxS; D� ????????? ???????? {Dl,燚m,�...,燚n}, ??? ?????? ?????????
Di ?????????? ?????????? ?????????, ? ??????? ????? s�燬 ???????? ? ???????????? ????????? ????????? ?�� ???????? ?? ?????? ?? ?????????? ???????????? Dk� =� Dl xDmx� ...� xDn ?????????
???????? ?? D, ?????????? ?????????????? ??? ??????? ??????? ? ?????? S. ???? e� =� <S,� ?> ?????????? ???????? ? ?????? S
46
? ?????????????? (?????????? ???????????) ?. ?????? ??????
?�� ???????????? ????????? ???????, ?.�. ???????, ????????????
? ????????? ??????.
??????? ????????????????, ?????????????? ?????????
???, ??????????? ? ??????????? ? ????????? ??????????? ??????
?????????? ???????? ???? ? ???????????? ????????? ?????????
????? ????????? ?? ???????? ???? ??????, ?????? ?? ???????
????? ???????????? ??????? ? ??????? ????????????????. ??????? ????????????? ??????????? ???????? ????????? ??????????
??????????? ?? ???????? ? ?? ?????????????. ??????????????
???????????? ?????????? ??? ????? ?????????????? ????????????? ?�???????? ????? ??????? ????????? ?????????????? ?????????, ??????????? ???????????? ??????????? ???? ?????? ?
???????????? ?? ? ????????? ??????????????? ???????????????? ???????.
???????????? ??????? ? ???? ????????? ???????????? ???????????? ????? UML (Unified Modeling Language), ?????? ?????? ?????????? ? ????????? ?????. ????????? UML ?????? ?? ??????????????? ??? ????, ??? ????????? ????? ???????????????? ? ???????????? ? ??????????? ????????????? ?????, ??????????? ?????.
?????? UML ?????????? ???????????????? ???? ??? ??????????? ????????? ?????. ??? ???????? ????? ?????????????? ???
????? ??????????, ????? ?????????????, ???????? ?????? ???
?????????? ????? ? ??????????. ?????????????? ????????????
????????? ?? ????????? ? ???????.
UML ???????? ??? ???? ??????????? ?????: ????????? ?????????, ??????? ???????? ??????????? ??????? ????? ?????, ?? ?????????????? ???????????, ? ????????? ??????????, ???????
????? ????????? ????? ?????, ?? ??????????? ????, ??? ??? ?? ?????????? ??????? ??? ??????????? ?????????.
?????? ???? ? ????????? UML ????? ??????????????? ??? ??????
??????????? ?????? ? ???????????? ????????????? ??????????
?? ??????????. ?� ?????????, ? UML ???????? ?????? ?????????
????????? �?????????????�.
???????? ????? ??? ???? UML ???????? ???????? ???????? ???????, ????????? ?????? ????????? ??????????? (Object Constraint Language (OCL)). ?? ???????? ??????? ?????? ??????? ??????? ? ??????????????? ????????????????, ????????? ????????? ????????-??????????????? ?????? ????????????????. UML
???????????? ??????? ?? ?????????? ??????????? ???????????, ???
???????? ? ??????????????? ????????? ???????. ??????? ??????47
?????? ????? ??????? ??? ?????????? OCL ?????????? ???????????? ??? ??????????? ???? ???????? UML ??? ?????????? ????????????????? ???? ????????????? ?????? ?????? ??????? ??????? ? ???????????? ??????????, ??????? ????? ???? ?? ???????????? ??? ??????????? ????? UML.
? ????? ?????? ????? ?????????? ??? ??????, ????????????
???? ??? ???????? ????????????? ??????, ????? ??? NET, SIMER�+燤IR ? ??????.
3.4. ?????????? ?????????? ??????
??????????? ? ????????????? ?????? ???????? ?????????? ??????, ?????????? ?? ???????????? ?????????? ?????????? ???????
???????, ????? ?????????? ??????? ??? ?????? ??????????? ? ???? ?????? ??????. ???????? ???????????? ????????????? ??????
?????????? ??? ????????????? ?????? ??????????? ? ???, ??? ?????????? ?????? ????????? ??????????????? ?????????? ?????? ???????? ?????? ????? ???? ??????????????? ????????????????. ?�?????? ???? ???????? ?? ????????? ????? ?????? ?????
???? ???????? ????? ??????.
??????????? ????? ??????? ???????? ??????????? ????????
????????????? ?????? ? ??????? ?????????? ? ????? ???????? ????????? ???????
???????? ?????? (??????, ?????) ????????: ?????? ????? ?????
???????? ??????? (??????) ????????: ?????? ? ???????
???????????? ?????????? ??????:
?? ??????? ?????????? ??????? ??????, ? ???????? ????????
????? ?????????? ????????? ??????????????;
?? ??????????? ????????????? ?????????, ??????? ?????????
?????? ????????? ? ??????????? ?? ????? ?????????? ?????????????; ??? ????????? ????, ??? ???????????? ????? ?????????? ???????, ???????????? ????????????? ?????????, ? ??? ?????????
????, ??? ????????? ????? ??????????? ?? ??????? ?????? ?????????? ??????� ??????????? ?????????;
?? ????????, ???????????? ? ???????????? ????????????? ??????? ??? ????????????? ??????.
??? ??? ??????????, ???????????? ???????????? ??????????
????????????? ?????? ? ?? ???????? ?????????? ??????????. ?�???? ???????? ??????????? ?? ???????? ??? ??????????? ? ??????? ?????? ??????? ??????? ? ??????????? ??? ??????? ? ??.
48
??? ??????????? ??????????? ?????? ? ??, ?????????? ?? ?????? ??????? ???????, ? ???????? ??????????? ??????? ?????????,
???????????? ??.�?????????. ????? ????????? ???????? ?????? ? ??? ??????, ??? ???? ??????? ?????????? ?????????? ???????? ?? ????????? ??????, ?? ???????? ?????? ?????????? ?? ???????? ????? ?????. ???? ?? ??? ????????? ??????? ???????? ??
?????????? ????? ????????????? ????? ?????, ?? ?????????? ?????????? ?? ?? ? ??????????? ??? ??????? ?? ???????? ?? ???????
????????? ??????.
???????? ??????????? ??????????? ?????? ?? ?????? ????????? ???????? ??, ??? ?????? ? ??????????? ????????? ????????
�???????, ????????????? ?????? ? ????????? ??? ??????????????? ?? ?????? ?? ??? ? ?????????? ??????. ??????? ???????????
??? ????? ??????? ????????? ??????, ?????????? ????????? ????????????? ????????? ????? ????????. ??? ???? ????? ???? ??????????? ????? ?????? ??? ????????????? ?????????, ???????? ?????????, ????????? ?????????????? ?????? ? ????????????. ?????????? ???????????? ?? ?????????? ????????? ?????? ? ???????
�?????????� ? ???????? ????????????? ???????.
???????, ?????????? ?? ?????? ??????? ???????, ????? ??? ??????????? ??????????: ??? ?????? ??????????? ? ????? ??????
????????????? ?????????? ? ?????????, ????????? ????????????
??? ????? ??? ???????? ??????. ?????????? ?????? ? ?? ? ?????
???????? ?????????? ????????????.
?????? ? ???, ?????????? ?????????? ??????? ?????????? ??????, ??????? ????? ?????? ???????? ? ???????????? ??????????
?????????? (??????????? ? ?????????????, ?????? ? ???????,
?????????, ?????????, ???? ? ?.� ?.) ??????? ?????? ??????????? ????????? ?????????? ???????, ????? ??? ????????? ??????,
???????????? ??????, ?????? ?????? ????????, ?????????????
?????? ? ??.
?????????? ???? ???????? ? ???????????????? ??????? ??????????? ????????????????, ?????? ??????? ??????? ???? Prolog.
???, ????????, ? ???????????? ?????? ??????? ?????????? ????
tuProlog, ??????????????? ??? ?????????? ????????????????
Internet-?????????? ? ???????? ????????, ???????????????
?�????????????? ????????? ????????????. ???? ???? ???????? ??
?????? ????? Java ? ???????????? (?? ??????? ????, ??????? ?? ???)
???????????? ????????????????, ???????????????????, ??? ????????? ???????? ? ???????????? ? ?????? ????????????? ??????,
????? ??? ?????????????? Internet.
49
? ?????????, ???????????? ?????????? ??????? ?? ????????
?????????? ???????????????? ? ????????????? ?????? ? ?? ???????? ?????? ??????? ????????????? ? ????????? ????????. ?????? ? ???, ?????????? ??????? ????? ???????????????? ??? ????????? ??????, ??????????? ?????????? ?????? ??????????? ?????? ????????????? ??????. ???, ??????? ?????????????? ???????????? ? ???????????? ????????? ???????? ???????????? ?????
???????????, ??????? ?????? ??????????????? ???????? ? ??????
??????? ???????, ?? ????? ?????? ?????????? ? ????? ???????? ?????????? ??????.
????????????? ??????????? ? ???????? ???? ? ???????????????? ???????? ?? ?????????????? ????????????? ?????? ? ?????????? ??????. ????????? ????????????? ???????????? ???????? ??????? ? ???????? ????????????????, ????????? ????????, ???????? ??? ?????????? ???????????, ???????? ?????????????????
??????, ??????? ????? ???? ????????????? ? ????? ????????????????.
?????? ?????????? ???????? ???????????? ??????, ? ???????
????????? ??????? ?? ???????? ???????????? ? ?? ??????????? ?? ????????? ? ????? ????????, ?? ???? ????????? ? ????. ?�???? ???????? ????? ?????????? ????????? ?????????????
????????? ??????, ??????? ??????? ?? ??????? ?????????? ?????? ??????. ???? ???????? ????? ???? ?????????????? ???????,
?? ??????? ????????? ?????????? ????????? ?????? ?????????????? (?? ????????????? ?????? ? ??????) ??????.
????????? ????????? ?????? ? ???????????? ??????? ??????????????? ? ??????? �?????????? ?????� ???????????????
????????.
??????????? ????? ???????????? ????? ?????????? ?????????
?????????????, ?? ??????? ?????? ??????? ??????? ????? ?????????? ???????. ????? ??????????? ????? ??????????????? ??????????? ? ???????????? ??????? ???-???????? (Mc燚ermott燚.),
? ??????? ????????? ?? ???????????????? ? ???? ?????????? ?
???????????, ? ? ?????????????????? ??????? ? ????? ?????????? ??????????, ?????? ? ????????? ???????? ?????????? ???????? ????????? ????????, ?????????? ?? ????????? ???????.
?????????? ?????? ???????? ???????? ???????, ? ????????�
?????? ??????, ???????? ????????????? ??????. ?? ?? ????????
??? ?? ???????? ???????? ??????????????? ??-?? ????? ??????????? ???? ??????. ???????? ??????? ?????????? ???? ???????�
??????? ??.
50
3.5. ??????
???????????? ????????????? ???????? ???????? ????????????? ? ??????????? ? ?????????? ????????? ??????? ????????? ???? (? ??????????? ????), ????????????? ??? ????????????? ????????????????. ??? ????????????? ?? ?????? ??????? ??????????? ? ????????? ?????????? ????? ????? (?????? ???????? ???,
???? ? ?????, ????? ?? ????????? ? ?.�.), ??????? ??????????????
????????? ???????? ? ?????? ???????? ? ????????????????? ????????? ??????????? ? ??????? (????????, ??????� ? ????????
?� ???????????� ? ??????????? ?????????? ???????� ? ????????
?????). ??? ???????? ????????????? ?????????? ???? ? ??????????
???????? ? ????? ?????? ??????? ?????? ??????? (M.燤insky)�
???????????? ??????, ???? ?? ???????????????? ??????????????
??????????. ????? ????? (frame) ? ?????????? ???????? ? ??????????? ???????? �?????�, �????�.
????????? ? ????????????? ?????????? ?? ?????????????? ?????????? ?????????????? ?????? ????????? ????? ???????, ??, ??
??????? ? ????????? ? ??????? ????????, ??????????? ???????????????, ? ??????????? ???????? ??????? ? ???? ??? ?????????.
????, ?? ?.�???????: �???? ???????? ?????????? ?????? ???
????????????? ???????????? ????????. ?� ?????? ??????? ????????????? ?????????? ?????? ?????. ???? ?? ????? ?????????, ????? ??????? ??????? ???????????? ?????? ?????, ??????� ?
??? ???????????????? ????? ??????? ?? ????? ??? ??????????,
??????� ??? ???????????, ???? ??? ???????? ?? ????????????�.
????? ???????, ????? ? ??? ?????????????? ?????????, ?? ??
???????, ??? ????? ?????????? ? ?????????? ? ????? ???? ? ????????? ?????????? ???????. ????????????????? ?????????? ????????????? ???????? ? ???????? ???????????? (?�????????, ??????????? ? ?????????????), ??????????? ???????????????? ???????, ?????????? ? ????????, ????????????? ???????. ?????????
????? ???????? ???????? ????????? ????????, ?? ??????????????
?? ???????? ???????????? ??????????.
????????? ??????? ??????????????? ????????? ? ??????????
????????????? ?????, ?? ???? ????? ??????? ?.�??????: �????
????? ???????????? ???? ? ???? ????, ????????? ?? ????? ? ?????? ????? ????. �?????? ??????� ?????? ????? ??????????, ????????? ?????????? ?????? ?????????, ??????? ?????? ??????????? ?? ????????? ? ?????????????? ????????. ?? ????? ??????
??????? ??????? ????? ?????? ??????� ?????????? ??? �????�,
51
??????? ?????? ???? ????????? ???????????? ????????? ???
??????? �.
???????????? ??? ??????? ? ????????? ???????? ????????
??????, ?.� ?. ??????????? ??????, ??????????? ???????. ????
????? ?????? ?? ?????????, ?? ?????????? ?????-???????, ???? ??
??? ???????????????? (????? ??????????), ?? ?? ????? ??????????????, ??????? ????????????? ????????? ?????????? ????????, ??????? ??? ???????.
??????????? ???????? ??????? ??????????? ??? ???????????
??????????????? ???????????, ?.� ?. ???????????, ??????????,
????????????, ???????????? ????????. ????????? ??? ???? ????? ????????: ?????????� ? ?????? ? ?????????� ? ?????. ?????????� ??????, ?????????????? ??? ?????? ??????? ??????????
??? ???????? ?????? ?? ????? (?? ?????????). ?????????� ?????, ?????????? ????????? ?????? ??? ?????????? ???????, ???????????? ????????????? ??? ???????? ??????.
????????? ??????? ????????? ?????? ?????????????? ?????????, ?? ??? ????????? ???????? ??? ???????????? ????? ??????
????? ??????-????????? (???????????? ???????, ???????, ???????? ? ?.� ?.), ??????-???? (???????????? ????????? ???????
???????????? ????????? ?????????? ???????), ??????-????????
(???????????? ?????? ????????? ??????????????? ?????????),
??????-???????? ? ?.�.
?????????? ????????? ?????? ?????????? ????????? ??????
(???.�6). ????? ??� ??? ?????; ??� ???????? ?????; ??� ?????????????? ?????????; ???� ???????? ?????????? ?????????; ??�
????????; ???� ???????? ??????????????? ?????????.
责彘�
褥�
麴彘爨
褥�
麴彘爨
央铗�
妊
荂
舷
蜒�
牙�
阎 舷
阎 舷
阎 舷
妊
茄
舷
.
.
.
.
.
.
.
.
.
.
???.�6. ????????? ??????
52
阎 舷
.
.
.
.
????? ???????, ????? ????? ???????????? ?????????, ????????? ?? ????????? ?????????� ? ??????. ?????? ????, ? ???? ???????, ?????????????? ???????????? ?????????? ??????, ??????????, ??? ????? ???? ?????? ? ?????? ???????.
????????? ?????? ????? ??????????? ???:
??? ?????? :
(??? 1-?? ?????: ???????? 1-?? ?????),
(??? 2-?? ?????: ???????? 2-?? ?????),
---(??? N-?? ?????: ???????? N-?o ?????).
?? ?? ?????? ?????????? ? ???? ????.�2, ???????? ????? ?????????.
??????? 3.2. ????????? ??????
??? ??????
??? ?????
??? ?????
???????? ?????
.....
.....
.....
??????????????
?????????
.....
? ???? ??????? ?????????????? ??????? ????????????? ???
???????? ???? ????? ? ?????????? ????????????? ? ???? ??? ????? ????? ??????????? ????????, ??? ??????????? ? ?????? ???????. ??? ????????? ? ?????????? ?????? ????????? �???????�.
??�????? ????? ??????? ????? ?????????? ????????, ?? ????????
????? ???????????? ?????????:
?? ????????? ?? ??????? �??? ?????????� (IF-REMOVED) ???????????, ????? ????? ?????????? ???????????? ? ????;
?? ????????? ?? ??????? �??? ???????� (IF-ADDED) ???????????, ????? ?????????? ????????? ?? ?????;
?? ????????? ?? ??????? �? ??????????� (IF-N
Документ
Категория
Без категории
Просмотров
1
Размер файла
1 660 Кб
Теги
jakovlev
1/--страниц
Пожаловаться на содержимое документа