The Ontology of Commonsense Knowledge

(1)

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$BtSPBS}BjkR8kSstIS8s}YBSstISw$$$DS}B%$ISsSR}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 stISYSRBjZ$BtSBPSJZst$P$SR{B}Ss8A$Z$$RS3BS$tRst{S{BtR$IS YSRBjZ$BtSBPS<:S$tSYSPBjjBb$tUS

FBYtSRYBSsS}Bj${8stS<S$88I$sjkSS sDSPjISsbskS

ADSPjjSIBbtS

SwdDS

yS $RS JZ$S I$PP${ZjS BS $8s$tS YBbS {Y$jItS PPBjRRjkS RBj%S RZ{YSS

Pt{RS $PS tBS AkS {BZRS BS YS {B88BtRtRS Ps{RS YsS k}${sjjkS bYtSRYBw-kDS YBjIRS AbtS RB8S-S stIS RB8SkS-S $RS YS 8BS j$,jkS RZA`{S BS PjS stISkS $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 SS

(2)

V]N:

BS S }s}

S s S RZA8$I S

yq S s S R RZIt

sIZsS S

bB Pb

%k

D

 w











S S S w1DS

SGSsZSYsSYS}jsZR$A$j$kSBPSb$ISR{B}SsSw$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$BtSY$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 sSRZItSstIS sS}s}S$RS k}${sjjkS >d8HTBTdS bYS8S $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 W N=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 BtSsIS 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{BtRJZtjkSjISBSYSRBT{sjjIS,tBbjISABjt{,SqYSjs{,SBPS }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 BtSYSBYSYstISj$jSBStBSst$BtSbsRS}s$ISBS YS $RRZS BPS {B88BtRtRS sRBt$tS sS YS }s8s${S j%jS ytIIS YS }%s$j$tSb$RIB8SwbY${YS8$YSAS}sjkSIZSBSjs{,SBPS}BRRS$tSVyT 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{RRSstISYSZtIjk$tS,tBbjISRZ{ZRSYsS$SZ$j$9RS8ZRSAS 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 <BAARS dMxS <BAARSS sjS dnS stIS 8BS

{tjkS VRYS mS NsR{s$IRS dMS stIS 7sAsS mS ]B$%ZsS dDS $RS BPS }ss8BZtS$8}Bst{S

SSSSSSSSSSSSSSSSSSSSSSSSSSSSSS SSSSSSSSSSS

dSVtS$tPt{$tSRskSYsS8BIjRS$tI$%$IZsjS}Pt{RS$tSYSRBjZ$BtSBPSR{B}S s8A$Z$$RSsSYS}s8s${Sj%jSYsRSAtSRZRIS$tSw7sAsSstIS]B$%sZS1((dDS

(3)

Z{YS BPS Y$RS bB,S $RS I${IS BbsIRS PB8Zjs$tS {B88BtRtRS

$tPt{$tSRs$RSBSRBj%SsStZ8ASBPSs8A$Z$$RSsSYS}s8s${S j%jSVjYBZYS$SYsRSAtSRYBbtSwRS7sAsSmS]B$%sZS1((dDSYsSYRS

$tPt{RSIBStBSsjbskRSJZ$SYSRBsSBPSstISsRBt$tSb$YSsS%sRS s8BZtS BPSAs{,BZtIS,tBbjIS$S$RS{jsS YsS sS tZ8AS BPSsR,RS IBS

JZ$S RZ{YS sS ,tBbjIAsRS ytIIS RZARst$sjS PPBS YsRS AtS 8sIS BbsIRS AZ$jI$tS BtBjB$RS BPS {B88BtRtRS ,tBbjIS wS NtsS mS pYZsS d(S sYRYS mS W$tAZS dxS 7BbsS dxDS stIS sS tZ8AS BPS }B8$R$tS tIRS YsS sI%B{sS BtBjB${sjS IR$tS AsRIS BtS RBZtIS j$tZ$R${S stIS jB${sjS PBZtIs$BtRSYs%SRsISBS8S$tS{tSksRS wSpZs$tBSmSGjkS1(((S_ZR`B%R,kS1((dDS<Bb%SsSRkR8s${S stISBA`{$%Ss}}Bs{YSBSBtBjB${sjSIR$tS$RSR$jjSjs{,$tSytS}s${ZjsS bS Aj$%S YsS stS BtBjBkS PBS {B88BtRtRS ,tBbjIS 8ZRS AS I$R{B%ISsYSYstS$t%tISstISYZRS$S$RStBSRZPP${$tSBSRsAj$RYS RB8S }$t{$}jRS PBS BtBjB${sjS IR$tS AZS YsS sS RskS AkS bY${YS sS {B88BtRtRS BtBjBkS 8$YS AS RkR8s${sjjkS stIS BA`{$%jkS IR$tIS8ZRSASI%jB}ISytSY$RS}s}SbS}B}BRSRZ{YSsSRskS

1SNstZsS=RSsRSpZ$ISBS!tBjB${sjS*R$tS

!ZSAsR${SRskSPBSIR$t$tSstSBtBjBkSBPS{B88BtRtRS,tBbjIS$RS

BBIS$tS3:RS{Bt{}$BtSBPS]B8}BR$$Btsj$kSSV{{BI$tSBS3SwRS

*Z88SdMdS}}S;TDSYSRtRSBPSstkS$%tSRtt{S$RSI$%ISPB8S BZS }%$BZRS ,tBbjIS BPS YS RtRRS BPS YS bBIRS YsS {B8}BRS $S BYSb$YSBZSBAR%s$BtSBPSYSbskS$tSbY${YSYkSsS{B8A$tIS$tS YsS Rtt{S qYS {BtRBtS BPS Y$RS }ssI$8S YBb%S $RS stS BAR%s$BtSYsSYsRStBSAtSPZjjkSs}}{$sISsI$tSYS8sttS$tS bY${YSbBIRSsSRZ}}BRISBSs{JZ$SsSRtRSytS}s${ZjsSYS}$t{$}jSBPS ]B8}BR$$Btsj$kS$RSBBIS$tSYSYR$RSYsS"BZSZtIRstI$tSBPS>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 sABZSsS{Bt{}SjjRSZRSsSjBSsABZSYS{Bt{}SZtIS{BtR$Is$BtSytS BYSbBIRSYS8st$tRSBPSbBIRSw$SYS{Bt{}RDS{stSASI$R{B%IS PB8SYS8sttS$tSbY${YSYSbBIRSsSZRIS$tS%kIskSjstZsSVRS s8stS wdxDS YsRS RZRISjstZsS $RS YS ART,tBbtS YBkS BtS

%kIskS,tBbjISVRRZ8$tSYsSjstZsSPj{RSYBZYSYPBS 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%$bSBPSbYsSsAjRSs¹SytS}s${ZjsSbY$jS

$S$RSRtR$AjSBSRskSjsSj}YstSstISjsSsAjSsSsAjS$RStBSYS,$tISBPS SSSSSSSSSSSSSSSSSSSSSSSSSSSSSS SSSSSSSSSSS

1S3BSYS8B8tSbSsStBS{Bt{tISb$YS8s}YBSS

(4)

BA`{S PBS bY${YSR8sSs}}j$RS qY$RS stsjkR$RS RZjRS $tS YS Ps8tS Y$s{YkSRYBbtS$tSP$ZS$tSdSAjBbSWBSYsSY$RS,$tISBPSstsjkR$RS$RStBS 8Z{YSI$PPtSPB8SYSk}S$tPt{$tS}B{RRSYsSB{{ZRS$tSRBtjkS k}IS}Bjk8B}Y${S}Bs88$tSjstZsRⁿSS

SS SS SS SS SS

3$ZSdSVSR$8}jSstsjkR$RSBPSPBZSsI`{$%TtBZtS{B8A$ts$BtRS

3BS-s8}jS{BtR$ISYSj$tZ$R${S}stRSstISYS{BR}BtI$tSk}SS

$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$Aj^SS $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

S3BS -s8}jS sjjS YsS {stS AS $tPIS PB8S%Rw-DS $RS YsS-S $RS YS

t${S k}SRJYv|SbY${YS{BZjISAS sSl%RSsSR%vSwsSRJZt{SBPS

|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 ASIR{$AISAkSYS}I${sS%tSytStsjS$%tSsSIB8s$tSwsSRSBPS {Bt{}RDS ] ={{_d!!!{₈}S stIS sS RS BPS s{$BtRS wstIS }B}$RDS

} {

= } }_t

_ _d!!! S sS }I${sSs}}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 }

{l}Xuv uBl

} {l}Xuv }

{uBl +

−lu

+

−R9u

(5)

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]SstIS sS RS_S BPS }B}$RS wBS s{$BtRDSYsS8skSBS8skStBSASRtR$AjkSs}}j$ISBS{Bt{}RS$tS]US S] ={l%RR%vR}SS

} {

= 9}m99B$QR%:u%lXuI'RC>}}`uR

_ SS

S7YBbtS$tSP$ZS1SAjBbS$RSsStZ8ASBPSRRSYsSsStsISAkSs}}w}{DS wP$ZS 1sDS stIS YS{Bt{}SY$s{YkS$8}j$ISAkSYSRZARSjs$BtRY$}S s8BtSYRSRRSwP$ZS1ADSWBSYsSs{YSwZt$JZDSRS{BR}BtIRSBSsS {jsRRS$tSYSY$s{YkSeJZsjSRRSwS]_u%lSstIS]_XuIDS{BR}BtISBSYS Rs8S {jsRRS VS{jsRRS{BZjISAS $%tS stkS8st$tPZjSjsAjSYsS $tZ$$%jkS

}RtRSsjjSYS{Bt{}RS$tSYS{jsRRS3BS-s8}jS$tSP$ZS1ASRJYv|S

$RSZRISBS{Bjj{$%jkSPSBSRRSR$tRSstISj$RRS SS

SS SS SS SS SS

wsDSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSwADS

3$ZS1S7RStsISAkSs}}w}{DSstISYSY$s{Y${sjSRZ{ZS$8}j$ISAkSY8S S SS

]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

Sw∀{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

<SwnDSRsRSYsSbYt%S$S8s,RSRtRSBS%RSstSBA`{S{SYtS$SS sjRBS8s,RSRtRSBSsR,SPBSYSR$9SBPS{SqY$RSRRt$sjjkS8stRSYsSstS BA`{SBSbY${YSYSR$9SB}s$BtS{stSASs}}j$IS8ZRSASsS}stSBPSstS BA`{S BS bY${YS YS%RSB}s$BtS {stS AS s}}j$IS w;DS BtS YS BYS YstIS RsRS YsS YS sS BA`{RS PBS bY${YS YSR$9S B}s$BtS s}}j$RS AZSPBSbY${YSYS%RSB}s$BtSIBRStBSs}}jkS3$tsjjkSwxDSRsRSYsS bYt%S $S 8s,RS RtRS BS sR,S PBS YSYsIS BPS stS BA`{S YtS $S sjRBS 8s,RSRtRSBSsR,SPBS$RSs$jSstIS%${S%RsSqYZRSbY$jSYS8ZRSASsS jsRSBtS }B}kS YsSIP$tRSsS{Bt{}SYS{BZjISAS8stkSwbSb$jjS Ys%S 8BS BS RskS sABZS Y$RS AjBbDS 3$tsjjkS $S 8ZRS AS tBIS YsS $tS

} {

=

} {

=

} {

=

} {

=

} {

=

} {

=

} {

=

R%v R%v R l%R

R%v R l%R

R%v l%R

C>}}`uR 9}m 99B$Q R%:

XuI u%l

'R

] ] ] ] ] ] ]

