SlideShare una empresa de Scribd logo
1 de 30
Descargar para leer sin conexión
.#/0+1 4 
!"#$%&'()#*+# ,*'*+- 
Часть III 
6"#-27 + 88! 
23"420#($+."5 dimour.spb.ru 
mouromsev@mail.ifmo.ru
© 2012 !"#$%&'( ).*. +',&-. 4 
9'"(+* .+ 9+*%/+- 
:(&4" ;#"(7< "'=4& ;4 
*#-"4**72 %#&12, 
;#"%#;&"4*'2 (1954). 
>,4="#&'&#)? @"'5+A#%/4@4 
$+%;)#1 (1963) 
:(&4" 2*4@4A+%)#**7< 
'=4&' ;4 >> + 5+)4%45++. 
8=)'$'&#)? ;"#2++ 
B?C"+*@' + ;"#2++ 
D;4*++. 
2 
http://web.media.mit.edu/~minsky/
© 2012 !"#$%&'( ).*. +',&-. 4 
6"#-27 (frames) 
E;#"(7# &#"2+* «5"#-2» =7) ;"#$)4F#* 9+*%/+2 
(Minsky) ( 1974 /'/ "#,3)?&'& +%%)#$4('*+- ;4 
(4%;"+1&+C &"#<2#"*7< %0#*. 
8=4,*'A'#& 4;"#$#)#**72 4="',42 
%&"3/&3"+"4('**7# $'**7#, ;"#$%&'()1CG+# *#/+- 
'=%&"'/&*7- 4="', +)+ %&#"#4&+;. 
E 4%*4(# &#4"++ 9+*%/4@4 )#F'& +%%)#$4('*+1 ;4 
(4%;"+1&+C + ,';42+*'*+C %&#"#4&+;*7< %+&3'0+- 
+ ;"4&4&+;*423 %"'(*#*+C 4="',4( + @#H&')?&- 
;%+<4)4@++. 
3
© 2012 !"#$%&'( ).*. +',&-. 4 
8;"#$#)#*+# 9+*%/4@4 
«!"#$% — &'( )'"*+'*", -,../0, 1"#-)',23456,4 
)'#"#('71.*5 )7'*,875, 2"(-# .,0(9-#.74 2.*'"7 
.#+('("(:( "(-, 973($ +(%.,'/ 737 );(", ., 2#<#"7.+* 1( 
1(2(-* -.4 "(9-#.74 "#;#.+,. = +,9-(%* >"#$%* 
1"7)(#-7.4#')4 .#)+(3?+( 27-(2 7.>("%,877. @,)'? &'($ 
7.>("%,877 — ( '(%, +,+ 7)1(3?A(2,'? >"#$%. @,)'? ( '(%, 
<#:( %(9.( (97-,'? -,3##. @,)'? ( '(%, <'( )3#-*#' -#3,'?, 
#)37 &'7 (97-,.74 .# 1(-'2#"-4')4». 
I&' %&"3/&3"' ;"#$%&'()1#& %4=4- *#/+- H'=)4*, 
+,()#/'#27- +, ;'21&+ ;"+ (4,*+/*4(#*++ *4(4- +)+ 
+,2#*#*++ %4$#"F'*+1 %3G#%&(3CG#- %+&3'0++, 
/4&4"7- 24F#& =7&? '$';&+"4('* ;4$ %)4F+(H3C%1 
"#')?*4%&?. 
4
© 2012 !"#$%&'( ).*. +',&-. 4 
!"#$%&'()#*+# %&#"#4&+;*7< %+&3'0+- 
8$*+2 +, /)CA#(7< %(4-%&( 1,7/' ;"#$%&'()#*+1 ,*'*+- 
1()1#&%1 #@4 (7"',+&#)?*4%&? ;"+ 4;+%'*++ &+;4(7< 
%+&3'0+-. 
I/%;#"+2#*&')?*7# +%%)#$4('*+1 ;4/',')+, A&4 ( ;"40#%%# 
,';42+*'*+1 )C$+ 4"@'*+,3C& ,*'*+1 ( %&"3/&3"7, 
%44&(#&%&(3CG+# &+;4(72 %+&3'0+12. 
J#)4(#/ =#, &"3$' *'<4$+& (#"*3C +*&#";"#&'0+C 
(7%/',7('*+1 ( "'2/'< %3G#%&(3CG#@4 /4*&#/%&'. 
E ;"40#%%# A&#*+1 A#)4(#/ 24$+5+0+"3#& %&"3/&3"3 ,*'*+1, 
;4$%&"'+('1%?, &'/+2 4="',42, ;4$ /4*&#/%& ;4)3A'#24- 
+*54"2'0++. 
5
© 2012 !"#$%&'( ).*. +',&-. 4 
E4%;"+1&+# &#/%&' 
K%)+ A+&'#27- &#/%& ;)4<4 %&"3/&3"+"4('*, 4$*+ + 
&# F# ;"#$)4F#*+1 %4$#"F'& *# %(1,'**7# ;4 
%27%)3 5"'@2#*&7, (4%;"+1&+# ,*'A+&#)?*4 
3%)4F*1#&%1, &'/ /'/ %&'*4(+&?%1 *#(4,24F*4 
=7%&"4 3%&'*4(+&?, / /'/4- %&"3/&3"# ,*'*+1 
%)#$3#& 4&*#%&+ &3 +)+ +*3C 5"',3. 
E &4 F# ("#21 =4)?H+*%&(4 )C$#- =#, &"3$' 
(4%;"+*+2'#& <4"4H4 %&"3/&3"+"4('**7- &#/%&, 
$'F# #%)+ L&4& &#/%& %4$#"F+& =4)?H4# /4)+A#%&(4 
4;#A'&4/. 
6
© 2012 !"#$%&'( ).*. +',&-. 4 
!"+2#" (4%;"+1&+1 &#/%&' 
По рзелульаттам илссеовадний одонго 
анлигйсокго унвиертисета, не иеемт занчнеия, в 
кокам пряокде рсапожолены бкувы в солве. 
Галвоне, чотбы преавя и пслоендяя бквуы блыи на 
мсете. Осатьлыне бкувы мгоут селдовтаь в плоонм 
бсепордяке, все-рвано ткест чтаитсея без побрелм. 
Пичрионй эгото ялвятеся то, что мы не чиатем 
кдаужю бкуву по отдльенотси, а все солво 
цликеом. 
7
© 2012 !"#$%&'( ).*. +',&-. 4 
!"4&4&+;*4# %"'(*#*+# 4="',4( 
E ;%+<4)4@++ ;"#$;4)'@'#&%1, A&4 ( $4)@4("#2#**4- ;'21&+ 
A#)4(#/' <"'*1&%1 *# /4*/"#&*7# L&')4*7 4="',4( + &#2 =4)## *# 
$#&')?*7# ;"+,*'/+ L&+< 4="',4(, ' *#/4&4"4# +< '=%&"'/&*4# 
;"#$%&'()#*+# ( (+$# ;"4&4&+;4(. 
!"4&4&+;7 %4$#"F'& *# &4)?/4 *'+=4)## 4=G## ;"#$%&'()#*+# 
/'/4@4-)+=4 4="',', *4 + $#&')?*4# 4;+%'*+# #@4 4&)+A+&#)?*7< 
4%4=#**4%&#-. I&4 ;4$&(#"F$'#&%1 &#2, A&4 27 "#$/4 ;3&'#2 =3/(7 
O + Q +)+ B, R + P, *#%24&"1 *' &4, A&4 %<4$%&(4 2#F$3 *+2+ (#%?2' 
(#)+/4. 
E &#4"++ ;"4&4&+;4( "'%%2'&"+('C&%1 $(# 24$#)+ 54"2+"4('*+1: 
0#*&"')?*'1 &#*$#*0+1 + A'%&4&' ;"+,*'/4(. 
M)'@4$'"1 L&423, #%)+ *4(7- 4="', %4%&4+& +, =4)?H4@4 /4)+A#%&(' 
+,(#%&*7< ;"+,*'/4(, 3 A#)4(#/' (4,*+/'#& 3(#"#**4%&?, A&4 L&4& 4* 
3F# (+$#) "'*##. 
8
© 2012 !"#$%&'( ).*. +',&-. 4 
!"+2#" ()+1*+1 ;'21&+ 
*' (4%;"+1&+# 54"27 
B374.7# ("7#.',877 (;",A, ., #:( 
2()1"74'7# — (-., 7A >("% +,9#')4 
'"#0%#".($. 
9
© 2012 !"#$%&'( ).*. +',&-. 4 
!4*1&+# ;"4&4&+;' 
!"#$%&'()#*+# ;4*1&+- A#)4(#/' *# &"#=3#& A#&/4@4 4;"#$#)#*+1 
*'=4"' %(4-%&(, ' =',+"3#&%1 *' ;4*1&++ &+;' +)+ /)'%%'. 
!"#$#$%& — L&4 3F# *# '=%&"'/&*7- 4="',, ' *'+=4)## &+;+A*7- 
;"#$%&'(+&#)? %(4#@4 /)'%%', % 4=4=G#**72+, *4 (;4)*# 
/4*/"#&*72+ ,*'A#*+12+ %(4+< %(4-%&(. 
«9#*##» + «=4)##» &+;+A*7# A#&7"#<3@4)?*+/+ 
10
© 2012 !"#$%&'( ).*. +',&-. 4 
N&"3/&3"' 5"#-2' 
/01(02-' 3$2.4-. (-%. 5#'6%0) 
78$49 :20;'2-. 
11 
73-<$, <(.10229= 
3#$&'>"# 
>21 %)4&' 1 O*'A#*+# 1 !"40#$3"' 1 
>21 %)4&' 2 O*'A#*+# 2 
!"40#$3"' 2.1, 
!"40#$3"' 2.2 
… … … 
>21 %)4&' N O*'A#*+# N !"40#$3"' N
© 2012 !"#$%&'( ).*. +',&-. 4 
!"+2#" 4;+%'*+1 ,*'*+- 
% ;424G?C 5"#-24( 
12
© 2012 !"#$%&'( ).*. +',&-. 4 
6"#-27 (+,3')?*7< 4="',4( 
C"(;3#%/ 2()1"74'74 7 ",)1(A.,2,.74 1"()'",.)'2#../0 )8#. 
",))%,'"72,5')4 2 ",;(',0 D7.)+(:(, 2 <,)'.()'7 2 [Minsky, Marvin. A 
framework for representing knowledge. MIT AI Laboratory Memo 306, June, 1974.]. 
E))3#-*4 (-.7 7A ,)1#+'(2 2()1"74'74 )8#./ 1"7 -279#.77 "(;(', 1( 
+(%.,'#, (. "#F,3 A,-,<* (1"#-#3#.74 )(('2#')'274 ",A37<./0 1"(#+87$ 
(-.(%* 7 '(%* 9# (;G#+'*. 
D7.)+7$ 22#3 *1"(6#..*5 )7)'#%* >"#$%(2 -34 1"()'",.)'2#..(:( 
(17),.74 +*;, 2 27-# :",>,, (-.7 *A3/ +('("(:( )(('2#')'2(2,37 ;(3## 
2/)(+($ )'#1#.7 ,;)'",+877 7 (17)/2,37 1(.4'74, 1()'(4..( 
1"7)*')'2*567# ., -,..($ )8#.# (+*;). H, ;(3## .7A+70 *"(2.40 )(-#"9,37)? 
*A3/, )(('2#')'2*567# '#+*6#%* )()'(4.75 )8#./, )()'(46#$ 7A 1"(#+87$ 
27-7%/0 )'("(.. 
I34 2#"F7. *+,A,./ 1"('('71/ )(('2#')'2*5670 >"#$%(2, , -34 -*: — 
('.(F#.74 %#9-* >"#$%,%7. 
13
© 2012 !"#$%&'( ).*. +',&-. 4 
!"4%&"'*%&(#**4# ;"#$%&'()#*+# /3=' 
( (+$# %#&+ 5"#-24( 
14 
A 
E 
B 
Куб 
Проекция сторон 
Взаимное 
расположение 
(левее, выше и др.) 
A B E 
Принадлежность 
к вертикальному 
типу 
Параллелограмм, 
трапеция и т.д.
© 2012 !"#$%&'( ).*. +',&-. 4 
!"4%&"'*%&(#**7# + '/%4*42#&"+A#%/+# 
5"#-27 ;"+ +,2#*#*++ ;"4#/0++ 
E 
!3*/&+"*7# )+*++ ;4/',7('C& *#(+$+27# ( $'**4- ;"4#/0++ ;)4%/4%&+. 
15 
A 
E 
B B 
E 
C 
B 
Перемещение 
вправо 
Перемещение 
вправо 
Пространственный 
фрейм 
E A B C 
Влево Влево Влево 
Влево 
Аксонометрические 
фреймы 
Маркеры отношений 
для представления 
пространственных 
свойств
© 2012 !"#$%&'( ).*. +',&-. 4 
6"#-27-%0#*'"++ 
N0#*'"+- (script) — 4$+* +, (+$4( 5"#-2', ;"#$)4F#**7< ( [Schank R., 
Abelson R. Scripts Plans and Knowledge, Advance Papers of Fourth Intern. 
Joint Conf. on Artif. Intell., 1975, P 2, p. 151 - 157.] /'/ %"#$%&(4 
;"#$%&'()#*+1 %&#"#4&+;*4- ;4%)#$4('&#)?*4%&+ $#-%&(+- ( A'%&*42 
/4*&#/%&#. 
>,*'A')?*4 %0#*'"++ ;"+2#*1)+%? $)1 4"@'*+,'0++ %&"3/&3" $'**7<, 
3$4=*7< $)1 ;"#$%&'()#*+1 /4*0#;&3')?*4- ,'(+%+24%&+ (conceptual 
dependency) ( 4;+%'*++ &+;4(7< %+&3'0+- + ;"+A+**4-%)#$%&(#**7< 
4&*4H#*+-. 
!4,$*## %0#*'"++ *'A')+ +%;4)?,4('&? + ( 4="'=4&/# #%&#%&(#**4@4 1,7/' 
$)1 4;+%'*+1 %&#"#4&+;*4- %2#*7 %4=7&+- ( ;"+(7A*7< %+&3'0+1<. 
E ;%+<4)4@++ ;"#$;4)'@'#&%1, A&4 =4)?H+*%&(4 %0#*'"+#( ;4(#$#*+1 
3%('+('#&%1 ( $#&%&(# ( "#,3)?&'&# )+=4 ;"124@4 4;7&', )+=4 ;"+ 
*'=)C$#*++ ,' 4/"3F'CG+2 2+"42. 
16
© 2012 !"#$%&'( ).*. +',&-. 4 
N0#*'"+- «Q#%&4"'*» 
17 
Сценарий: 
Аналог: 
Реквизиты: 
РЕСТОРАН 
Кафе 
Столы 
Меню 
F=Пища(Food) 
Чек 
Деньги 
Сцена 1: Вход 
S PTRANS S в ресторан 
S ATTEND выбирает стол 
S MBUILD куда сесть 
S PTRANS S за стол 
S MOVE S в сидячее положение 
Сцена 2: Заказ 
Roles: S=Клиент (меню на столе) 
W=Официант (W приносит меню) (S спрашивает меню) 
C= Повар S PTRANS меню S S MTRANS сигнал W 
M=Кассир W PTRANS W к столу 
O=Владелец S MTRANS ’меню’ W 
W PTRANS W к меню 
W PTRANS W к столу 
W ATRANS меню S 
S MTRANS список блюд S 
*S MBUILD выбор F 
S MTRANS сигнал W 
W PTRANS W к столу 
S MTRANS ’Я буду есть F’ W 
W PTRANS W к C 
W MTRANS (ATRANS F) к C 
Нач. условия: S голоден C MTRANS ’нет F’ W 
у S есть W PTRANS W к S 
Деньги W MTRANS ’нет F’ S 
вернуться к (*) или C выполняет 
перейти к Сцене 4 на (сценарий ‘приготовить F’) 
(уход без оплаты) к Сцене 3 
Результаты: S потратил 
деньги Сцена 3: Прием пищи 
O заработал C ATRANS F to W 
деньги W ATRANS F to S (вариант: вернуться к Сцене 2 
S сыт S INGEST F Чтобы сделать еще заказ;; иначе, 
S доволен Перейти к Сцене 4) 
(optional) 
Сцена 4: Выход 
S MTRANS к W 
(W ATRANS чек S) 
W MOVE выписывать чек 
W PTRANS W к S 
W ATRANS чек S 
S ATRANS чаевые W 
S PTRANS S к M 
S ATRANS деньги M 
S PTRANS S к выходу ресторана 
(уход без оплаты) 
R42;4*#*&'2+ %0#*'"+1 1()1C&%1 %)#$3CG+# 
L)#2#*&7: 
• S'A')?*7# 3%)4(+1 (Entry conditions). 
• Q#,3)?&'&7, +)+ 5'/&7 (Results). 
• Q#/(+,+&7 (Props). 
• Q4)+ (Roles). 
• N0#*7 (Scene). 
N27%) (7"'F#*+- 4;"#$#)1#&%1 % ;424G?C 
A#&7"#< ;"+2+&+(4(: 
• ACT — $#-%&(+1 (actions); 
• PP — 4=T#/&7 (picture procedures); 
• AA — 24$+5+/'&4"7 $#-%&(+- (action aiders); 
• PA — 24$+5+/'&4"7 4=T#/&4( (picture aiders).
© 2012 !"#$%&'( ).*. +',&-. 4 
!"+2+&+(7 $#-%&(+1 ACT 
J).(2./%7 +(%1(.#.',%7 -#$)'27$ 42345')4 )3#-*567# 1"7%7'72/: 
•K ATRANS — 1#"#-,2,'? ('.(F#.7# (-,2,'?); 
•K PTRANS — 1#"#-,2,'? >7A7<#)+(# ",)1(3(9#.7# (;G#+', (7-'7); 
•K PROPEL — 1"7+3,-/2,'? >7A7<#)+*5 )73* + (;G#+', ('(3+,'?); 
•K MOVE — 1#"#%#6,'? <,)'? 737 2)# '#3( (23,-#3?8#%); 
•K GRASP — A,02,'/2,'? (;G#+' (7)1(3.7'#3#%); 
•K INGEST — 1(:3(6,'? (;G#+' (#)'?); 
•K EXPEL — 7A-,2,'? A2*+7 (+"7<,'?); 
•K MTRANS — 1#"#-,2,'? %#.',3?.*5 7.>("%,875 ()+,A,'?); 
•K MBUILD — )(A-,2,'? .(2*5 %#.',3?.*5 7.>("%,875 ("#F,'?); 
•K CONC — ()%/)372,'? 7-#5 (-*%,'?); 
•K SPEAK — 1"(7A.()7'? A2*+7 (:(2("7'?); 
•K ATTEND — 2()1"7.7%,'? A2*+7 ()3*F,'?). 
18
© 2012 !"#$%&'( ).*. +',&-. 4 
8&*4H#*+1 /4*0#;&3')?*4- ,'(+%+24%&+ 
8&*4H#*+1 /4*0#;&3')?*4- ,'(+%+24%&+ — L&4 
/4*0#;&3')?*7# %+*&'/%+A#%/+# ;"'(+)', (7"'F'CG+# 
%#2'*&+A#%/+# %(1,+ ( %44&(#&%&(++ % @"'22'&+/4- 
1,7/'. 
E7"'F#*+# «R)+#*& *';"'()1#&%1 ( "#%&4"'*» =3$#& 
(7@)1$#&? %)#$3CG+2 4="',42: «S PTRANS S ( 
"#%&4"'*». 
U"3@4# (7"'F#*+# «85+0+'*& $'#& 2#*C /)+#*&3» 
24F*4 ;"#$%&'(+&?, *';"+2#", &'/: «W ATRANS 2#*C 
S». 
19
© 2012 !"#$%&'( ).*. +',&-. 4 
exists, and if so, to discover its range. That 
i s , on the average, how far do we have to search 
to connect each thought in with the context? Too 
short and we become red, too long and we be-come 
!"+2#" %0#*'"+1 *' 4%*4(# >/>.> @"'5' 
lost. 
20 
Uses of I(T,K) 
An interpretation is a useful thing in i t - 
self. However, once an interpretation path is 
discovered, two other context-related operations 
become possible. First, all steps "to the left" 
of the identified step, S, in algorithm A - 
those steps which must logically have preceded 
S in A - can be generated as inferences. That 
i s , if we know that Jake has already saddled his 
horse, and this has been Interpreted as part of 
a physical get-back, then Jake must already know 
who and what X and Y were, have decided on some 
plan of action, perhaps qotten his gun, and 
gone to the barn. Such inferences relate to the 
149 
CONCEPTUAL OVERLAYS: A 
MECHANISM FOR THE 
INTERPRETATION 
OF SENTENCE MEANING IN 
CONTEXT 
Chuck Rieger Department of 
Computer Science University of 
Maryland 
College Park, Maryland 20742
© 2012 !"#$%&'( ).*. +',&-. 4 
!"+2#" %0#*'"+1 $)1 4;+%'*+1 ')@4"+&24( 
i t r i p ~ f'~,refi I l 
- %] o at~i/i 
The commonsense algorithm as a basis for computer models of human memory, 
inference, belief and contextual language comprehension. 
Chuck Rieger Department of Computer Science University of Maryland. 
TINLAP '75 Proceedings of the 1975 workshop on Theoretical issues in natural language 
processing 
6~6~r o~ ?uo#T~ 
L~t. ~A~If, Q.: IvPPI.Y 
LtN~- "r~ TA~V~ 
21 
tfaronkm ~ / / 
trip _# float 
~j~ / ~ J ~anole~llf~ arm 
_ ~ ~ _ ~ , channel vsuaplvpely IIIl1l dhaisr-g e 
I I I ~ pe 
c 
TANK 
supply |~ flush 
stewOer plpe~_ ValeV~ 
FIGURE 3 
A reverse-trap toilet. 
, i m, , 
ll!ft 
I "~ Over.fl ow 
' ~ ' - ' ) p, pe 
• ~flush ball 
K 
~Bk~6 c~c~ sutp6y Fuu~ ~F t~b 
V~#~. 
v~Lv~ 
Bo~L. 1"o w~rs~n~ 
G,'Z~W, T7 
~. w ~,~J~ 
wWr~ F~ 
15owu 6J~TF.~ H¢16.~ 
o~rr~ L~P ~F wksl~ 
FIGURE 4 
O~eration of the reverse-trap toilet. 
192 
I 
I 
I 
I 
I 
o~ ?uo#T~ 
i t r i p ~ f'~,refi I l 
tfaronkm ~ / / 
trip _# float 
- %] o at~i/i 
~j~ / ~ J ~anole~llf~ arm 
_ ~ ~ _ ~ , channel vsuaplvpely IIIl1l dhaisr-g e 
I I I ~ pe 
c 
TANK 
supply |~ flush 
stewOer plpe~_ ValeV~ 
FIGURE 3 
A reverse-trap toilet. 
, i m, , 
ll!ft 
I "~ Over.fl ow 
' ~ ' - ' ) p, pe 
• ~flush ball 
K 
~Bk~6 c~c~ sutp6y Fuu~ ~F t~b 
I 
I 
I 
I 
I
© 2012 !"#$%&'( ).*. +',&-. 4 
9*4F#%&(#**4# *'%)#$4('*+# 
22
© 2012 !"#$%&'( ).*. +',&-. 4 
!"+2#" %)4F*4- +#"'"<++ 
2*4F#%&(#**4@4 *'%)#$4('*+1 
23
© 2012 !"#$%&'( ).*. +',&-. 4 
!"4=)#2' ')2',' 
(diamond problem) 
!4)4F+2, A&4 /('/#"7 — L&4 ;'0+5+%&7, &4 #%&? ( 
%)4&# «;'0+5+%&» 5"#-2' «/('/#"» $4)F*4 =7&? 
,*'A#*+# +%&+*'. S';"4&+(, "#%;3=)+/'*07 
;'0+5+%&'2+ *# 1()1C&%1, ,*'A+&, ( %)4&# «;'0+5+,2» 
5"#-2' «"#%;3=)+/'*#0» =3$#& ,*'A#*+# «)4F?».V V 
24
© 2012 !"#$%&'( ).*. +',&-. 4 
N)'=7# %&4"4*7 ( '"<+&#/&3"# 
2*4F#%&(#**4@4 *'%)#$4('*+1 
1) '(#)*#+*,-*#.$/ — «%/#;&+A#%/+#» + 
«$4(#"A+(7#» %+%&#27. 
2) !"#01(2, 3"4&5#.$% 0,+#6#7# 51,.., (fragile 
base class problem) — +,2#*#*+1 ( /4"*#(42 
3,)# 24@3& =7&? *#=#,4;'%*72+ $)1 
*'%)#$3#27<. 
3) !"#01(2, 8#-8# (yo-yo problem) — 
*#;42#"*4 =4)?H4- @"'5 +#"'"<++ 
*'%)#$4('*+1. 
25
© 2012 !"#$%&'( ).*. +',&-. 4 
8=T#/&*4-4"+#*&+"4('**7- ;4$<4$ 
J;G#+'.(–("7#.'7"(2,..,4 '#0.(3(:74 
(object–oriented approach) 
1"(:",%%7"(2,.74 (JJC) )>("%7"(2,3,)? 
2 .,<,3# 1980-0 ::. 
J;G#+'.(–)'"*+'*"7"(2,..(# 
1"(:",%%7"(2,.7#. 
L,;3(./ 1"(#+'7"(2,.74 (design patterns). 
26
© 2012 !"#$%&'( ).*. +',&-. 4 
:=%&"'@+"4('*+# + /)'%%+5+/'0+1 
90.$",5:%; (7$#)1#& %3G#%&(#**7# 
<'"'/&#"+%&+/+ *#/4&4"4@4 4=T#/&', 4&)+A'CG+# 
#@4 4& (%#< $"3@+< (+$4( 4=T#/&4( +, &'/+2 
4="',42, A#&/4 4;"#$#)1#& #@4 /4*0#;&3')?*7# 
@"'*+07 % &4A/+ ,"#*+1 *'=)C$'&#)1. 
<1,..%=%5,:%; — %"#$%&(4 3;4"1$4A#*+1 ,*'*+-, 
"'%;"#$#)#*+# ;"#$2#&4( ;4 @"3;;'2, @$# /'F$'1 
@"3;;', /'F$7- /)'%% +2##& %(4# ;4%&41**4# 
2#%&4 
27
© 2012 !"#$%&'( ).*. +',&-. 4 
!"+2#"7 '=%&"'/0+- 
1) ,0.$",5:%; .4>*#.$% — 4=T#/& ;"#$%&'()1#& %4=4- 
;4)#,*3C 24$#)? *#/4- %3G*4%&+ ( ;"#$2#&*4- 4=)'%&+; 
2) ,0.$",5:%; &#6()(*%; — 4=T#/& %4%&4+& +, 4=4=G#**4@4 
2*4F#%&(' 4;#"'0+-; 
3) ,0.$",5:%; 6%"$4,1/*#8 2,?%*@ — 4=T#/& @"3;;+"3#& 
4;#"'0++, /4&4"7# )+=4 (2#%&# +%;4)?,3C&%1 =4)## 
(7%4/+2 3"4(*#2 3;"'()#*+1, )+=4 %'2+ +%;4)?,3C& 
*#/4&4"7- *'=4" 4;#"'0+- =4)## *+,/4@4 3"4(*1 
4)&"#%+6#1/*,; ,0.$",5:%; — 4=T#/& (/)CA'#& ( %#=1 *'=4" 
4;#"'0+-, *# +2#CG+< $"3@ % $"3@42 *+A#@4 4=G#@4. 
28
© 2012 !"#$%&'( ).*. +',&-. 4 
!4$<4$7 / /)'%%+5+/'0++ 
1) <1,..%-(.5,; 5,$(7#"%+,:%; — /)'%%+5+/'0+1 ;4*1&+- 
4%3G#%&()1#&%1 +%<4$1 +, 4;"#$#)#**4@4 %(4-%&(' +)+ 
%4(4/3;*4%&+ %(4-%&(, *' 4%*4('*++ /4&4"7< 54"2+"3#&%1 
*#/4&4"'1 /'&#@4"+1 (%(4-%&('). 
2) <#*:(&$4,1/*,; 51,.$("%+,:%; — 54"2+"4('*+# 
/4*0#;&3')?*7< 4;+%'*+- /)'%%4( (/)'%&#"4( 4=T#/&4(), *' 
4%*4('*++ /4&4"7< ,'&#2 (7;4)*1#&%1 /)'%%+5+/'0+1 
%3G*4%&#- (4;"#$#)#*+1). 
3) A(#"%; &"#$#$%&#6 — /)'%% 4;"#$#)1#&%1 4$*+2 4=T#/&42- 
;"4&4&+;42, + *4(7- 4=T#/& 24F*4 4&*#%&+ / /)'%%3 ;"+ 
3%)4(++, A&4 4* *'$#)#* %3G#%&(#**72 %<4$%&(42 % 
;"4&4&+;42 (;"+2#"). 
29
© 2012 !"#$%&'( ).*. +',&-. 4 
«J+%&'1» 4=T#/&*4-4"+#*&+"4('**'1 24$#)? 
51,.. (class), 
,$"%04$@ (attribute) + 2($#)@ (method), 
%*$("=(8. (class interface), 
.##0>(*%( (message), 
%*5,&.41;:%; (encapsulation), 
*,.1()#6,*%( (inheritance), 
&#1%2#"=%+2 (polymorphism), 
#0B(5$ (object), 
2($,51,.. (metaclass), 
%*$"#.&(5$%6*@( (introspective) +)+ "(=1(5.%6*@( (reflex) 4=T#/&7. 
30

Más contenido relacionado

La actualidad más candente

Newsletter Décembre
Newsletter DécembreNewsletter Décembre
Newsletter DécembreLeRomegas
 
ασφάλεια και διαδίκτυο
ασφάλεια και διαδίκτυοασφάλεια και διαδίκτυο
ασφάλεια και διαδίκτυοEleni Psara
 
Media Labs
Media LabsMedia Labs
Media Labslajele
 
Strategia demonów
Strategia demonówStrategia demonów
Strategia demonówsiloam
 
CLiCS: Categorical Logic in Computer Science
CLiCS: Categorical Logic in Computer ScienceCLiCS: Categorical Logic in Computer Science
CLiCS: Categorical Logic in Computer ScienceValeria de Paiva
 
Social media, search and the interplay of considiration and consumption
Social media, search and the interplay of considiration and consumptionSocial media, search and the interplay of considiration and consumption
Social media, search and the interplay of considiration and consumptionMitya Voskresensky
 
أهل سنت والجماعت كا عقيده
أهل سنت والجماعت كا عقيدهأهل سنت والجماعت كا عقيده
أهل سنت والجماعت كا عقيدهIslamhouse.com
 
Caso catenaria aprendiendo a innovar en la organizacion
Caso catenaria aprendiendo a innovar en la organizacionCaso catenaria aprendiendo a innovar en la organizacion
Caso catenaria aprendiendo a innovar en la organizacionInnovacionSistematica
 
Research methodology
Research methodologyResearch methodology
Research methodologyProjects Kart
 
Bases pedagogicas (1)
Bases pedagogicas (1)Bases pedagogicas (1)
Bases pedagogicas (1)zulayberny
 

La actualidad más candente (16)

Facet Decision Systems
Facet Decision SystemsFacet Decision Systems
Facet Decision Systems
 
Newsletter Décembre
Newsletter DécembreNewsletter Décembre
Newsletter Décembre
 
Estatuto docente
Estatuto docenteEstatuto docente
Estatuto docente
 
ασφάλεια και διαδίκτυο
ασφάλεια και διαδίκτυοασφάλεια και διαδίκτυο
ασφάλεια και διαδίκτυο
 
Ação Civil Pública n. 0909576-26.2013.8.24.0023
Ação Civil Pública n. 0909576-26.2013.8.24.0023Ação Civil Pública n. 0909576-26.2013.8.24.0023
Ação Civil Pública n. 0909576-26.2013.8.24.0023
 
Media Labs
Media LabsMedia Labs
Media Labs
 
Hands-On Leadership 2010
Hands-On Leadership 2010Hands-On Leadership 2010
Hands-On Leadership 2010
 
Burmistrov
BurmistrovBurmistrov
Burmistrov
 
Strategia demonów
Strategia demonówStrategia demonów
Strategia demonów
 
CLiCS: Categorical Logic in Computer Science
CLiCS: Categorical Logic in Computer ScienceCLiCS: Categorical Logic in Computer Science
CLiCS: Categorical Logic in Computer Science
 
Social media, search and the interplay of considiration and consumption
Social media, search and the interplay of considiration and consumptionSocial media, search and the interplay of considiration and consumption
Social media, search and the interplay of considiration and consumption
 
أهل سنت والجماعت كا عقيده
أهل سنت والجماعت كا عقيدهأهل سنت والجماعت كا عقيده
أهل سنت والجماعت كا عقيده
 
Caso catenaria aprendiendo a innovar en la organizacion
Caso catenaria aprendiendo a innovar en la organizacionCaso catenaria aprendiendo a innovar en la organizacion
Caso catenaria aprendiendo a innovar en la organizacion
 
Research methodology
Research methodologyResearch methodology
Research methodology
 
Bases pedagogicas
Bases pedagogicasBases pedagogicas
Bases pedagogicas
 
Bases pedagogicas (1)
Bases pedagogicas (1)Bases pedagogicas (1)
Bases pedagogicas (1)
 

Destacado (6)

Экспертные системы: лекция №5
Экспертные системы: лекция №5Экспертные системы: лекция №5
Экспертные системы: лекция №5
 
МАПО 2013 Лекция 09 Концептуальное моделирование
МАПО 2013 Лекция 09 Концептуальное моделированиеМАПО 2013 Лекция 09 Концептуальное моделирование
МАПО 2013 Лекция 09 Концептуальное моделирование
 
Dmitry Mouromtsev. eLearning System. Openedu.ifmo.ru
Dmitry Mouromtsev. eLearning System. Openedu.ifmo.ruDmitry Mouromtsev. eLearning System. Openedu.ifmo.ru
Dmitry Mouromtsev. eLearning System. Openedu.ifmo.ru
 
Экспертные системы: лекция №3
Экспертные системы: лекция №3Экспертные системы: лекция №3
Экспертные системы: лекция №3
 
Экспертные системы: лекция №2
Экспертные системы: лекция №2Экспертные системы: лекция №2
Экспертные системы: лекция №2
 
SemIoT (Semantic technologies for Internet of Things) - Project Overview
SemIoT (Semantic technologies for Internet of Things) - Project OverviewSemIoT (Semantic technologies for Internet of Things) - Project Overview
SemIoT (Semantic technologies for Internet of Things) - Project Overview
 

Más de Laboratory of Information Science and Semantic Technologies

Más de Laboratory of Information Science and Semantic Technologies (8)

KL10TCH.School : Введение в Linked Data и Semantic Web
KL10TCH.School : Введение в Linked Data и Semantic WebKL10TCH.School : Введение в Linked Data и Semantic Web
KL10TCH.School : Введение в Linked Data и Semantic Web
 
Linked Data and Semantic Web Application Development by Peter Haase
Linked Data and Semantic Web Application Development by Peter HaaseLinked Data and Semantic Web Application Development by Peter Haase
Linked Data and Semantic Web Application Development by Peter Haase
 
Экспертные системы: лекция №1
Экспертные системы: лекция №1Экспертные системы: лекция №1
Экспертные системы: лекция №1
 
John Domingue. Developing rich interactive e books to teach linked open data ...
John Domingue. Developing rich interactive e books to teach linked open data ...John Domingue. Developing rich interactive e books to teach linked open data ...
John Domingue. Developing rich interactive e books to teach linked open data ...
 
Aliaksandr Birukou. Linked Data Initiatives at Springer Verlag
Aliaksandr Birukou. Linked Data Initiatives at Springer VerlagAliaksandr Birukou. Linked Data Initiatives at Springer Verlag
Aliaksandr Birukou. Linked Data Initiatives at Springer Verlag
 
Open Data in Education. Introduction
Open Data in Education. IntroductionOpen Data in Education. Introduction
Open Data in Education. Introduction
 
Kristi Holmes. A bird’s-eye view of scholarship at the individual, institutio...
Kristi Holmes. A bird’s-eye view of scholarship at the individual, institutio...Kristi Holmes. A bird’s-eye view of scholarship at the individual, institutio...
Kristi Holmes. A bird’s-eye view of scholarship at the individual, institutio...
 
Darya Tarasowa. SlideWiki. Description
Darya Tarasowa. SlideWiki. DescriptionDarya Tarasowa. SlideWiki. Description
Darya Tarasowa. SlideWiki. Description
 

Экспертные системы: лекция №4

  • 1. .#/0+1 4 !"#$%&'()#*+# ,*'*+- Часть III 6"#-27 + 88! 23"420#($+."5 dimour.spb.ru mouromsev@mail.ifmo.ru
  • 2. © 2012 !"#$%&'( ).*. +',&-. 4 9'"(+* .+ 9+*%/+- :(&4" ;#"(7< "'=4& ;4 *#-"4**72 %#&12, ;#"%#;&"4*'2 (1954). >,4="#&'&#)? @"'5+A#%/4@4 $+%;)#1 (1963) :(&4" 2*4@4A+%)#**7< '=4&' ;4 >> + 5+)4%45++. 8=)'$'&#)? ;"#2++ B?C"+*@' + ;"#2++ D;4*++. 2 http://web.media.mit.edu/~minsky/
  • 3. © 2012 !"#$%&'( ).*. +',&-. 4 6"#-27 (frames) E;#"(7# &#"2+* «5"#-2» =7) ;"#$)4F#* 9+*%/+2 (Minsky) ( 1974 /'/ "#,3)?&'& +%%)#$4('*+- ;4 (4%;"+1&+C &"#<2#"*7< %0#*. 8=4,*'A'#& 4;"#$#)#**72 4="',42 %&"3/&3"+"4('**7# $'**7#, ;"#$%&'()1CG+# *#/+- '=%&"'/&*7- 4="', +)+ %&#"#4&+;. E 4%*4(# &#4"++ 9+*%/4@4 )#F'& +%%)#$4('*+1 ;4 (4%;"+1&+C + ,';42+*'*+C %&#"#4&+;*7< %+&3'0+- + ;"4&4&+;*423 %"'(*#*+C 4="',4( + @#H&')?&- ;%+<4)4@++. 3
  • 4. © 2012 !"#$%&'( ).*. +',&-. 4 8;"#$#)#*+# 9+*%/4@4 «!"#$% — &'( )'"*+'*", -,../0, 1"#-)',23456,4 )'#"#('71.*5 )7'*,875, 2"(-# .,0(9-#.74 2.*'"7 .#+('("(:( "(-, 973($ +(%.,'/ 737 );(", ., 2#<#"7.+* 1( 1(2(-* -.4 "(9-#.74 "#;#.+,. = +,9-(%* >"#$%* 1"7)(#-7.4#')4 .#)+(3?+( 27-(2 7.>("%,877. @,)'? &'($ 7.>("%,877 — ( '(%, +,+ 7)1(3?A(2,'? >"#$%. @,)'? ( '(%, <#:( %(9.( (97-,'? -,3##. @,)'? ( '(%, <'( )3#-*#' -#3,'?, #)37 &'7 (97-,.74 .# 1(-'2#"-4')4». I&' %&"3/&3"' ;"#$%&'()1#& %4=4- *#/+- H'=)4*, +,()#/'#27- +, ;'21&+ ;"+ (4,*+/*4(#*++ *4(4- +)+ +,2#*#*++ %4$#"F'*+1 %3G#%&(3CG#- %+&3'0++, /4&4"7- 24F#& =7&? '$';&+"4('* ;4$ %)4F+(H3C%1 "#')?*4%&?. 4
  • 5. © 2012 !"#$%&'( ).*. +',&-. 4 !"#$%&'()#*+# %&#"#4&+;*7< %+&3'0+- 8$*+2 +, /)CA#(7< %(4-%&( 1,7/' ;"#$%&'()#*+1 ,*'*+- 1()1#&%1 #@4 (7"',+&#)?*4%&? ;"+ 4;+%'*++ &+;4(7< %+&3'0+-. I/%;#"+2#*&')?*7# +%%)#$4('*+1 ;4/',')+, A&4 ( ;"40#%%# ,';42+*'*+1 )C$+ 4"@'*+,3C& ,*'*+1 ( %&"3/&3"7, %44&(#&%&(3CG+# &+;4(72 %+&3'0+12. J#)4(#/ =#, &"3$' *'<4$+& (#"*3C +*&#";"#&'0+C (7%/',7('*+1 ( "'2/'< %3G#%&(3CG#@4 /4*&#/%&'. E ;"40#%%# A&#*+1 A#)4(#/ 24$+5+0+"3#& %&"3/&3"3 ,*'*+1, ;4$%&"'+('1%?, &'/+2 4="',42, ;4$ /4*&#/%& ;4)3A'#24- +*54"2'0++. 5
  • 6. © 2012 !"#$%&'( ).*. +',&-. 4 E4%;"+1&+# &#/%&' K%)+ A+&'#27- &#/%& ;)4<4 %&"3/&3"+"4('*, 4$*+ + &# F# ;"#$)4F#*+1 %4$#"F'& *# %(1,'**7# ;4 %27%)3 5"'@2#*&7, (4%;"+1&+# ,*'A+&#)?*4 3%)4F*1#&%1, &'/ /'/ %&'*4(+&?%1 *#(4,24F*4 =7%&"4 3%&'*4(+&?, / /'/4- %&"3/&3"# ,*'*+1 %)#$3#& 4&*#%&+ &3 +)+ +*3C 5"',3. E &4 F# ("#21 =4)?H+*%&(4 )C$#- =#, &"3$' (4%;"+*+2'#& <4"4H4 %&"3/&3"+"4('**7- &#/%&, $'F# #%)+ L&4& &#/%& %4$#"F+& =4)?H4# /4)+A#%&(4 4;#A'&4/. 6
  • 7. © 2012 !"#$%&'( ).*. +',&-. 4 !"+2#" (4%;"+1&+1 &#/%&' По рзелульаттам илссеовадний одонго анлигйсокго унвиертисета, не иеемт занчнеия, в кокам пряокде рсапожолены бкувы в солве. Галвоне, чотбы преавя и пслоендяя бквуы блыи на мсете. Осатьлыне бкувы мгоут селдовтаь в плоонм бсепордяке, все-рвано ткест чтаитсея без побрелм. Пичрионй эгото ялвятеся то, что мы не чиатем кдаужю бкуву по отдльенотси, а все солво цликеом. 7
  • 8. © 2012 !"#$%&'( ).*. +',&-. 4 !"4&4&+;*4# %"'(*#*+# 4="',4( E ;%+<4)4@++ ;"#$;4)'@'#&%1, A&4 ( $4)@4("#2#**4- ;'21&+ A#)4(#/' <"'*1&%1 *# /4*/"#&*7# L&')4*7 4="',4( + &#2 =4)## *# $#&')?*7# ;"+,*'/+ L&+< 4="',4(, ' *#/4&4"4# +< '=%&"'/&*4# ;"#$%&'()#*+# ( (+$# ;"4&4&+;4(. !"4&4&+;7 %4$#"F'& *# &4)?/4 *'+=4)## 4=G## ;"#$%&'()#*+# /'/4@4-)+=4 4="',', *4 + $#&')?*4# 4;+%'*+# #@4 4&)+A+&#)?*7< 4%4=#**4%&#-. I&4 ;4$&(#"F$'#&%1 &#2, A&4 27 "#$/4 ;3&'#2 =3/(7 O + Q +)+ B, R + P, *#%24&"1 *' &4, A&4 %<4$%&(4 2#F$3 *+2+ (#%?2' (#)+/4. E &#4"++ ;"4&4&+;4( "'%%2'&"+('C&%1 $(# 24$#)+ 54"2+"4('*+1: 0#*&"')?*'1 &#*$#*0+1 + A'%&4&' ;"+,*'/4(. M)'@4$'"1 L&423, #%)+ *4(7- 4="', %4%&4+& +, =4)?H4@4 /4)+A#%&(' +,(#%&*7< ;"+,*'/4(, 3 A#)4(#/' (4,*+/'#& 3(#"#**4%&?, A&4 L&4& 4* 3F# (+$#) "'*##. 8
  • 9. © 2012 !"#$%&'( ).*. +',&-. 4 !"+2#" ()+1*+1 ;'21&+ *' (4%;"+1&+# 54"27 B374.7# ("7#.',877 (;",A, ., #:( 2()1"74'7# — (-., 7A >("% +,9#')4 '"#0%#".($. 9
  • 10. © 2012 !"#$%&'( ).*. +',&-. 4 !4*1&+# ;"4&4&+;' !"#$%&'()#*+# ;4*1&+- A#)4(#/' *# &"#=3#& A#&/4@4 4;"#$#)#*+1 *'=4"' %(4-%&(, ' =',+"3#&%1 *' ;4*1&++ &+;' +)+ /)'%%'. !"#$#$%& — L&4 3F# *# '=%&"'/&*7- 4="',, ' *'+=4)## &+;+A*7- ;"#$%&'(+&#)? %(4#@4 /)'%%', % 4=4=G#**72+, *4 (;4)*# /4*/"#&*72+ ,*'A#*+12+ %(4+< %(4-%&(. «9#*##» + «=4)##» &+;+A*7# A#&7"#<3@4)?*+/+ 10
  • 11. © 2012 !"#$%&'( ).*. +',&-. 4 N&"3/&3"' 5"#-2' /01(02-' 3$2.4-. (-%. 5#'6%0) 78$49 :20;'2-. 11 73-<$, <(.10229= 3#$&'>"# >21 %)4&' 1 O*'A#*+# 1 !"40#$3"' 1 >21 %)4&' 2 O*'A#*+# 2 !"40#$3"' 2.1, !"40#$3"' 2.2 … … … >21 %)4&' N O*'A#*+# N !"40#$3"' N
  • 12. © 2012 !"#$%&'( ).*. +',&-. 4 !"+2#" 4;+%'*+1 ,*'*+- % ;424G?C 5"#-24( 12
  • 13. © 2012 !"#$%&'( ).*. +',&-. 4 6"#-27 (+,3')?*7< 4="',4( C"(;3#%/ 2()1"74'74 7 ",)1(A.,2,.74 1"()'",.)'2#../0 )8#. ",))%,'"72,5')4 2 ",;(',0 D7.)+(:(, 2 <,)'.()'7 2 [Minsky, Marvin. A framework for representing knowledge. MIT AI Laboratory Memo 306, June, 1974.]. E))3#-*4 (-.7 7A ,)1#+'(2 2()1"74'74 )8#./ 1"7 -279#.77 "(;(', 1( +(%.,'#, (. "#F,3 A,-,<* (1"#-#3#.74 )(('2#')'274 ",A37<./0 1"(#+87$ (-.(%* 7 '(%* 9# (;G#+'*. D7.)+7$ 22#3 *1"(6#..*5 )7)'#%* >"#$%(2 -34 1"()'",.)'2#..(:( (17),.74 +*;, 2 27-# :",>,, (-.7 *A3/ +('("(:( )(('2#')'2(2,37 ;(3## 2/)(+($ )'#1#.7 ,;)'",+877 7 (17)/2,37 1(.4'74, 1()'(4..( 1"7)*')'2*567# ., -,..($ )8#.# (+*;). H, ;(3## .7A+70 *"(2.40 )(-#"9,37)? *A3/, )(('2#')'2*567# '#+*6#%* )()'(4.75 )8#./, )()'(46#$ 7A 1"(#+87$ 27-7%/0 )'("(.. I34 2#"F7. *+,A,./ 1"('('71/ )(('2#')'2*5670 >"#$%(2, , -34 -*: — ('.(F#.74 %#9-* >"#$%,%7. 13
  • 14. © 2012 !"#$%&'( ).*. +',&-. 4 !"4%&"'*%&(#**4# ;"#$%&'()#*+# /3=' ( (+$# %#&+ 5"#-24( 14 A E B Куб Проекция сторон Взаимное расположение (левее, выше и др.) A B E Принадлежность к вертикальному типу Параллелограмм, трапеция и т.д.
  • 15. © 2012 !"#$%&'( ).*. +',&-. 4 !"4%&"'*%&(#**7# + '/%4*42#&"+A#%/+# 5"#-27 ;"+ +,2#*#*++ ;"4#/0++ E !3*/&+"*7# )+*++ ;4/',7('C& *#(+$+27# ( $'**4- ;"4#/0++ ;)4%/4%&+. 15 A E B B E C B Перемещение вправо Перемещение вправо Пространственный фрейм E A B C Влево Влево Влево Влево Аксонометрические фреймы Маркеры отношений для представления пространственных свойств
  • 16. © 2012 !"#$%&'( ).*. +',&-. 4 6"#-27-%0#*'"++ N0#*'"+- (script) — 4$+* +, (+$4( 5"#-2', ;"#$)4F#**7< ( [Schank R., Abelson R. Scripts Plans and Knowledge, Advance Papers of Fourth Intern. Joint Conf. on Artif. Intell., 1975, P 2, p. 151 - 157.] /'/ %"#$%&(4 ;"#$%&'()#*+1 %&#"#4&+;*4- ;4%)#$4('&#)?*4%&+ $#-%&(+- ( A'%&*42 /4*&#/%&#. >,*'A')?*4 %0#*'"++ ;"+2#*1)+%? $)1 4"@'*+,'0++ %&"3/&3" $'**7<, 3$4=*7< $)1 ;"#$%&'()#*+1 /4*0#;&3')?*4- ,'(+%+24%&+ (conceptual dependency) ( 4;+%'*++ &+;4(7< %+&3'0+- + ;"+A+**4-%)#$%&(#**7< 4&*4H#*+-. !4,$*## %0#*'"++ *'A')+ +%;4)?,4('&? + ( 4="'=4&/# #%&#%&(#**4@4 1,7/' $)1 4;+%'*+1 %&#"#4&+;*4- %2#*7 %4=7&+- ( ;"+(7A*7< %+&3'0+1<. E ;%+<4)4@++ ;"#$;4)'@'#&%1, A&4 =4)?H+*%&(4 %0#*'"+#( ;4(#$#*+1 3%('+('#&%1 ( $#&%&(# ( "#,3)?&'&# )+=4 ;"124@4 4;7&', )+=4 ;"+ *'=)C$#*++ ,' 4/"3F'CG+2 2+"42. 16
  • 17. © 2012 !"#$%&'( ).*. +',&-. 4 N0#*'"+- «Q#%&4"'*» 17 Сценарий: Аналог: Реквизиты: РЕСТОРАН Кафе Столы Меню F=Пища(Food) Чек Деньги Сцена 1: Вход S PTRANS S в ресторан S ATTEND выбирает стол S MBUILD куда сесть S PTRANS S за стол S MOVE S в сидячее положение Сцена 2: Заказ Roles: S=Клиент (меню на столе) W=Официант (W приносит меню) (S спрашивает меню) C= Повар S PTRANS меню S S MTRANS сигнал W M=Кассир W PTRANS W к столу O=Владелец S MTRANS ’меню’ W W PTRANS W к меню W PTRANS W к столу W ATRANS меню S S MTRANS список блюд S *S MBUILD выбор F S MTRANS сигнал W W PTRANS W к столу S MTRANS ’Я буду есть F’ W W PTRANS W к C W MTRANS (ATRANS F) к C Нач. условия: S голоден C MTRANS ’нет F’ W у S есть W PTRANS W к S Деньги W MTRANS ’нет F’ S вернуться к (*) или C выполняет перейти к Сцене 4 на (сценарий ‘приготовить F’) (уход без оплаты) к Сцене 3 Результаты: S потратил деньги Сцена 3: Прием пищи O заработал C ATRANS F to W деньги W ATRANS F to S (вариант: вернуться к Сцене 2 S сыт S INGEST F Чтобы сделать еще заказ;; иначе, S доволен Перейти к Сцене 4) (optional) Сцена 4: Выход S MTRANS к W (W ATRANS чек S) W MOVE выписывать чек W PTRANS W к S W ATRANS чек S S ATRANS чаевые W S PTRANS S к M S ATRANS деньги M S PTRANS S к выходу ресторана (уход без оплаты) R42;4*#*&'2+ %0#*'"+1 1()1C&%1 %)#$3CG+# L)#2#*&7: • S'A')?*7# 3%)4(+1 (Entry conditions). • Q#,3)?&'&7, +)+ 5'/&7 (Results). • Q#/(+,+&7 (Props). • Q4)+ (Roles). • N0#*7 (Scene). N27%) (7"'F#*+- 4;"#$#)1#&%1 % ;424G?C A#&7"#< ;"+2+&+(4(: • ACT — $#-%&(+1 (actions); • PP — 4=T#/&7 (picture procedures); • AA — 24$+5+/'&4"7 $#-%&(+- (action aiders); • PA — 24$+5+/'&4"7 4=T#/&4( (picture aiders).
  • 18. © 2012 !"#$%&'( ).*. +',&-. 4 !"+2+&+(7 $#-%&(+1 ACT J).(2./%7 +(%1(.#.',%7 -#$)'27$ 42345')4 )3#-*567# 1"7%7'72/: •K ATRANS — 1#"#-,2,'? ('.(F#.7# (-,2,'?); •K PTRANS — 1#"#-,2,'? >7A7<#)+(# ",)1(3(9#.7# (;G#+', (7-'7); •K PROPEL — 1"7+3,-/2,'? >7A7<#)+*5 )73* + (;G#+', ('(3+,'?); •K MOVE — 1#"#%#6,'? <,)'? 737 2)# '#3( (23,-#3?8#%); •K GRASP — A,02,'/2,'? (;G#+' (7)1(3.7'#3#%); •K INGEST — 1(:3(6,'? (;G#+' (#)'?); •K EXPEL — 7A-,2,'? A2*+7 (+"7<,'?); •K MTRANS — 1#"#-,2,'? %#.',3?.*5 7.>("%,875 ()+,A,'?); •K MBUILD — )(A-,2,'? .(2*5 %#.',3?.*5 7.>("%,875 ("#F,'?); •K CONC — ()%/)372,'? 7-#5 (-*%,'?); •K SPEAK — 1"(7A.()7'? A2*+7 (:(2("7'?); •K ATTEND — 2()1"7.7%,'? A2*+7 ()3*F,'?). 18
  • 19. © 2012 !"#$%&'( ).*. +',&-. 4 8&*4H#*+1 /4*0#;&3')?*4- ,'(+%+24%&+ 8&*4H#*+1 /4*0#;&3')?*4- ,'(+%+24%&+ — L&4 /4*0#;&3')?*7# %+*&'/%+A#%/+# ;"'(+)', (7"'F'CG+# %#2'*&+A#%/+# %(1,+ ( %44&(#&%&(++ % @"'22'&+/4- 1,7/'. E7"'F#*+# «R)+#*& *';"'()1#&%1 ( "#%&4"'*» =3$#& (7@)1$#&? %)#$3CG+2 4="',42: «S PTRANS S ( "#%&4"'*». U"3@4# (7"'F#*+# «85+0+'*& $'#& 2#*C /)+#*&3» 24F*4 ;"#$%&'(+&?, *';"+2#", &'/: «W ATRANS 2#*C S». 19
  • 20. © 2012 !"#$%&'( ).*. +',&-. 4 exists, and if so, to discover its range. That i s , on the average, how far do we have to search to connect each thought in with the context? Too short and we become red, too long and we be-come !"+2#" %0#*'"+1 *' 4%*4(# >/>.> @"'5' lost. 20 Uses of I(T,K) An interpretation is a useful thing in i t - self. However, once an interpretation path is discovered, two other context-related operations become possible. First, all steps "to the left" of the identified step, S, in algorithm A - those steps which must logically have preceded S in A - can be generated as inferences. That i s , if we know that Jake has already saddled his horse, and this has been Interpreted as part of a physical get-back, then Jake must already know who and what X and Y were, have decided on some plan of action, perhaps qotten his gun, and gone to the barn. Such inferences relate to the 149 CONCEPTUAL OVERLAYS: A MECHANISM FOR THE INTERPRETATION OF SENTENCE MEANING IN CONTEXT Chuck Rieger Department of Computer Science University of Maryland College Park, Maryland 20742
  • 21. © 2012 !"#$%&'( ).*. +',&-. 4 !"+2#" %0#*'"+1 $)1 4;+%'*+1 ')@4"+&24( i t r i p ~ f'~,refi I l - %] o at~i/i The commonsense algorithm as a basis for computer models of human memory, inference, belief and contextual language comprehension. Chuck Rieger Department of Computer Science University of Maryland. TINLAP '75 Proceedings of the 1975 workshop on Theoretical issues in natural language processing 6~6~r o~ ?uo#T~ L~t. ~A~If, Q.: IvPPI.Y LtN~- "r~ TA~V~ 21 tfaronkm ~ / / trip _# float ~j~ / ~ J ~anole~llf~ arm _ ~ ~ _ ~ , channel vsuaplvpely IIIl1l dhaisr-g e I I I ~ pe c TANK supply |~ flush stewOer plpe~_ ValeV~ FIGURE 3 A reverse-trap toilet. , i m, , ll!ft I "~ Over.fl ow ' ~ ' - ' ) p, pe • ~flush ball K ~Bk~6 c~c~ sutp6y Fuu~ ~F t~b V~#~. v~Lv~ Bo~L. 1"o w~rs~n~ G,'Z~W, T7 ~. w ~,~J~ wWr~ F~ 15owu 6J~TF.~ H¢16.~ o~rr~ L~P ~F wksl~ FIGURE 4 O~eration of the reverse-trap toilet. 192 I I I I I o~ ?uo#T~ i t r i p ~ f'~,refi I l tfaronkm ~ / / trip _# float - %] o at~i/i ~j~ / ~ J ~anole~llf~ arm _ ~ ~ _ ~ , channel vsuaplvpely IIIl1l dhaisr-g e I I I ~ pe c TANK supply |~ flush stewOer plpe~_ ValeV~ FIGURE 3 A reverse-trap toilet. , i m, , ll!ft I "~ Over.fl ow ' ~ ' - ' ) p, pe • ~flush ball K ~Bk~6 c~c~ sutp6y Fuu~ ~F t~b I I I I I
  • 22. © 2012 !"#$%&'( ).*. +',&-. 4 9*4F#%&(#**4# *'%)#$4('*+# 22
  • 23. © 2012 !"#$%&'( ).*. +',&-. 4 !"+2#" %)4F*4- +#"'"<++ 2*4F#%&(#**4@4 *'%)#$4('*+1 23
  • 24. © 2012 !"#$%&'( ).*. +',&-. 4 !"4=)#2' ')2',' (diamond problem) !4)4F+2, A&4 /('/#"7 — L&4 ;'0+5+%&7, &4 #%&? ( %)4&# «;'0+5+%&» 5"#-2' «/('/#"» $4)F*4 =7&? ,*'A#*+# +%&+*'. S';"4&+(, "#%;3=)+/'*07 ;'0+5+%&'2+ *# 1()1C&%1, ,*'A+&, ( %)4&# «;'0+5+,2» 5"#-2' «"#%;3=)+/'*#0» =3$#& ,*'A#*+# «)4F?».V V 24
  • 25. © 2012 !"#$%&'( ).*. +',&-. 4 N)'=7# %&4"4*7 ( '"<+&#/&3"# 2*4F#%&(#**4@4 *'%)#$4('*+1 1) '(#)*#+*,-*#.$/ — «%/#;&+A#%/+#» + «$4(#"A+(7#» %+%&#27. 2) !"#01(2, 3"4&5#.$% 0,+#6#7# 51,.., (fragile base class problem) — +,2#*#*+1 ( /4"*#(42 3,)# 24@3& =7&? *#=#,4;'%*72+ $)1 *'%)#$3#27<. 3) !"#01(2, 8#-8# (yo-yo problem) — *#;42#"*4 =4)?H4- @"'5 +#"'"<++ *'%)#$4('*+1. 25
  • 26. © 2012 !"#$%&'( ).*. +',&-. 4 8=T#/&*4-4"+#*&+"4('**7- ;4$<4$ J;G#+'.(–("7#.'7"(2,..,4 '#0.(3(:74 (object–oriented approach) 1"(:",%%7"(2,.74 (JJC) )>("%7"(2,3,)? 2 .,<,3# 1980-0 ::. J;G#+'.(–)'"*+'*"7"(2,..(# 1"(:",%%7"(2,.7#. L,;3(./ 1"(#+'7"(2,.74 (design patterns). 26
  • 27. © 2012 !"#$%&'( ).*. +',&-. 4 :=%&"'@+"4('*+# + /)'%%+5+/'0+1 90.$",5:%; (7$#)1#& %3G#%&(#**7# <'"'/&#"+%&+/+ *#/4&4"4@4 4=T#/&', 4&)+A'CG+# #@4 4& (%#< $"3@+< (+$4( 4=T#/&4( +, &'/+2 4="',42, A#&/4 4;"#$#)1#& #@4 /4*0#;&3')?*7# @"'*+07 % &4A/+ ,"#*+1 *'=)C$'&#)1. <1,..%=%5,:%; — %"#$%&(4 3;4"1$4A#*+1 ,*'*+-, "'%;"#$#)#*+# ;"#$2#&4( ;4 @"3;;'2, @$# /'F$'1 @"3;;', /'F$7- /)'%% +2##& %(4# ;4%&41**4# 2#%&4 27
  • 28. © 2012 !"#$%&'( ).*. +',&-. 4 !"+2#"7 '=%&"'/0+- 1) ,0.$",5:%; .4>*#.$% — 4=T#/& ;"#$%&'()1#& %4=4- ;4)#,*3C 24$#)? *#/4- %3G*4%&+ ( ;"#$2#&*4- 4=)'%&+; 2) ,0.$",5:%; &#6()(*%; — 4=T#/& %4%&4+& +, 4=4=G#**4@4 2*4F#%&(' 4;#"'0+-; 3) ,0.$",5:%; 6%"$4,1/*#8 2,?%*@ — 4=T#/& @"3;;+"3#& 4;#"'0++, /4&4"7# )+=4 (2#%&# +%;4)?,3C&%1 =4)## (7%4/+2 3"4(*#2 3;"'()#*+1, )+=4 %'2+ +%;4)?,3C& *#/4&4"7- *'=4" 4;#"'0+- =4)## *+,/4@4 3"4(*1 4)&"#%+6#1/*,; ,0.$",5:%; — 4=T#/& (/)CA'#& ( %#=1 *'=4" 4;#"'0+-, *# +2#CG+< $"3@ % $"3@42 *+A#@4 4=G#@4. 28
  • 29. © 2012 !"#$%&'( ).*. +',&-. 4 !4$<4$7 / /)'%%+5+/'0++ 1) <1,..%-(.5,; 5,$(7#"%+,:%; — /)'%%+5+/'0+1 ;4*1&+- 4%3G#%&()1#&%1 +%<4$1 +, 4;"#$#)#**4@4 %(4-%&(' +)+ %4(4/3;*4%&+ %(4-%&(, *' 4%*4('*++ /4&4"7< 54"2+"3#&%1 *#/4&4"'1 /'&#@4"+1 (%(4-%&('). 2) <#*:(&$4,1/*,; 51,.$("%+,:%; — 54"2+"4('*+# /4*0#;&3')?*7< 4;+%'*+- /)'%%4( (/)'%&#"4( 4=T#/&4(), *' 4%*4('*++ /4&4"7< ,'&#2 (7;4)*1#&%1 /)'%%+5+/'0+1 %3G*4%&#- (4;"#$#)#*+1). 3) A(#"%; &"#$#$%&#6 — /)'%% 4;"#$#)1#&%1 4$*+2 4=T#/&42- ;"4&4&+;42, + *4(7- 4=T#/& 24F*4 4&*#%&+ / /)'%%3 ;"+ 3%)4(++, A&4 4* *'$#)#* %3G#%&(#**72 %<4$%&(42 % ;"4&4&+;42 (;"+2#"). 29
  • 30. © 2012 !"#$%&'( ).*. +',&-. 4 «J+%&'1» 4=T#/&*4-4"+#*&+"4('**'1 24$#)? 51,.. (class), ,$"%04$@ (attribute) + 2($#)@ (method), %*$("=(8. (class interface), .##0>(*%( (message), %*5,&.41;:%; (encapsulation), *,.1()#6,*%( (inheritance), &#1%2#"=%+2 (polymorphism), #0B(5$ (object), 2($,51,.. (metaclass), %*$"#.&(5$%6*@( (introspective) +)+ "(=1(5.%6*@( (reflex) 4=T#/&7. 30