=Paper=
{{Paper
|id=Vol-48/paper-7
|storemode=property
|title=The Ontology of Commonsense Knowledge
|pdfUrl=https://ceur-ws.org/Vol-48/Saba_KI2001.pdf
|volume=Vol-48
}}
==The Ontology of Commonsense Knowledge==
qYS!tBjBkSBPS]B88BtRtRStBbjIS
Gsj$IS7S7sAsS
tBbjISstISNstZsSet$t$tSpBZ}S
7{YBBjSBPS]B8}ZS7{$t{S=t$%R$kSBPSG$tIRBSG$tIRBS!WSW Tn_;S]stsIsS
RuBuq|R!Yd%vIRC!|uS
VARs{SyS$RSAkStBbSb$IjkSs{{}ISYsSsStZ8ASBPSsR,RS$tS
tsZsjSjstZsSZtIRstI$tSwWN=DSJZ$SYSRBsSBPSstIS
sRBt$tS b$YS sS %sRS s8BZtS BPS As{,BZtIS w{B88BtRtRDS
,tBbjIS GY$jS R%sjS PPBRS Ys%S AtS 8sIS BS AZ$jIS RZ{YS
BtBjB$RSsS{BtRtRZRSBtSsSR{$t$P${S8YBIBjBkSPBSBtBjB${sjS
IR$tS$RSkSBS8SytSY$RS}s}SbSRZRSstSs}}Bs{YSBS
AZ$jI$tS sS {B88BtRtRS BtBjBkS PBS jstZsS ZtIRstI$tS
ZR$tS jstZsS $RjPS sRS sS IR$tS Z$IS qYS $IsS $RS BBIS $tS
3:RS {Bt{}$BtS BPS {B8}BR$$BtsjS R8st${RS stIS $RS jsIS BS
YS $IsS BPS k}S $tPt{RS $tS RBtjkTk}IS }Bjk8B}Y${S
}Bs88$tS jstZsRS qYS 8YBIS }B}BRIS R8RS BS w$DS
RBj%S YS }BAj8S BPS 8Zj$}jS $tY$st{S w$$DS RZRS stS
-}jsts$BtS PBS }BjkR8kS stIS 8s}YBS stIS w$$$DS }B%$IS sSR}S
BbsIRSRsAj$RY$tSsSRkR8s${Ss}}Bs{YSBSBtBjB${sjSIR$tS
dSytBIZ{$BtS
i{tSbB,S$tStsZsjSjstZsSZtIRstI$tSwWN=DSR8RSBSASRjBbjkS
8As{$tSbYsSbSj$,SBS{sjjSYSZtIRstI$tSsRSsRBt$t:S}ssI$8S
sRS$S$RSJZ$S{jsSAkStBbSYsSZtIRstI$tStsZsjSjstZsS$RSPBSYS
8BRS }sS sS {B88BtRtRS sRBt$tS }B{RRS sS YS }s8s${S j%jS PBS
-s8}jS $tS RZ{YS sR,RS sRS Pt{S RBjZ$BtS }jstS {Bt$$BtS j-${sjS
I$Rs8A$Zs$BtS }}BR$$BtsjS }YsRS ss{Y8tRS 8}BsjS {BYt{S
stIS YS RBjZ$BtS BPS JZst$P$S R{B}S s8A$Z$$RS 3BS $tRst{S {BtR$IS
YSRBjZ$BtSBPS<:S$tSYSPBjjBb$tUS
S
FBYtSRYBSsS}Bj${8stS<S$88I$sjkS S
sDSPjISsbskS wdDS
ADSPjjSIBbtS
S
yS $RS JZ$S I$PP${ZjS BS $8s$tS YBbS {Y$jItS PPBjRRjkS RBj%S RZ{YS
Pt{RS $PS tBS AkS {BZRS BS YS {B88BtRtRS Ps{RS YsS k}${sjjkS
bYtS RYBw-kDS YBjIRS AbtS RB8S -S stIS RB8S kS -S $RS YS 8BS j$,jkS
RZA`{S BS PjS stIS kS $RS YS 8BS j$,jkS RZA`{S BS PsjjS IBbtS !YS
-s8}jRSBPS{B88BtRtRSsRBt$tS$tSjstZsSZtIRstI$tS$t%Bj%SYS
RBjZ$BtSBPSJZst$P$SR{B}Ss8A$Z$$RS]BtR$ISYSPBjjBb$tUS
S
S
%k S
S
Pb SsIZsSRZIt wRDSs Syq SRZA8$I Ss S}s} SBSV]N: S w1DS
bB
S
GS sZS YsS YS }jsZR$A$j$kS BPS b$ISR{B}S sS w$8}jk$tSsSR$tjS}s}DS
$t{sRRS sRS YS tZ8AS BPS RZItRS $t%Bj%IS $tS YS js$BtS I{sRRS
Ns{,$tS sS Rkts{${S BS sS R8st${S -}jsts$BtS Y$RS $tPt{S 8ZRS AS sS
PZt{$BtS BPS BZS {B88BtRtRS ,tBbjIS BPS YBbS YS RZA8$:S js$BtS
AbtS RZItRS stIS }s}R:S $RS k}${sjjkS 8st$PRIS $tS YS sjS bBjIS
7}{$P${sjjkS Y$RS $tPt{S $RS AsRIS BtS BZS {B88BtRtRS Aj$PS YsS YS
RZA8$S js$BtS AbtS sS RZItS stIS sS }s}S $RS k}${sjjkS >d8HTBTdS
bYS 8S $RS RB8S R8sjjS tZ8AS BB%S I$PPtS $tI$%$IZsjRS R8S BS
Ys%SsSRj$YjkSI$PPtS%sjZSPBS8SbY${YS$RS{BtR$RtSb$YSYSP$tI$tRS
BPS Z98stS stIS s{*BtsjIS wdnDS YsS I$PPtS $tI$%$IZsjRS R8S BS
Ys%SI$PPtSR{B}S}Pt{RS$tSYSRs8S-ZsjS{Bt-dS
qYS ZtIRstI$tS sRS sRBt$t:S }ssI$8S $RS {s$tjkS tBS t$jkS
tbS $tS WN=S Rs{YS G$Y$tS YS VyS {B88Zt$kS Y$RS }ssI$8S bsRS
$8}j${$jkS 8As{IS AkS sS tZ8AS BPS sZYBRS wS RS ]Yst$s,S dMES
<$RS dMES G$j,RS dxS 7{Yst,S dM1DS =tPBZtsjkS YBb%S YRS
s}}Bs{YRS bS jsjkS AsRIS BtS sIS YB{S sjB$Y8RS AZ$jS BtS B}S BPS
$tPB8sjS ,tBbjIS }Rts$BtRS *ZS BS YS js{,S BPS PB8sj$kS YRS
}B{IZRS bS YB}jRRjkS ZtR{sjsAjS stIS R{sjsA$j$kS bsRS PBS YS 8BRS
}sSs8}ISAkS}ZRY$tSYS}BAj8SPB8SYS}B{IZRSBSYSIssS
bY${YS {BtRJZtjkS jISBSYS RBT{sjjIS ,tBbjISABjt{,SqYS js{,S BPS
}BRRS $tS RBj%$tS YS ,tBbjIS ABjt{,S }BAj8S tsjjkS jIS VyS
Rs{YRSBS$YSsAstIBtS$tPt$sjSstIS,tBbjITAsRISs}}Bs{YRS
$tS Ps%BS BPS 8BS JZst$s$%S s}}Bs{YRS wS ]Yst$s,S dnDS BS BS
PB{ZRS sj8BRS -{jZR$%jkS BtS YS I%jB}8tS BPS jsS {B88BtRtRS
,tBbjIS AsRRS wS NtS stIS pYZsS d(DS G$Y$tS j$tZ$R${RS stIS
PB8sjS R8st${RS BtS YS BYS YstIS j$jS BS tBS st$BtS bsRS }s$IS BS
YS $RRZS BPS {B88BtRtRS sRBt$tS sS YS }s8s${S j%jS ytIIS YS
}%s$j$tS b$RIB8S wbY${YS 8$YS AS}sjkSIZS BS js{,SBPS }BRRS $tS VyT
AsRISWN=DSbsRSYsSsStZ8ASBPSWN=SsR,RSJZ$SYSRBsSBPSstIS
sRBt$tS b$YS sS %sRS s8BZtS BPS As{,BZtIS ,tBbjIS w%stS *8S
dEDS stS B}$t$BtS YsS jIS RB8S wS i$tYsS dDS BS {Bt{jZIS YsS
}s8s${Ss}}Bs{YRSsSY$YjkSZtI{$IsAj:S
ytSBZS%$bSABYStIRSbS}sjkS8$RZ$IISytS}s${ZjsSbSYBjIS
YS %$bS YsS bY$jS jstZsS ZtIRstI$tS $RS PBS YS 8BRS }sS sS
{B88BtRtRS sRBt$tS }B{RRS sS YS }s8s${S j%jS Y$RS sRBt$tS
}B{RRS stIS YS ZtIjk$tS ,tBbjIS RZ{ZRS YsS $S Z$j$9RS8ZRS AS
PB8sj$9IS $PS bS %S YB}S BS AZ$jIS R{sjsAjS RkR8RS ytS Y$RS j$YS bS
Aj$%S YS bB,S BtS $ts$tS jB${sjS stIS {B88BtRtRS sRBt$tS $tS
jstZsS ZtIRstI$tS wS VjjtS dMS _$sS mS _Bjjs{,S ddS
sIB9tkS mS FtRtS ddS YBRHS
bBIRS {BtR$RRS $tS BZS sR}S BPS YS bskS $tS bY${YS YkS 8skS P$ZS $tS
Rtt{RS$tStsjSstISYBbS$tStsjSYkS{B8A$tSBSI8$tSYS
ZYT{BtI$$BtRSBPSYBRSRtt{R"Sw*Z88SdMdS}}SxDSS
qY$RS R$8}jS $IsS PB8RS YS AsR$RS BPS BZS RskS $tS IR$t$tS stS
BtBjBkS PBS {B88BtRtRS ,tBbjIUS bYsS jstZsS sjjBbRS BtS BS RskS
sABZS sS {Bt{}S jjRSZRSsSjBSsABZSYS{Bt{}SZtIS{BtR$Is$BtSytS
BYSbBIRSYS8st$tRSBPSbBIRSw$SYS{Bt{}RDS{stSASI$R{B%IS
PB8SYS 8sttS $tSbY${YSYSbBIRSsSZRIS$tS%kIskSjstZsSVRS
s8stS wdxDS YsRS RZRIS jstZsS $RS YS ART,tBbtS YBkS BtS
%kIskS ,tBbjIS VRRZ8$tS YsS jstZsS Pj{RS YBZYS YPBS
stsjk9$tS}stRSBPS%kIskSjstZsSZR:SRYBZjIS}B%$ISZRPZjS{jZRS
BS YS RZ{ZS BPS {B88BtRtRS ,tBbjIS VRS sS 8B$%s$tS -s8}jS
{BtR$ISYStBZtRSsAjSstISj}YstSstISYSsI`{$%RSR8sSstISjsS
BZS BPS bY${YS PBZS Rkts{${sjjkS bjjS PB8IS stIS R8st${sjjkS %sj$IS
sI`{$%TtBZtS {B8A$ts$BtRS {stS AS 8sIS !tS BPS YRS {B8A$ts$BtRS
ts8jkSR8sSsAjS$RSk}${sjjkS`{ISBtS}s8s${SBZtIRSsRS$S$RSsS
BIIRSb$YSBZS{B88BtRtRS%$bSBPSbYsSsAjRSs1SytS}s${ZjsSbY$jS
$S$RSRtR$AjSBSRskSjsSj}YstSstISjsSsAjSsSsAjS$RStBSYS,$tISBPS
SSSSSSSSSSSSSSSSSSSSSSSSSSSSSS SSSSSSSSSSS
1S3BSYS8B8tSbSsStBS{Bt{tISb$YS8s}YBSS
BA`{S PBS bY${YS R8sS s}}j$RS qY$RS stsjkR$RS RZjRS $tS YS Ps8tS
Y$s{YkSRYBbtS$tSP$ZS$tSdSAjBbSWBSYsSY$RS,$tISBPSstsjkR$RS$RStBS
8Z{YS I$PPtS PB8S YS k}S $tPt{$tS }B{RRS YsS B{{ZRS $tS RBtjkS
k}IS}Bjk8B}Y${S}Bs88$tSjstZsRnSS
S
S
S − lu +
S
S {l}Xuv uBl }
S
S
S −R9u +
S
{uBl } {l}Xuv }
S
3$ZSdSVSR$8}jSstsjkR$RSBPSPBZSsI`{$%TtBZtS{B8A$ts$BtRS
S
3BS -s8}jS {BtR$IS YSj$tZ$R${S}stRS stISYS {BR}BtI$tSk}S
$tPt{RSRYBbtS$tSsAjSdS3B8S-SLSnSPBS-s8}jSBtS{stS$tPSYsS-S
$RSsSvY9BSR$t{StZ8ARSsSYS",$tIRSBPSY$tR"SYsS{stSASsIIISBS
nS ytS tsjS YS 8BRS t${S k}S }BRR$AjS S $RS $tPIS w$S YRS
B}s$BtRSsSsRRZ8ISBSAS}Bjk8B}Y${DSS
S
S
N$tZ$R${S qk}S
_stytPt{S
S
-SLSnS S -S$RSvY9BS
'Rw-DS -S$RSsSRJYv|S
%vRw-kDSSSS-S$RSstSCBb|SkS$RSRJYv|SBPS-SBA`{RS
XuIw-DSSSSSSSSSS-S$RSsSRJYv|S
'vw-DS-S$RSvY9BS
qsAjSdSN$tZ$R${S}stRSstISYS{BR}BtI$tSk}S$tPt{RS
S
3BS -s8}jS sjjS YsS {stS AS $tPIS PB8S %Rw-DS $RS YsS -S $RS YS
t${S k}S RJYv|S bY${YS {BZjIS AS sS l%RS sS R%vS wsS RJZt{S BPS
|Xuu|RDS sS '|CS {S WBS sjRBS YsS $tS sII$$BtS BS s{$BtRS
w8YBIRDS }B}$RS wZYT%sjZIS PZt{$BtRDS {stS sjRBS AS ZRIS BS $tPS
YSk}SBPSstSBA`{S3BS-s8}jSPB8S%tw-DSBtS{stS$tPSYsS-S$RSsS
vY9BSR$t{Sj$RRSRJZt{RS{SsStBSYS,$tIRSBPSBA`{RSbY${YS{stS
AS IR{$AIS AkS YS }I${sS %tS ytS tsjS $%tS sS IB8s$tS wsS RS BPS
{Bt{}RDS ] = {{d !!! { 8 } S stIS sS RS BPS s{$BtRS wstIS }B}$RDS
_ = {}d !!! } t } S sS }I${sS s}}w}{DS bYS { ∈ ] S stIS } ∈ _ S {stS AS
IP$tISRZ{YSYsSYSs{$BtSwBS}B}kDS}Ss}}j$RSBSwBS8s,RSRtRSBPDS
BA`{RS BPS k}S {S 3BS s{YS }B}kS } ∈ _ S sS RS ] } = {{ | s}}w} {D} S
ItB$tS sjjS {Bt{}RS {S PBS bY${YS YS }B}kS }S $RS s}}j${sAjS {stS AS
tsIS VS {Bt{}S Y$s{YkS $RS YtS RkR8s${sjjkS I$R{B%IS AkS
SSSSSSSSSSSSSSSSSSSSSSSSSSSSSS SSSSSSSSSSS
nS qY$RS $RS 8$t$R{tS BPS wBtsZS d(DUS .yS `{S YS {Btt$BtS YsS YS $RS stS
$8}BstSYB${sjSI$PPt{SAbtSPB8sjSstIStsZsjSjstZsR"S
stsjk9$tS YS RZARS js$BtRY$}S s8BtS YS %s$BZRS RRS tsIS qBS
$jjZRsS YBbS Y$RS k}S BPS stsjkR$RS {BZjIS wRkR8s${sjjkDS k$jIS sS k}S
Y$s{YkS {BtR$IS sS RS BPS {Bt{}RS ]S stIS sS RS _S BPS }B}$RS wBS
s{$BtRDSYsS8skSBS8skStBSASRtR$AjkSs}}j$ISBS{Bt{}RS$tS]US
S
] = {l%R R%v R} SS
_ = {9}m 99B$Q R%: u%l XuI 'R C>}}`uR } SS
S
7YBbtS$tSP$ZS1SAjBbS$RSsStZ8ASBPSRRSYsSsStsISAkSs}}w}{DS
wP$ZS 1sDS stIS YS {Bt{}S Y$s{YkS $8}j$IS AkS YS RZARS js$BtRY$}S
s8BtSYRSRRSwP$ZS1ADSWBSYsSs{YSwZt$JZDSRS{BR}BtIRSBSsS
{jsRRS$tSYSY$s{YkSeJZsjSRRSwS ] u%l SstIS ] XuI DS{BR}BtISBSYS
Rs8S {jsRRS VS {jsRRS {BZjIS AS $%tS stkS 8st$tPZjS jsAjS YsS $tZ$$%jkS
}RtRSsjjSYS{Bt{}RS$tSYS{jsRRS3BS-s8}jS$tSP$ZS1ASRJYv|S
$RSZRISBS{Bjj{$%jkSPSBSRRSR$tRSstISj$RRS
S
S − 9}m +
S ] 'R = {l%R R%v} − 99B$Q +
− R%: +
S ] u%l = {l%R R%v} RJYv|
S ]
S XuI = {l%R R%v} + u%l −
S ] R%: = {l%R R R%v} + XuI −
+ 'R −
S ] 99B$Q = {l%R R R%v} CIISwj$RRD YvCIISwRRD
S
S ] 9}m = {l%R R R%v}
S ] C>}}`uR = {R%v} + C>}}`uR −
S R%v
wsDSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSwADS
S
3$ZS1S7RStsISAkSs}}w}{DSstISYSY$s{Y${sjSRZ{ZS$8}j$ISAkSY8S
S
S
]jsjkS YS sS sS tZ8AS BPS ZjRS YsS {stS AS RsAj$RYIS PB8S YS
{Bt{}S Y$s{YkS RYBbtS $tS P$ZS 1S 3BS -s8}jS BtS {stS RsS YS
PBjjBb$tUS
S
w∀{Dws}}w%R{DS⊃Ss}}wR$9{DDS wnDS
w∃{Dws}}wR$9{DS∧S¬s}}w%R{DDS w;DS
w∀{Dws}}ws$j{DS≡Ss}}wYsI{DDS wxDS
S
<SwnDSRsRSYsSbYt%S$S8s,RSRtRSBS%RSstSBA`{S{SYtS$S
sjRBS 8s,RSRtRSBSsR,SPBS YS R$9SBPS{SqY$RSRRt$sjjkS8stRSYsSstS
BA`{SBSbY${YSYSR$9SB}s$BtS{stSASs}}j$IS8ZRSASsS}stSBPSstS
BA`{S BS bY${YS YS %RS B}s$BtS {stS AS s}}j$IS w;DS BtS YS BYS
YstIS RsRS YsS YS sS BA`{RS PBS bY${YS YS R$9S B}s$BtS s}}j$RS
AZSPBSbY${YSYS%RSB}s$BtSIBRStBSs}}jkS3$tsjjkSwxDSRsRSYsS
bYt%S $S 8s,RS RtRS BS sR,S PBS YS YsIS BPS stS BA`{S YtS $S sjRBS
8s,RSRtRSBSsR,SPBS$RSs$jSstIS%${S%RsSqYZRSbY$jSYS8ZRSASsS
jsRS BtS }B}kS YsS IP$tRS sS {Bt{}S YS {BZjIS AS 8stkS wbS b$jjS
Ys%S 8BS BS RskS sABZS Y$RS AjBbDS 3$tsjjkS $S 8ZRS AS tBIS YsS $tS
}PB8$tSY$RSstsjkR$RSbSYs%SsRRZ8ISYsSYS}I${sSs}}w}{DS$RSsS
BBjstT%sjZIS PZt{$BtS bY${YS YsRS YS {BtRJZt{S YsS YS k}S
Y$s{YkS $RS sS R${S A$tskS S ytS Ps{S Y$RS $RS BtS BPS YS 8s$tS
{Yss{$R${RS BPS BZS 8YBIS stIS YsRS jIS BS bBS $8}BstS RZjRUS w$DS
8Zj$}jS $tY$st{S $RS {B8}jjkS s%B$IIS stIS w$$DS AkS tBS sjjBb$tS stkS
s8A$Z$kS $tS YS $t}s$BtS BPS s}}w}{DS j-${sjS s8A$Z$kS }BjkR8kS
stIS 8s}YBS sS -}j${$jkS }RtIS $tS YS Y$s{YkS qY$RS b$jjS AS
I$R{ZRRISAjBbS
nSNstZsSstIS]B88BtRtRStBbjIS
qYSbB,SIR{$AISYSbsRS8B$%sISAkSYSPBjjBb$tSbBSsRRZ8}$BtRUS
w$DS YS }B{RRS BPS jstZsS ZtIRstI$tS $RS PBS YS 8BRS }sS sS
{B88BtRtRS sRBt$tS }B{RRS sS YS }s8s${S j%jS stIS w$$DS R$t{S
{Y$jItS 8sRS R}B,tS jstZsS sS sS %kS kBZtS sS {Y$jItS 8ZRS AS
}PB8$tS {B88BtRtRS sRBt$tS sS YS }s8s${S j%jS stIS
{BtRJZtjkS YkS 8ZRS }BRRRS sjjS YS {B88BtRtRS ,tBbjISJZ$IS
BS ZtIRstIS R}B,tS jstZs;S ytS BYS bBIRS bS sS sRRZ8$tS YsS
I{$I$tS BtS sS }s${ZjsS s}}w%{DS RYBZjIS tBS AS {BtB%R$sjS stIS YsS
{Y$jItS {stS sR$jkS stIS {BtR$RtjkS stRbS R$8}jS JZR$BtRS RZ{YS sRS IBS
j}YstRSPjkSIBS8BZts$tRSsj,SIBSABB,RSZtS{SWBSYsS$tSstRb$tS
YRSJZR$BtRS$S$RS{jsSYsSBtSYsRSBSAS{B{BtR{$BZRSBPS8s}YBS3BS
-s8}jS bY$jSsAjRS }B}jSstIS Pj$tRS{stSAS RBtSw$S$S$RSJZ$S
8st$tPZjS BS RskS RBtS sAjS RBtS }RBtS RBtS Pj$tDS $S $RS {jsS
YsSYSRtRRSBPSRBtS$tSYRSYS{sRRSsSJZ$SI$R$t{SytSPs{SYS
%s$BZRS8s}YB${sjSI$%s$BtRSBPSsSj-8SsS%tZsjjkSI$R{B%ISAkS
YS}B{RRSbSIR{$ASYSsRSb$jjSA{B8S%$ItS$tSYSt-SR{$BtRS
qYS }B$tS YS $RS YsS sjjS YsS 8sRS $t$$sjjkS $RS BS {BtR$IS }BR$tS
JZ$RS RZ{YS sRS s}}wR8sj}YstDS BS sS P$%TksS BjIS 3ZY8BS $tS
sR,$tS RZ{YS sS JZkS bS sStBSsR,$tSbYYSBStBS %kS j}YstS $RS
R8sS tBS YBbS R8sS j}YstRS {stS AS AZS bYYS BS tBS $S $RS
8st$tPZjS BS RskS R8sS j}Yst:S GS Aj$%S YsS RZ{YS JZ$RS sS
A$tskT%sjZISytSBYSbBIRSbY$jSsSYSJZst$s$%SwBSsSIssTj%jDS$S
{BZjISASsS8sSBPSISsRSBSYBbSR8sSsSR}{$P${Sj}YstS8$YSAS
PBS-s8}jSYSJZsj$s$%SJZR$BtSBPSbYYSBStBS$S$RS8st$tPZjSBS
RskS R8sS j}Yst:S $RS tBS sS 8sS BPS IxS G$YS Y$RS $tS 8$tIS BZS
SSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSS
;SyS8skS%kSbjjSASYS{sRSYsS"%kY$tSbS,tBbSbSjstIS$tS,$tIst"S
xSGSb$jjStBSIbjjSBtSY$RS$RRZSBBS8Z{YSYS-{}SBSRskSYsSsRSej,stSwdnDSYsRS
{Bt%$t{$tjkS sZIS BS s%B$IS {s$tS {BtsI${$BtRS jB${sjS sRBt$tS 8ZRS sS RB8S
j%jS {Bjjs}RS BS sS A$tskS jB${S GY$jS ej,st:RS sZ8tS R8IS BS AS RZR{}$AjS BS
RB8S {$${$R8S wS *ZAB$RS S sjS wd;DDS YS sS 8BS {Bt%$t{$tS sZ8tRS
RZ}}B$tSYSRs8SRZjS3BS-s8}jS{BtR$ISYSPBjjBb$tUSS
S
wdDS FBYtSj$,RS%kSPs8BZRSs{RRS
w1DS N$9S$RSsSPs8BZRSs{RRS
wnDS FBYtSj$,RSN$9S
S
]jsjkSwdDSstISw1DSRYBZjISts$jSwnDSsIjRRSBPSYBbSPs8BZRSN$9Ss{ZsjjkS$RS=R$tS
AsR${Ss}}Bs{YSBSI$R{B%$tSYSBtBjBkSBPS{B88BtRtRS,tBbjIS{stS
ASRZ88s$9ISsRSPBjjBbRUS
S
7j{SsSRSBPSsI`{$%RSstIS%ARSz = {% d !!! % 8 } SS
7j{SsSRSBPStBZtRS ] = {{d !!! { t } S
ptsSRRS ] = {{ ∈ ] | s}}w% { D}Sd ≤ $ ≤ 8 SPBS%kS % ∈ z S
$ $ $
VtsjkRSYSRZARSjs$BtRY$}SAbtSsjjSRRS ] $ ∈ {] d !!!] 8 } S
S
VRS stS $t$$sjS -s8}jS {BtR$IS YS RS BPS %ARS zS )S {9C'S dul/S YvS
ul/S uRCv}S stIS YS RS BPS tBZtRS ]S )S {ku%CvulS #%IS jl}XuvS
6Xu/SVv%9ulSV9Bu}S kS}sIjkSs}}jk$tSs}}w%{DSYSPBjjBb$tSRRS
sStsIUS
S
] 9C' = {ku%Cvul Vv%9ul #%I jl}Xuv 6Xu/ V9Bu } S
] ul/ = {ku%Cvul} S
] uRCv = {ku%Cvul} S
] X%v/ = {Vv%9ul} S
] dul/ = {ku%Cvul #%I jl}Xuv} S
] Yv = {ku%Cvul #%I jl}Xuv} S
S
3$RSbStBSYsSbY$jSRB8SI{$R$BtRS{BZjIS{Yt${sjjk:SASJZR$BtIS
wRskSAkSsSA$BjB$RDSBZSRskSbsRSBSR$8}jkS{BtR$ISYSJZR$BtSPB8S
YS}B$tSBPS%$bSBPS{B88BtRtRSytSI{$I$tSBtSsS}s${ZjsSs}}w%{DSbS
{BtR$IIS YS JZkS }B$RIS BS sS P$%TksS BjIUS IBS j}YstRS PjkSIBSYkS
ZtSIBSYkSsj,S{S+ZR$BtsAjSR$Zs$BtRSbSR$8}jkS$tBISqY$RS
$t$$sjS}B{RRSRZjIS$tSYSY$s{YkSRYBbtS$tSP$ZSnSAjBbS7B8SBPS
YS RRS $tI${s$tS}BR$$%SjPSstIS$YSs$AZRSsS$%tS$tSP$ZS;S
AjBbS WBS YsS RB8S }BbPZjS $tPt$sjS }stRS YsS {stS AS ZRIS $tS
jstZsS }B{RR$tS sS $8}j${$S $tS YS RZ{ZS RYBbtS $tS P$ZS nS 3BS
-s8}jS bYsS IBRStBSY$t,S IBRS tBS YZSw N DSbYsS bsj,RSsjRBSZtRS
w NM DSstkY$tSYsSj$%RS%Bj%RSw Nn SstIS N; DS{S
;StBbjITN%jUS $tSNB{,ISBSsS_B}kS
B$%s$tS BZS s}}Bs{YS BS I$R{B%$tS wsRS B}}BRIS BS $t%t$tDS YS
RZ{ZS BPS {B88BtRtRS ,tBbjIS $RS YS $IsS YsS {B88BtS jstZsS
8ZRSPj{S {B88BtRtRS stIS YZRSI$PPt{RSstISR$8$js$$RSAbtS
{Bt{}RS8ZRSASPj{IS$tSBZS%kIskS{Bt%Rs$BtSq{Yt${sjjkSYS
SSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSS
stkS JZst$s$%S 8BIjS wRZ{YS sRS PZ99kS jB${DS Y$RS $tZ$$%S ts$j8tS {sttBS AS
}BIZ{ISwbS js%SYSIs$jRSBPSPB8Zjs$tSY$RS$tSPZ99kS jB${SsRSstS-{$RDSqYS
}BAj8S YS $RS YsS sS YS JZsj$s$%S j%jS YS ZYT%sjZS BPS Ps8BZRw-DS 8ZRS
{Bjjs}RS BS $YS ZS BS PsjRS R$t{S sS YsS j%jS sjjS YsS 8sRS $RS bYYS BS tBS
N$9S$RSPs8BZRStBSYBbSPs8BZRSRYSs{ZsjjkS$RS
{js$8S bS sS 8s,$tSYS{stSASRsISsRSPBjjBbRUS%kS{Bt{}SsSYS
,tBbjITS wBS {B88BtRtRTDS j%jS 8ZRS :Bbt:S RB8S Zt$JZS }B}kS
stIS Y$RS 8ZRS sjRBS AS j$tZ$R${sjjkS Pj{IS AkS RB8S %AS BS sI`{$%S
qY$RS8$YSASR$8$jsSBSbYsS3BIBSwdMS}Sd1EDS8stSAkS"Ys%$tSsS
{Bt{}S$RSA$tS jB{,IS BS sS }B}k"S ytSPs{S $SR8RSYsSY$RS$RSBtS
bskS BS RS YS I8s{s$BtS j$tS AbtS {B88BtRtRS stIS IB8s$tS
R}{$P${S ,tBbjIS ytS }s${ZjsS $S R8RS YsS IB8s$tTR}{$P${S {Bt{}RS
sS YBRS {Bt{}RS YsS sS tBS Zt$JZjkS jB{,IS BS stkS bBIS $tS YS
jstZsS
S sX%v
S
+ Nd −
S aXmR%|ulsX %v −id + VBRu|sX %v
S
S + N1 −
S 5C9u%Cv −i1 + 6YBRuv|
S
+ Nn −
S
S WuYul5C 9u%Cv −in + uvuI5C 9u%Cv
S + N; − + Nx −
S M%'%vsX%v R −i ; + yvVv%9u V%Qu|R − x + `CvRY|% CvR
S
S + NE −
S aluvR −iE + Vv%9ulM%Q
S + N −
S %|C$R − i + Vv%9ulR
S
S + NM −
S MI −i M + WCvMI
S
+ N −
S −i +
G%vI WCvG%vI
S
S + Nd( −
S ku%Cvul −id( + yu%Cvul
S
S + Ndd −
S `X%lI −idd + VIYl
S
3$ZS nS VtS sIZjS $RS sS }YkR${sjS j$%$tS Y$tS YsS $RS PB8IS yS %Bj%RS $S BbRS $S
I%jB}RS8B%RS$S{stSbsj,SZtSYsSRSsj,SY$t,SsRBtS{ S
S
+ N1 − = {I%jB} PB8} + Nn − = {%Bj%}
+ N; − = {j$% I$ ABt Bb} + NE − = {Ast{Y}
− iE + = {8B%} − i + = {Rj} R s I$R AjI YZ Y$t,} S
+ NM − = {R$ `Z8} bsj, Zt} − i + = {Bs {k}
+ Nd( − = {sj,} − idd + = {sRBt}
S
S
3$ZS;S7RSRYBbtS$tSP$ZSnS
S
qBS$jjZRsSY$RS}B$tSPZYSjSZRSstsjkRSsSPs8tSBPSYSY$s{YkS
RYBbtS $tS P$ZS nS $tS RB8S Is$jS qYS {Bt{}S M%'%vsX%vS BtS {stS
sZS$RSYS{Bt{}SPBSbY${YSBtS{stSRskSYSPBjjBb$tUS
S
s}}wM%'%vsX%vrCdD
s}}wM%'%vsX%v-'lC}D
s}}wM%'%vsX%vM%'D
s}}wM%'%vsX%v-%DS
S
qYsS $RS j$%$tS Y$tRS BbS I%jB}S j$%S stIS I$S wYS {Bt{}S
M%'%vsX%vS $RS s{ZsjjkS :jB{,I:SBSR%sjSBYS }B}$RSstISYZRS BS
R%sjSBYS%ARSstISsI`{$%RDSGYsS$RS$8}BstSBStBSYS$RSYsS
$tS BIS BS {jsRR$PkS M%'%vsX%vS PZYS BtS 8ZRS P$tIS RB8S {Bt{}ZsjS
I$PPt{SAbtSsjjSj$%$tSY$tRSsSI$PPt{SbY${YS8ZRSASRB8YBbS
Pj{IS$tSjstZsSVRS$SYs}}tRSYSbBIS:8B%:S{BZjISASZRISBtSsjjS
j$%$tS Y$tRS -{}S }jstRS !tS {BZjIS YPBS RZRS sS {jsRR$P${s$BtS
AsRISBtSYsS%ASsRSRYBbtS$tSP$ZSnS
qYZRSsjjSj$%$tSY$tRSsS$YS}jstTj$,SY$tRSwaluvRDSbY${YSsS
YS$88BA$jSj$%$tSBst$R8RSBSst$8sjTj$,SY$tRSwVv%9ulM%QDSbY${YS
sS YS 8BA$jS j$%$tS Bst$R8RS GS sS tBbS ss$tS Ps{IS b$YS YS Rs8S
R$Zs$BtSts8jkSPZYS{jsRR$P${s$BtSBPSaluvRSstISVv%9ulM%QSqY$RS$tS
ZtS JZ$RS ZRS BS P$tIS RB8S {Bt{}ZsjS I$PPt{S AbtS }Bt$sjS
RZAk}RSBPSYRSbBS{Bt{}RSbY${YS8ZRSstRjsS$tBSsSI$PPt{S$tS
BI$tskSjstZsSqY$RS}B{RRS$RS}sISZt$jStBSPZYS{jsRR$P${s$BtS
AsRISBtSj$tZ$R${SI$PPt{RS$RS}BRR$AjSytSP$ZSnSPBS-s8}jSG%vIS
bY${YS $RS YS {jsRRS BPS st$8sjRS YsS sS jIS stIS Ys%S b$tRS bsRS
$tBIZ{ISAsRISBtSYS}B}kSBPSPjk$tSsSI$PPt{SYsSstRjsRS$tS
jstZsS BS YS j-8S :Pjk:S GY$jS sS A$BjB$RS {stS j$RS tZ8BZRS
I$PPt{RS AbtS sjjS A$IRS YsS PjkS {jsRR$P${s$BtS BtS RZ{YS BZtIRS $RS
IB8s$tTR}{$P${SstISIBRStBSAjBtSBSYS,tBbjISwBS{B88BtRtRDS
j%jS R$t{S YS IBRS tBS R8S BS AS sS j$tZ$R${S I$PPt{S AbtS sjjS
A$IRS YsS PjkS qY$RS 8ZRS AS YPBS YS ,tBbjITj%jS stIS stkS
PZYS {jsRR$P${s$BtS AkBtIS Y$RS j%jS $RS AsRIS BtS IB8s$tTR}{$P${S
,tBbjIS
xS_BjkR8kSstISs}YBS
ytS BZS s}}Bs{YS YS B{{Zt{S BPS sS %A\sI`{$%S sS stkS }js{S stIS sS
stkS j%jS $tS YS Y$s{YkS sjbskRS PRS BS sS Zt$JZS RtRS BPS YsS
%A\sI`{$%SqYPBSBtS-}{RSR$8$jsSRtRRSBPSsSj-8SBSs}}jkS
BS{Bt{}RSsjBtSYSRs8S}sYSsjA$SsSI$PPtSj%jRS$tSYSY$s{YkS
ytS}s${ZjsSBtSbBZjIS-}{SYsSY$YjkSs8A$ZBZRS%ARSBSs}}jkSBS
{Bt{}RSY$YTZ}S$tSYSY$s{YkSbYS%s$BZRSR$8$jsSRtRRSBPSsS%AS
%SRYBZjIStITZ}Ss}}jk$tSsS%s$BZRSj%jRSAjBbS%SS
]BtR$ISPBS-s8}jSQC9 stISQC9YluS$tSYSRtRSBPSPB8$tSstIS
PB8Zjs$tS $IsRS 7$t{S BZS 8YBIS $RS AsRIS BtS YS $IsS BPS ZR$tS RZ{YS
%ARSBSI$R{B%SYStsZSBPS{Bt{}RSQC9 stISQC9YluS8ZRSABYS
s}}jkS BS ideasS WBS YsS $PS %kY$tS YsS {stS AS :PB8I:S {stS AS
:PB8ZjsI:SstIS%${S%RsSYtSYRSbBS%ARSbBZjISASRktBtk8BZRS
S TS Vv%9ulDS sRS stS stRbS bYS >S $RS YS RS BPS sjjS
{Bt{}RS $tS YS Zt$%RS BPS I$R{BZRS qY$RS $RS YS RS BPS sjjS {Bt{}RS
-{jZI$tS YBRS PBS bY${YS s}}wC'Vv%9ulDS YBjIRS qYZRS }jstRS stIS sjjS
tBtTj$%$tS Y$tRS IBS tBS 8B%S wRS P$ZS S AjBbDS qY$RS $RS RBtS
ts$BtSR$t{S$SR$8}jkSZtRSYS{B8}j8tSb$YSR}{SBSYSt$S
RZ{ZS