₋⁻_99B$Q^9}m⁺₊

+

−R%:

RJYv|

− +C>}}`uR

− ++⁺'RXuI^u%l−⁻

wRRD S YvCII wj$RRD

S CII

R%v

(6)

}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$IISstISw$$DSAkStBSsjjBb$tSstkS s8A$Z$kS $tS YS $t}s$BtS BPSs}}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 %kSkBZtS sS{Y$jItS8ZRS AS }PB8$tS {B88BtRtRS sRBt$tS sS YS }s8s${S j%jS stIS {BtRJZtjkSYkS8ZRS}BRRRSsjjSYS{B88BtRtRS,tBbjISJZ$IS BS ZtIRstIS R}B,tS jstZs^;S ytS BYS bBIRS bS sS sRRZ8$tS YsS I{$I$tS BtS sS }s${ZjsSs}}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 sRSIBS

j}YstRSPjkSIBS8BZts$tRSsj,SIBSABB,RSZtS{SWBSYsS$tSstRb$tS YRSJZR$BtRS$S$RS{jsSYsSBtSYsRSBSAS{B{BtR{$BZRSBPS8s}YBS3BS

-s8}jSbY$jSsAjRS}B}jSstISPj$tRS{stSASRBtSw$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 sRSs}}wR8sj}YstDS BS sS P$%TksS BjIS 3ZY8BS $tS sR,$tSRZ{YSsSJZkSbSsStBSsR,$tSbYYSBStBS%kSj}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 I^xS 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{$tjkSsZISBSs%B$IS{s$tS{BtsI${$BtRSjB${sjSsRBt$tS8ZRSsSRB8S j%jS{Bjjs}RSBSsSA$tskSjB${SGY$jSej,st:RSsZ8tSR8ISBSASRZR{}$AjSBS RB8S {$${$R8S wS *ZAB$RS S sjS wd;DDS YS sS 8BS {Bt%$t{$tS sZ8tRS RZ}}B$tSYSRs8SRZjS3BS-s8}jS{BtR$ISYSPBjjBb$tUSS

SwdDS FBYtSj$,RS%kSPs8BZRSs{RRS w1DS N$9S$RSsSPs8BZRSs{RRS wnDS FBYtSj$,RSN$9S

S]jsjkSwdDSstISw1DSRYBZjISts$jSwnDSsIjRRSBPSYBbSPs8BZRSN$9Ss{ZsjjkS$RS=R$tS

(7)

AsR${Ss}}Bs{YSBSI$R{B%$tSYSBtBjBkSBPS{B88BtRtRS,tBbjIS{stS ASRZ88s$9ISsRSPBjjBbRUS

7j{SsSRSBPSsI`{$%RSstIS%ARSS z ={%_d!!!%₈}SS

7j{SsSRSBPStBZtRS] ={{_d!!!{_t}S

ptsSRRS]_$ ={{∈] |s}}w%_${D}Sd≤ $ ≤8SPBS%kS%_$ ∈zS

VtsjkRSYSRZARSjs$BtRY$}SAbtSsjjSRRS]_$ ∈{]_d!!!]₈}S

S

VRS stS $t$$sjS -s8}jS {BtR$IS YS RS BPS %ARSzS)S{9C'Sdul/SYvS ul/SuRCv}S stIS YS RS BPS tBZtRS]S)S{ku%CvulS#%ISjl}XuvS 6Xu/SVv%9ulSV9Bu}S kS}sIjkSs}}jk$tSs}}w%{DSYSPBjjBb$tSRRS sStsIUS

S]_9C' ={ku%CvulVv%9ul#%Ijl}Xuv6Xu/V9Bu}S }

{

= ku%Cvul

]ul/ S

} {

= ku%Cvul

uRCv

] S

} {

= Vv%9ul

]X%v/ S

} {

= ku%Cvul #%Ijl}Xuv

dul/

] S

} {

= ku%Cvul #%I jl}Xuv

Yv

] S

S3$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$IISYSJZkS}B$RISBSsSP$%TksSBjIUSIBSj}YstRSPjkSIBSYkS

ZtSIBSYkSsj,S{S+ZR$BtsAjSR$Zs$BtRSbSR$8}jkS$tBISqY$RS

$t$$sjS}B{RRSRZjIS$tSYSY$s{YkSRYBbtS$tSP$ZSnSAjBbS7B8SBPS YSRRS$tI${s$tS}BR$$%SjPSstIS$YSs$AZRSsS$%tS$tSP$ZS;S AjBbSWBS YsSRB8S}BbPZjS$tPt$sjS}stRSYsS{stSASZRIS$tS jstZsS }B{RR$tS sS $8}j${$S $tS YS RZ{ZS RYBbtS $tS P$ZS nS 3BS

-s8}jSbYsSIBRStBSY$t,SIBRStBSYZSwNDSbYsSbsj,RSsjRBSZtRS wN_MDSstkY$tSYsSj$%RS%Bj%RSwN_nSstISN_;DS{S

;StBbjITN%jUS $tSNB{,ISBSsS_B}kS

B$%s$tS BZS s}}Bs{YS BSI$R{B%$tS wsRS B}}BRIS BS$t%t$tDS YS RZ{ZS BPS {B88BtRtRS ,tBbjIS $RS YS $IsS YsS {B88BtS jstZsS 8ZRSPj{S{B88BtRtRSstISYZRSI$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{ISwbSjs%SYSIs$jRSBPSPB8Zjs$tSY$RS$tSPZ99kSjB${SsRSstS-{$RDSqYS }BAj8S YS $RS YsS sS YS JZsj$s$%S j%jS YS ZYT%sjZS BPS Ps8BZRw-DS 8ZRS {Bjjs}RSBS$YSZSBSPsjRSR$t{SsSYsSj%jSsjjSYsS8sRS$RSbYYSBStBS N$9S$RSPs8BZRStBSYBbSPs8BZRSRYSs{ZsjjkS$RS

(8)

{js$8SbSsS8s,$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$tSjB{,ISBSsS}B}k"SytSPs{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

SS SS SS SS SS SS SS SS SS SS SS SS SS SS

3$ZSnSVtSsIZjS$RSsS}YkR${sjSj$%$tSY$tSYsS$RSPB8ISyS%Bj%RS$SBbRS$S I%jB}RS8B%RS$S{stSbsj,SZtSYsSRSsj,SY$t,SsRBtS{S

S

} {

= +

− }

{

=

− +

} {

= +

− } {

=

− +

} {

= +

− }

{

= +

−

} {

=

− + } {

=

− +

} {

=

− + }

{

=

− +

sRBt i

sj, N

{k

Bs

i

Zt bsj,

`Z8}

R$

N

Y$t, YZ

AjI I$R

s

R Rj}

i 8B%

i

Ast{Y N

Bb ABt I$

j$%

N

%Bj%

N PB8

I%jB}

N

dd d(

M

E

;

n 1

S

S S

3$ZS;S7RSRYBbtS$tSP$ZSnS S

− +N_n

+

−i_n

5C9u%Cv −+iN₁1−+ 6YBRuv|

%v

aXmR%|ulsX −i_d+ VBRu|sX%v

− +N_d sX%v

9u%Cv

WuYul5C uvuI5C9u%Cv

− +N_;

+

−i_; V%Qu|R `CvRY|%CvR

− +N_x

+

− _x yvVv%9u

R M%'%vsX%v

− +N_E

+

−i_E

aluvR _Vv%9ulM%Q

− +N

+

−i

%|C$R Vv%9ulR

− +N_M

+

−i_M

MI WCvMI

− +N

+

−i

G%vI WCvG%vI

− +N_d(

+

−i_d(

ku%Cvul yu%Cvul

`X%lI +N_dd− VIYl +

−i_dd

(9)

qBS$jjZRsSY$RS}B$tSPZYSjSZRSstsjkRSsSPs8tSBPSYSY$s{YkS RYBbtS $tS P$ZS nS $tS RB8S Is$jS qYS {Bt{}SM%'%vsX%vS BtS {stS sZS$RSYS{Bt{}SPBSbY${YSBtS{stSRskSYSPBjjBb$tUS

Ss}}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$RSs{ZsjjkS:jB{,I:SBSR%sjSBYS}B}$RSstISYZRSBS R%sjSBYS%ARSstISsI`{$%RDSGYsS$RS$8}BstSBStBSYS$RSYsS

$tS BIS BS {jsRR$PkSM%'%vsX%vS PZYS BtS8ZRSP$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{BZjISYPBS 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$jSj$%$tSBst$R8RSGSsStBbSss$tSPs{ISb$YSYSRs8S 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${SI$PPt{SAbtS 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{YSYSB{{Zt{S BPS sS %A\sI`{$%SsS stkS}js{S stIS sS stkS j%jS $tS YS Y$s{YkS sjbskRS PRS BS sSZt$JZS RtRSBPS 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}jSQC9stISQC9YluS$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{}RSQC9stISQC9YluS8ZRSABYS s}}jkS BS^ideasS WBS YsS $PS %kY$tS YsS {stS AS :PB8I:S {stS AS :PB8ZjsI:SstIS%${S%RsSYtSYRSbBS%ARSbBZjISASRktBtk8BZRS

(10)

<Bb%S $tS Y$RS {sRS Y$RS $RS tBS RBS R$t{S YS sS Y$tRS YsS {stS AS PB8IS AZS tBS PB8ZjsIS 3BS -s8}jS {BtR$IS YS R8sjjS Ps8tS RYBbtS $tS P$ZS xS bYS $S $RS RYBbtS YsS :I%jB}$t:S S :PB8Zjs$t:S :PB8$t:S{SsSsjjSR}{$P${SbskRSBPS:8s,$t:Sw$tSBYSbBIRSBtSRtRS BPS :8s,:S $RS :I%jB}:DS WBS YS %tZsjS R}j$S YBb%S ytS }s${ZjsS bY$jSbS9u/SQC9SstISI'lC}SABYS%IuRSstISQl%vRS%IuRSsS QC9YluISbY$jSQl%vRSsSQCRIS

SS SS SS SS SS SS

3$ZSxSVtS-}jsts$BtSBPS}BjkR8kSS

SGY$jS YS B{{Zt{S BPS R$8$jsS RtRRS BPS %ARS sS %s$BZRS j%jRS $tS YS Y$s{YkS$tI${sRS}BjkR8kSYSB{{Zt{SBPSYSRs8S%ASwYSRs8S j-8DS sS RZ{ZsjjkS $RB8B}Y${S }js{RS $tS YS Y$s{YkS $tI${sRS 8s}YB${sjSI$%s$BtRS]BtR$ISYSPBjjBb$tUS

Ss}}wYvMIsX%vDS wEDS

s}}wYvu|X%vDS wDS

s}}wYv6XCdDS wMDS

SwEDSYBZYSwMDSRsSYsSbS{stSR}s,SBPSsSjISY$tSsS8s{Y$tSstISsS RYBbS Ztt$tS ]jsjkS YBb%S YRS -s8}jRS $t%Bj%S YS I$PPtS RtRRSBPSYS%ASYvSyS{BZjISASsZISYsSYSRtRRSBPSYvSYsSsS

$8}j$IS AkS wDS stIS wMDS {BR}BtIS BS sS 8s}YB${sjS I$%s$BtS BPS YS s{ZsjS Ztt$tS BPS tsZsjS ,$tIRS YS RtRS $8}j$IS AkS wEDS yS $RS sjRBS

$tR$tS BS tBS YsS YRS 8s}YB${sjS I$%s$BtRS B{{ZS sS %s$BZRS j%jRUS P$RS PB8S tsZsjS ,$tIRS BS s$Ps{RS stIS YtS PB8S }YkR${sjS BS sARs{SBB%SYS8sRR\{BZtSI$R$t{$BtSBtSYS}YkR${sjSR$ISR8RS BSYs%SsS8$BS$8sSBPSsS8sRR\{BZtSBtSYSsARs{SR$IS3BS-s8}jS tBS YS PBjjBb$tS R$8$js$kS AbtSduS w}YkR${sjS RZARst{DS stIS

%vQC9u%CvSwsARs{SRZARst{DUS

S du\%vQC9u%CvSPjBbRS{stSASI$%ISP$jIS}B{RRIS{S

bS{stSASPjBBIISAkSBSIBbtS$tSdu\%vQC9u%CvS

sSj$jSA$SBPSbs\$tPB8s$BtS$RSwR$jjDSbs\$tPB8s$BtS

S!tS$tR$tSsR}{SBPSYRSP$tI$tRS$RSBSPZYS$t%R$sSYS-s{S tsZS BPS Y$RS 8s}YB${sjS 8s}}$tSstISbYYSYS 8s}S$RS{BtR$RtS

+

−9u/ `

− +QC9

− +I'lC}

} {%IuRQl%vR

+

−QC9Ylu+QCR −

%IuR Ql%vR

(11)

YBZYBZS YsS $RS bYYS Rs8Tj%jS Y$s{Y$RS sS RZ{ZsjjkS

$RB8B}Y${SsRSYS{sRSs}}sRSBSASRBSPsSwRSP$ZSED^ES SS

SS SS SS SS

3$ZSESyRB8B}Y${SRZ{ZRS-}js$t$tS8s}YBRSS

ESWs$BtSy88ZsAjS3sZRSstIS7Z}$RS

qYS8BIjS}B}BRISYSsjjBbRSZRSBSYs%SsS%kS$tR$tS8BIjSBPSYS ts$BtSqBS$jjZRsS{BtR$ISYSPBjjBb$tS}B}BR$$BtRS$8}j$ISAkSYS {Bt{}SY$s{YkS$%tS$tSP$ZSnSts8jkSYsStsjjkSst$8sjRS8B%S stIS}B}jSsj,US

Ss}}wC'Vv%9ulDS wDS

s}}wsul/ku%CvulDS wd(DS

SGYsS$RS$tR$tSBS{BtR$ISYS$RSYBbSBtS$t}RSYSts$BtSBPS RZ{YS }B}BR$$BtRS ytS }s${ZjsS YS sS bBS }BRR$AjS stRbRS BS YS JZkS¬s}}wC'2DS$SBSYSJZkS"bYsSBA`{RSIBStBS8B%2"S!tS {stS R$8}jkS}B%$IS w>STSVv%9ulDSsRS stS stRbSbYS>S$RSYSRSBPSsjjS {Bt{}RS $tS YS Zt$%RS BPS I$R{BZRS qY$RS $RS YS RS BPS sjjS {Bt{}RS

-{jZI$tS YBRS PBS bY${YSs}}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<Bb%SbSsZSYsSYS$RSsSRZAjSI$PPt{SAbtSYS PBjjBb$tSJZ$RUS

*BS8BZts$tRSsj,2SS wddDS

*BSj}YstRSsj,2S wd1DS

SVjYBZYS sS s$BtsjS stS bBZjIS stRbS "tB"S $tS ABYS {sRRS BtS 8$YS

$8s$tSsS{Y$jIS}jk$tS"tsYS8BZts$tRSIBStBSsj,"S$tSR}BtRSBSwddDS qY$RS8ZRS ASPZt{$BtSBPSYSPBjjBb$tUSj}YstRSPsjjSI${jkSZtISYS ts$%S }Bjs$kS BPSul/S bY$jS Y$RS }B}kS $RS tBS %tS s}}j${sAjS BS 8BZts$tRS wRS P$ZS S AjBbDS 3B8SsSp${stS }B$tS BPS %$bS$S R8RS YsS "j}YstRS IBS tBS sj,"S $RS RB8bYsS 8BS 8st$tPZjS YstS

"8BZts$tRS IBS tBS sj,"S qY$RS RZAjS I$PPt{S $tS YS bBS {sRRS BPS ts$BtS $RS {Z{$sjS $tS }PB8$tS {B88BtRtRS sRBt$tS $tS jstZsS SSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSS

ES]BtR%s$%jkSYS8s}}$tS8$YSASsSYB8B8B}Y$R8SstIStBSstS$RB8B}Y$R8S vsX%v

MIM%'%

%v IM%'%vsX G%vIM

Vv%9ul +

−Yv

− +Qlm

u|X%v

X%v GXlIu|

lIu|X%v G%vIGX

+

−Yv

− +Qlm

(12)

ZtIRstI$tSqY$RS$RSsjRBSjsISBSYStB$BtSBPSYS$88ZsA$j$kSBPSsS PsZS w7jB8stSS sjS dMDS bY${YS $RS YBZYS BS Pj{S YS IS BS bY${YSsS{Bt{}SI}tIRSBtSsS{s$tSPsZSwBS{Bt%RjkSYBbS{tsjS

$RSsS{s$tSPsZSBSYSIP$t$$BtSBPSsS{Bt{}DS3BS-s8}jSPBSRB8S }RBtS}S¬iZtw}DS $RS sZsAjkS jRRS RZ}$R$tS YstS¬Gsj,w}DS bY${YS $tS ZtS$RSjRRSRZ}$R$tSYstS¬B%w}DSqYsS$RS$S$RS8Z{YSYsISBSsRRZ8S YS$88BA$j$kSBPSsS}RBtSYsSBSsRRZ8SYsSsS{s$tS}RBtS8$YStBS ASsAjSBSbsj,SBSZtSytSBZS8BIjSRZ{YS8sRZRSw$t{jZI$tSsS8sRZS BPSRZ}$RDS{BZjISASsR$jkS{B8}ZIS

SS SS SS SS SS SS SS SS

S S

3$ZSSBZts$tRSj}YstRSstIS}B8RSIBStBSsj,S

SisRBt$tSb$YS]B88BtRtRStBbjIS

GYsS bS sS RZR$tS $tS Y$RS}s}S $RS sS }B{RRS YsS bBZjISYB}PZjjkS jsIS BS YSI$R{B%kSBPS YS BtBjBkS BPS {B88BtRtRS ,tBbjIS qY$RS sjBtS bBZjIS {jsjkS IBS j$jS BS AZ$jI$tS tsZsjS jstZsSZtIRstI$tS RkR8RS ZtjRRS stS $tPt{$tS RskS YsS Z$j$9RS Y$RS BtBjBkS $RS }B}jkSPB8ZjsISGY$jSYSBtBjBkS}B%$IRSYSRktY${S,tBbjIS YsSstSWN=SRkR8S8$YStISstSWN=SRkR8S8ZRS{jsjkSZRSJZ$SsS A$SBPSstsjk${S,tBbjISVSk}${sjS-s8}jSbBZjISASYSPBjjBb$tUS Sw∀}{_d{₁Dws}}w}{_dD∧$Rsw{_d{₁D⊃s}}w}{_dDDS wdnDS

SqYsS$RSstkS}B}kSYsSs}}j$RSBSsS{Bt{}Ss}}j$RSBSsjjS$RSRZAk}RS ]jsjkSYSsStZ8BZRSBYSRZ{YSZjRSYsS{BZjISASsIIISVtBYS

$8}BstSBAR%s$BtSYS$RSYsSYSRkR8SYsSb$jjS%tZsjjkS8S b$jjS k$jIS sS 8Z{YS ${YS k}S RZ{ZS YstS YS wPjsDS k}S RkR8RS k}${sjjkS sRRZ8IS $tS PB8sjS R8st${RS wS BtsZS dnDS 3BS

-s8}jS PB8S YS Y$s{YkS $tS P$ZS nS BtS {stS {jsjkS RsAj$RYS YS PBjjBb$tUS

− +ul/

u%Cvul %u%Cvul WCvG%vI

M%'%vsX%v

sX%v

%v

aXmR%|ulsX VBRu|sX %v

D w- sj,

¬

D w- sj,

¬

D w-

¬sj,

(13)

D w

U _MIsX%v →

Gul/ S wd;DS

DD w

w

U _=Y9uv → _`Cvv →

G% S wdxDS

SqYsS $RS :b$:S $RS tBS R$8}jkS sS js$BtS AbtS bBS t$$RS AZS sS

js$BtSAbtSbBSR}{$P${Sk}RSBPSt$$RSWBSYS$8}Bst{SBPSY$RS R}SwBPS{B8A$t$tSPB8sjSR8st${RSb$YSsS${YSk}SY$s{YkDSYBb%S 3BS -s8}jS wdxDS RsRS YsS b$w-kDS $RS bjjTk}IS sRS jBtS sRS

%Ruw-=Y9uvDSstIS%Ruwk`CvvDSytStsjS S

SBS$8}BstjkSYBb%SYS{B8A$ts$BtSBPSsS${YSk}SY$s{YkSstIS sS$BBZRSR8st${RSRYBZjISRYISRB8Sj$YSBtSYSR8st${RSBPS{B8}BZtIS tB8$tsjRS3BS$tRst{Sk}S$tPB8s$BtS8$YS-}js$tSbYkS8B%$tSYS 8$IIjStBZtSPB8SwdEDS{YstRSYSRZA`{S{BtR$IsAjkSbY$jSYSRs8S$RS tBSZS$tSwdDS

S]B8}ZSABB,SRsjS wdEDS

ytPB8s$BtS8sts8tSRkR8S wdDS

S7Z{YSZjRSsS$8}BstS$tSsS%s$kSBPSjstZsS}B{RR$tSsR,RSstIS$tS }s${ZjsS$tSB}${TAsRIS$tPB8s$BtS$%sjSVS{B8}BR$$BtsjSR8st${RS YsS -}jB$RS sS ${YS k}S Y$s{YkS RYBZjIS YPBS Ps{$j$sS YS I%jB}8tSBPSsS8st$tSsjAsSPBS-s8}jSBS-}js$tSbYkSPs,SZtS$RS tBSw-s{jkDSsSZtSbYsRS$8}BISZtS$RS%kS8Z{YSsSZtSqYRSsS }{$RjkSYS,$tIRSBPS$RRZRSYsSYs%S}B8}ISY$RSbB,SstIS8Z{YSBPS Y$RS$RS{ZtjkSZtISI%jB}8tS

MS]Bt{jZI$tSi8s,RS

ytS Y$RS }s}S bS sZIS PBS stIS }RtIS sS tbS s}}Bs{YS BS YS RkR8s${SIR$tSBPSBtBjB$RSBPS{B88BtRtRS,tBbjISqYS8YBIS$RS AsRIS BtS YS AsR${S sRRZ8}$BtS YsS XjstZsS ZR"S {stS Z$IS YS {jsRR$P${s$BtS }B{RRS qY$RS $IsS $RS $tS ZtS BBIS $tS 3:RS }$t{$}jS BPS ]B8}BR$$Btsj$kSstIS$RSR$8$jsSBSYS$IsSBPSk}S$tPt{S$tSRBtjkT k}IS }Bjk8B}Y${S }Bs88$tS jstZsRS qYS -}$8tS bS {BtIZ{ISRYBbRSY$RSs}}Bs{YSBSASJZ$S}B8$R$tSsRS$SR8RSBSYs%S stRbIS sS tZ8AS BPS JZR$BtRS R$8ZjstBZRjkS ytS }s${ZjsS YS s}}Bs{YSR8RSBSw$DS{B8}jjkS8B%SYStISPBS8Zj$}jS$tY$st{S w$$DS }B%$IS sS BBIS 8BIjS PBS j-${sjS s8A$Z$kS stIS }BjkR8kS stIS w$$$DS RZRSsS}jsZR$AjS-}jsts$BtSBPS8s}YBS$tStsZsjSjstZsS

Z{YSBPSbYsSbS}RtISYS$RSbB,S$tS}BRRS8BSRBSYstSsS P$tsjSRZjSqYPBSbSsSbjjSsbsSYsS$S8$YSASJZ$Ss8A$$BZRS BS-}{SY$RS}B{RRSBSk$jISsS{B8}jS{jsRR$P${s$BtS$tSsSR${SA$tskS

S wtBS 8Zj$}jS $tY$st{S stIS tBS j-${sjS s8A$Z$kDS SGS8ZRSsjRBS D

w D w

D w D w DDD w

w w DD

w w

D w D w DD w

w DD

w w

t A 8

s

A

k}

s

k}

bjjqk}I

8 s s

k}

bjjqk}I

t 8 IP

8 IP

%Ru

' '

%Ru '

'

∧

→

≡

∧

→

≡ SSSSS

1 d

(14)

tBSYsSsStZ8ASBPSBYSsR}{RSBPSY$RSbB,SbStBSI$R{ZRRISYS RZ{YSsRSYS}sTbYBjSjs$BtRY$}SytS}s${ZjsS$SR8RSYsSRB8SAZS tBSsjjS%ARSYsSs}}jkSBSsS{Bt{}Ss}}jkSBSY$S}sRS3BS-s8}jS

BbS$tSs}}wBbjDSstISs}}wBbs8DS$RS%kS8Z{YSjsISBSBbS$tS s}}wBb}RBtDSqYsS$RSbYtSbSPSBSsS}RBtSBb$tSs$tS{S bSsS$tI${jkSP$tSBSYSBb$tSBSs$tSBPSYS}sRSVtBYS

$8}BstS }sS BPS Y$RS bB,S $RS BS sjRBS I$R{B%S YS tsZS BPS YS

js$BtRY$}SAbtSwtZ$tDSk}RSwS=Y9uvDSstISBjRSYsS{Bt{}RS }jskS wSsu|XS 5uXS {DS ytS Y$RS sIS sS tZ8AS BPS 8}BsjS sR}{RS8ZRSsjRBSASPB8sj$9IS

VSsSIsjSBPSbB,S$RSR$jjStIISBSPB8sj$9SYSt$Ss}}Bs{YSsRS bjjSsRSbB,SBZSYS%s$BZRS$tPt{SZjRSYsSb$jjS%tZsjjkSAStIIS

$tSsStsZsjSjstZsSZtIRstI$tSRkR8SGSYs%SsjsIkSRZ{{RRPZjjkS ZRISRB8SBPSYS$IsRS}RtISYS$tSWN=SsR,RSRZ{YSsRSI%jB}$tSstS

PP${$tSstIS{Bt$$%jkS}jsZR$AjS$tPt{$tSRskSBSRBj%SJZst$P$S R{B}S s8A$Z$$RS sS YS }s8s${S j%jS wRS 7sAsS mS ]B$%sZS 1((dDS GY$jS BZS $88I$sS BsjS $RS BS I$R{B%S YS BtBjBkS BPS {B88BtRtRS ,tBbjIS BZS Zj$8sS BsjS $RS BS AZ$jIS RkR8RS YsS {stSZtIRstIS R}B,tS jstZsS qY$RSsR,S YsRS }B%tS BS AS8BS{Ysjjt$tSYstSYsRS

%SAtS$8s$tISqZ$tS8$YSYs%SYsIS$S$YSsjjSsjBtUSsS8s{Y$tS YsS{stS{Bt%RS$tSR}B,tSjstZsS8ZRSASstS$tjj$tS8s{Y$tS

iPt{RS

Allen, J. (1987), WsZsjS NstZsS =tIRstI$t, Benjamin/Cummings, Menlo Park, CA.

Asher, N. and Lascarides, A. (1998), The Semantics & Pragmatics of Presupposition, FBZtsjSBPS78st${R, dx:239-299.

Bateman, J. A. 1995. On the Relationship Between Ontology Construction and Natural Language: a Socio-Semiotic View. International Journal of Human- Computer Studies, 43: 929-944

Charniak, E. (1993), 7s$R${sjSNstZsSNst$t, Cambridge, MA: MIT Press.

Charniak, E. (1986), A neat theory of marker passing. In _B{I$tRSBPSYS3$PYS Ws$BtsjS ]BtPt{S BtS V$P${$sjS ytjj$t{, pp. 584--588, Los Altos, CA, Morgan Kaufmann.

Fuzzy logic vs. possibilistic logic, yeeeSe-}, 9(4), pp. 15-19

Dummett, M. (1981), 3US _Y$jBRB}YkS BPS NstZs, Harvard Univ. Press, Cambridge: MA.

Elkan, C. (1993), The Paradoxical Success of Fuzzy Logic, In _B{I$tRS BPS YS ddYS Ws$BtsjS ]BtPt{S BtS V$P${$sjS ytjj$t{S AAAI-93, pp. 698-703.

AAAI Press.

Fodor, J. A. (1998), ]Bt{}RS TS bYS {Bt$$%S R{$t{S btS bBt, Oxford University Press: NY.

Guarino, N. and Welty, C. (2000), A Formal Ontology of Properties, In _B{I$tRS BPS YS d1^YS ytS ]BtPS BtS tBbjIS et$t$tS stIS tBbjIS sts8tS NW]7, Verlag.

(15)

Hirst, G. (1986). 78st${S yt}s$BtS stIS YS iRBjZ$BtS BPS V8A$Z$k.

Cambridge University Press, Cambridge

Hobbs, J. (1985), Ontological Promiscuity, In _B{I$tRS BPS YS 1nIS VttZsjS

$tS BPS YS VRRB{$s$BtS PBS ]B8}Zs$BtsjS N$tZ$R${R, pp. 61-69, Chicago, Illinois, 1985. ACL.

Hobbs, J. R., Ssj. (1993), Interpretation as Abduction, V$P${$sjSytjj$t{, En:69- 142.

Kurtzman, H. and MacDonald, M. (1993), Resolution of Quantifier Scope Ambiguities, Cognition, 48, 243-279.

Lenat, D. B. and Guha, R.V. (1990), Z$jI$tS NsS tBbjIT sRIS 7kR8RUS i}Rts$BtSstISytPt{S$tSYS]O]S_B`{. Addison-Wesley.

Mahesh, K. and Nirenburg, S. (1995), A Situated Ontology for Practical NLP, In yF]VyTxS GB,RYB}S BtS sR${S !tBjB${sjS yRRZRS$tS tBbjIS7Ys$t, IJCAI- 95, August 1995, Montreal, Canada.

Montague, R. (1973). The Proper Treatment of Quantification in Ordinary English, In Thomason (1974).

Montague, R. (1970), English as a Formal Language, In Thomason (1974).

Pereira, F. C. N. and Pollack, M. E. (1991), Incremental Interpretation, V$P${$sjS ytjj$t{, x(:37-82.

Pustejovsky, J. (2001), Type Construction and the Logic of Concepts, In P. Bouillon and F. Busa (eds.), qYS7kts-SBPSGBISst$tR, Cambridge University Press.

Reinhart, T. (1997), Quantifier Scope: How Labor is Divided between QR and Choice Functions, N$tZ$R${RSstIS_Y$jBRB}Yk, 1((4): 335-397

Saba, W. S. and Corriveau, J.-P. (1997), A Pragmatic Treatment of Quantification in Natural Language, In _B{I$tRS BPS YS dS Ws$BtsjS ]BtPt{S BtS V$P${$sjSytjj$t{ (AAAI-97), pp. 610-615, Morgan Kaufmann.

Saba, W. S. and J-P. Corriveau (2001), Plausible Reasoning and the Resolution of Quantifier Scope Ambiguities, 7ZI$sS NB${s (Special Issue on Commonsense Reasoning), E(2):1-19

Schank, R. C. (1982), *kts8${S 8BkUS VS qYBkSBPSNst$tS $tS ]B8}ZRS stIS _B}j, Cambridge University Press, New York.

Sloman, AS., Love, B. and Ahn, W-K. (1998), Feature Similarity and Conceptual Coherence, ]Bt$$%S7{$t{, 11(2):189-228.

Sowa, J. F. (1995). tBbjIS i}Rts$BtUS NB${sjS _Y$jBRB}Y${sjS stIS ]B8}Zs$BtsjS3BZtIs$BtR. Boston, MA: PWS Publishing Company.

Thomason, R. (1974), Editor with an Introduction, 3B8sjS _Y$jBRB}YkUS 7j{IS _s}RSBPSi${YsISBtsZ, Yale University Press.

van Deemter, K. (1996), Towards a Logic of Ambiguous Expressions, In K. van Deemter and S. Peters (eds.), 78st${S V8A$Z$kS stIS =tIR}{$P${s$Bt, pp.

55-76, CSLI, Stanford, CA.

Wilks, Y. (1975), A Preferential, Pattern-Seeking, Semantics for Natural Language Interface, V$P${$sjSytjj$t{, E:53-74.

Zadronzy, W. and Jensen K. (1991), Semantics of Paragraphs, ]B8}Zs$BtsjS N$tZ$R${R, d(2):171-209.

The Ontology of Commonsense Knowledge

qYS!tBjBkSBPS]B88BtRtRStBbjIS

dSytBIZ{$BtS

1SNstZsS=RSsRSpZ$ISBS!tBjB${sjS*R$tS

nSNstZsSstIS]B88BtRtRStBbjIS

;StBbjITN%jUS $tSNB{,ISBSsS_B}kS

xS_BjkR8kSstISs}YBS

ESWs$BtSy88ZsAjS3sZRSstIS7Z}$RS

SisRBt$tSb$YS]B88BtRtRStBbjIS

MS]Bt{jZI$tSi8s,RS

iPt{RS