ceur-ws.orgceur-ws.org/vol-48/saba_ki2001.pdf · ˜% 7 ˛& 088

15
qYS!tBjBkSBPS]B88BtRtRStBbjIS Gsj$IS7S7sAsS RuBuq|R!Yd%vIRC!|uS VARs{S yS$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%$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 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 sDSPjISsbskS ADSPjjSIBbtS S wdDS 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

Upload: others

Post on 24-May-2020

8 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: ceur-ws.orgceur-ws.org/Vol-48/Saba_KI2001.pdf · ˜% 7 ˛& 088

�������������� �������������������

�������������

�tBbj�I��SstISNst�Zs��Set�$t���$t�Sp�BZ}S7{YBBjSBPS]B8}Z���S7{$�t{��S=t$%��R$�kSBPSG$tIRB��SG$tIRB��S!WSW� Tn_;S]stsIsS

������������� ����

������������������������������������������������������������������������������������������ !"#���$�������������������������������� ����� �� %���� ������� ��� ���������� ������������#��������������� ��%���� �������� ��%�� ���������� ��� ����� �������������&������������������������������������������������������������������������������������������������������������������������ �� ������������ ������� ���� ������ ������������������ ������ ������ ��� �� ������ ������ ���� ����� ��� ������� ���'���(�� ����������� ��� ������������� ���������� ���� ��� ������� ������� ����� ��� ����� ����������� ��� ������)�����&� ��������������������� �������� ���� ������� ��������� ������ ��� ��#�����%�� ���� ������� ��� ������� �����������*� ���#� ������ ����+���������������������������������*���������#����%�����������������������������������������������������������������������

�������������

,����������������������������������������� !"#�������������������������������������������������-������������������������(��������&����������$��������������������������������������������������&�������������� ����&� �� ������������ ��������� �������� ��� ���� ��������� �%�&� �����+����� ��� ����� ������ ��� ���������� ���������&� ���� ����������&� �+�����������������&� ������������� ������� �����������&� �������� ���������&����������������������$����������������������������'��� ��������&���������������������������-.�(��������������/��

��������������� ����� ���� ��� ����#��� �������#�� ���������

��0#�

���� ��� $����� ��������� ��� ������� ���� �������� ����������� ����%�� ���������������&� ��� ���� ��� ��������� ��� ���� ������������ ������ ����&� �������&������ ������&�#� ����� �������� ����� �� ���� ����� �&� �� ��� ���� ����� ��������1���� ��� ���� ���� �� ��� ���� ����� ����� ���1���� ��� ��� ������ �������+������������������������������������������������������%�%�������������������$���������������������������� ������������������/���

Page 2: ceur-ws.orgceur-ws.org/Vol-48/Saba_KI2001.pdf · ˜% 7 ˛& 088

���������� ���������� ���� �������� ��!���� ��

���

� �

" ��

��

���2#�

����������������������������������������������������������������#����������� ��� ���� ������� ��� ��������� ��%�%��� ��� ���� �������� �����������!������ �� ���������� ��� �� ��������� �+��������&� ����� ��������������� ��� ����������� ��� ���� ������������ �������� ��� ���� ���� -������(� ���������������� ��������� ���� -������(� ��� ������������������� ��� ���� ��������������������&� ����� ���������� ��� ������ ��� ���� ������������ ������ ����� ����������� �������� �������� �� ���� ��� ���� �� �� ��� �������� 30���4)��)0&��������� ��� ����� ���� ��������5����%��&� ���������� ����%������ ����� �����%��������������������%���������&����������������������������������������� ����6���� ���� 5��7����� �0889#� ����� ���������� ����%������ ����� �����%��������������������������������������������+���������+��d�

���� -������������� ��� ��������(� �������� ��� ��������� ���� ������������ ��� !"� ���������� ������� ���� :�� ���������&� ����� �������� ������������� ��������� ��� �� ������� ��� �������� ����&� ���� �������&� 08;<*�.����&� 08;<*� ����&� 08=>*� ������&� 08;2#�� "�����������&� ����%��&� ����������������� ����� ����� ������ ��� �� ���� ��������� ����� ��� ���� ����������� �������� ����������������� 7��� ��� ���� ���� ��� ��������&� ����������������� ����� ��������� ��������&� ���� ���������� ���� ���� ����������������������������������������������������������������������������*������������$������ ������������)�����#���� �! ������ � �#������ ��������������� ��� ��%��� ���� #���� �! � ����� � �#� ������� ������� ��� :������������������������������������������������������)�������������������� ��%��� ��� ����� $���������%�� ����������� ����&� �������&� 0889#&� ��� ��������� ������ �+����%��� ��� ���� ��%�������� ��� ���� �������������������� ������ ����&� !����� ���� ?���&� 088@#�� ������� ���������� ���������� ���������&� ���� ��������������&� ����� ������������������������� ������� ������ ��� ������������ ��������� ��� ���� ��������� �%��� ������&� �������%���������������������������������������� ��������������� ���:�)������ !"#���������������������� !"���������$�������������������������������� ����� �� %���� ������� ��� ���������� �������� �%��� 7������&�088<#&� ��� �������� ����� ��� ����� ����&�,�������&� 088=#� ��� �������� �����������������������������-���������������(��

�������%�������������������������������������������������&������������ %���� ����� ����� ������ ������������� ��� ���� ���� ����� ����� �������������� ��������� �������� ��� ���� ��������� �%�&� ����� ���������������������������������������������������������� �������6�����������������6��� ��� ��� �%��� ����� ��� ����� ������� ��������� ��� ����� ���� �������%�� ���� ����� ��� ���������� ����� ���� ������������ ��������� ��������� ������������� ����&� :��&� 08;=*� A������� B� A����&� 0880*�C����6��� B� D�����&� 0880*� .����&� 08;>*� .����� �� ��&� 0889*� ���� ������������� :����� B� !���������&� 088;*� ���� ����� B� ����%���&� 088=#� ��� �������������������������

������������������������������ �����������dSVtS$tP���t{$t�SR��s���kS�Ys�S8BI�jRS$tI$%$IZsjS}��P���t{�RS$tS�Y�S��RBjZ�$BtSBPSR{B}�Ss8A$�Z$�$�RSs�S�Y�S}�s�8s�${Sj�%�jSYsRSA��tSRZ���R��IS$tSw7sAsSstIS]B��$%�sZ�S1((dD�S

Page 3: ceur-ws.orgceur-ws.org/Vol-48/Saba_KI2001.pdf · ˜% 7 ˛& 088

5���� ��� ����� ����� ��� ��������� �������� ���������� ����������������������������������������%������������������������������������������%���:����������������������������������B� ����%���&�2@@0#��������������������������������������$���������������������������������������%����������� ��������������������&� ��� ��� ����� ����� �� ������� ��� ������ �����$����� ����� �� ������������� ������&� ����������� ������� ���� ������������������ ������� ��������� ��� ������������ �������� ����&� !����� B�?���&� 088@*�5������B� �������&� 088>*� ����&� 088>#&� ���� �� ������� ������������ ������� ����� ��%������ ��������� ������ ������ ��� ��������������� ���� ����� ��������������%�� �������� ��� ������ ��� �����������������&�?�������B�����&�2@@@*�A����1�%���&�2@@0#��.���%��&��������������������1����%�������������������������������������������������������&���� ����%�� ����� ��� ������� ���� ������������ �������� ����� ��������" � �� ������� ����� ��" �� �&� ���� ����� ��� ����������������������������������� ���������� ���� ��������� �����&� ���� ����� �� �������� ��� ������ �������������� ������� ����� ��� � ���������� � ���� ��������� ������������������%������������������������������������������������

�������������������������������������������

����������������������������������������������������������������������������'���(���������������� �����������������:�����������'���������7������&�08;0&�����E)=#&�������������������%�������������������%������������ ���%����� �������� ��� ���� ������� ��� ���� ������ ����� �������� ��&�����������������������%���������������������������������������������������� ���������� ���� ������������ ��� ����� �������&� ����%��&� ��� ��������%����������������������������������������������������������� ���������������������������������$��������������������������&����������������� ��������������������������������������������F��������������������3�����4������� ��������� ��� ���� ����� ��� ���� ���� ��� ������ ����� ���� ������ ���������������������&��������&���������&������������������������������������)������������������������������F��7������&�08;0&�����>#���

����� ������ ����� ������ ���� ������ ��� ���� �������� ��� �������� ���������� ���� ������������ �������/� ����� ������ ����� ���� ��� �������������������&������������������������������������������������������������������&���������������������������&�������������#&�������������%��������������������� ���������������������������� ����%��������������:��G������� �088>#� ���� �������&� ��!�! � ��� ���� ����)������ ������� ����%����������������:������������ ������ �������� ������&� ���������&�����6����������������%�������������-���(����������%������������������ ���� ���������� ��� ������������ ��������� :�� �� ����%����� �+����&����������������������� ����� � ���&�����������1����%��������������! &����� ��� ������ ����� ������������ ��� ������� ���� ����������� %������1����%�)����� ������������� ���� ��� ������ ���� ��� ������ ������������&��������������� ���������������1������������������������&���������������������������������������%���������������������1��������������&�����������������������������! � � ����������! ���� &������ ��������������������

������������������������������ �����������1S3B�S�Y�S8B8�t�Sb�Ss��StB�S{Bt{��t�ISb$�YS8��s}YB��SS

Page 4: ceur-ws.orgceur-ws.org/Vol-48/Saba_KI2001.pdf · ˜% 7 ˛& 088

��1���� ���� ������ ����� �������� ����� �������� ������� ��� ���� ������������������������������������0������� ���������������������������������������������������� ��������� ����� ������������������� ������������ ��� ������������&����������������������������n�������������

3$�Z��Sd�SVSR$8}j�SstsjkR$RSBPSPBZ�SsI`�{�$%�TtBZtS{B8A$ts�$BtR���

'����+����&�����������������������������������������������������������������������������������0��'������H�9&������+����&������������������������������� �����������������������F��������������F����������������������9�� ��� �����&� ���� ����� ������� ����� �������S � ��� ��������� �����&� ���������������������������������������������#����

��� ������ ��������������������

���H�9� � ��������� � ��� ����#� ����������������� ���&�#������������������*���������������������1�����������#������������������������������#���������� �

qsAj�Sd�SN$t�Z$R�${S}s����tRSstIS�Y�S{B���R}BtI$t�S�k}�S$tP���t{�R��

�'��� �+����&� �� ����� ���� ��� ��������� ����� � " �� ��#� ��� ����� �� ��� ����������� ������������&������� �������� �����&����� �� ��� ��$������������ ���� �#&� �� ����� &� ����� ���� ���� ����� ��� ��������� ��� ����������������#&� ����������� ������)%����� ���������#� ���� ���� ��� ����� ��� �����������������������1�����'����+����&������ " ���#������������������������������� &�����������&���$������&�����������������������������1������������������������������� �������������� " ��� ��������&��%������������������������������#� }{=

8��� �����

d� ���� �� ���� ��� �������� ����� ����������#�

}{=t$ �����

d&� �� ���������� �&�#� ������ �� ∈ � ���� $ ∈ � ���� ���

�����������������������������������������#������������������������������#���1����� ��� ����� ��� '��� ����� ��������� $ ∈ &� �� ���� }|{= ��� ���

}&�

�������� �� ��������� �� ���� ������ ���� ��������� � ��� ��������&� ���� ������������� :� �������� ���������� ��� ����� ������������� �����%����� ���

������������������������������ �����������nS qY$RS $RS ��8$t$R{�t�S BPS w�Bt�s�Z��S d��(DUS .yS ��`�{�S �Y�S {Bt��t�$BtS �Ys�S �Y���S $RS stS$8}B��st�S�Y�B���${sjSI$PP���t{�SA��b��tSPB�8sjSstISts�Z�sjSjst�Zs��R"�S

}{ �uBl��l�}Xuv� �

}{�l�}Xuv�}{�uBl�

+−lu���

+−R9u��

Page 5: ceur-ws.orgceur-ws.org/Vol-48/Saba_KI2001.pdf · ˜% 7 ˛& 088

���������� �� � ���� ����������� ������ �� ����� �� ���� ���������� ������ ����� ��� ��� ���� ��� ��������� �� ��� ��������������� ������ �� ������������� ��������� �� ��� ��� �������� �� ���� �� ��� �� ��� ���������� �����������������������������������������������������������������

}{= ����� ���� ��� ��

}{= ������� ��� ��� ����������������� ������� ������� �������������� ����������������� ������������������������������������������� ��� ���� ���� ����������������� ������������� � ��������������������������������� �������� ���������� ��! ������������������������������������������"! �������������

�u%l� �����

X�uI� �����������������

������������#��������� ������������������������ �� ������ �� �� �������������������������������������������$����%������������� ����������������� ������������������������������������������������������������

wsDSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSwADS�

3$�Z��S1�S7��RS��t��s��ISAkSs}}w}�{DSstIS�Y�SY$��s�{Y${sjSR��Z{�Z��S$8}j$�ISAkS�Y�8����&�������� ���� ���� �� � ����� ��� � ���� �� ���� ��� ���������� ����� ��������� �������� ����� ��� ��� ��� ��� $��� �%������� ���� ���� ���� ���������������∀ ����������������⊃ ������������� �'��

�∃ ��������������∧ �¬�������������� �(��

�∀ ������� �������≡�������������� �)���

*�����'������������������ �����������������������+������������������,�������������,���������������������������������������������+���������������������������������������� ���������������������+��� ������ �� ������ ��������� ���� ��� ��������� �(��� ��� �� ��������� ����� �� ���� ���� ��+���� �������� �� ���� ��������� ���������� �����������������������������������������$���������)����������������� �� ��,��� ������ �� ��,� ���� �� ����� ��� ��� ��+��� ��� �� �������,�������������,�������� ���������������������� ������������ ������������������������ �������������������� ������ ������������������������ ����� �� ���� ��� � ��� �������� $�������� �� � �� ��� ����� �� ���

}{=

}{=}{=

}{=}{=}{=

}{=

�� �

�� �������

�� �������

�� �������

�� ����

�� ����

�� ����

��C>}}��`uR

�9}�m

9�9B��$Q

R%:�

X�uI

�u%l

��'��R�

��

��

��

�+− �9}�m

+− 9�9B��$Q

+− R%:�

R�JY�v|�

−+ ��C>}}��`uR

−+ ��'��R�

−+ X�uI

−+ �u%l

wR��RDSYvC�I���Iwj$R�RDSC�I���I

R��%v�

Page 6: ceur-ws.orgceur-ws.org/Vol-48/Saba_KI2001.pdf · ˜% 7 ˛& 088

��������������������������������� �������������������������������-������.��� ��� � ������� ���� ��� �� �����! ����� �� �� ������������ ��� �� ����� ������� ����� /�� ����� ��� ��� ���� ��� �� ������������������ ��� � �������� ������� ���� �� ��� �������� ��� ���� ����� ������ ���������� ��� ���������� �������0���������������������������������� ��� ��� �� ������������ ��� ���������� ��%����� ����� ���� ������������� ������� ���� �%�������� ����������� ��� �� ��������� ���� ����� ������� ������������

������������������������������������

������,������������������������������������������������ ������������ �� �������� ��� ���� ���� ������������ ��� ���� �� ���� ���� �������������� ���������� �������� �� �� ��������� �����0� ���� ����� �������������������� ���,��� ���� ������ �� ������� �������� ��������� ���������������� ������������ ���������� �� �� ��������� ������� ���������! ������ ���� ������������� ��������������,�����������! ������� ��������� ���,��� ���� ���;�� /�� ���� ������� ��� ���� ��� ����� ����������� ��� �� ����� ���� �������� �� ��� ��� ��� �������������� ���� ���������� ���� ������� ���� ����������� ������� ������� ! ������� � �� ��� ���������� ������������� ���� ���������������������� ����������������������! ����������������������������������������� �������������$����%�������������������������������������������������������������� ���! ����������� �� �� ���� ����� ������ ����� ������� ����� ���������� �� ��� �������������������� ��������������������������! �����������/�������������� �������������������������������%������������ ���������������������������������������������������������������������������%������������� ����� ���� ��� �� ���� �� ������� ���������� ��� �� ��������� �������! ������ � �� ��� ������� �������� �� �� �� ����.����� ����� $ ��������� �����,����� ����! ����������������,���������������������������� ��������� ���� ��� ����� �������� ���� ���� � � ����� ��� ��� �� ����������� �� �� ���� 1����� ������2�� 3�� �������� �� � �� ! ������ ����������.��� ����/��������������������������������������������.����������� �������������������������������������������������������������������%��������������������! ��������������������������������� �������� 1����� ������2� ��� ��� ������� ���������x��3�� ��� ��������� � ��

�����������������������������������������;Sy�S8skS%��kSb�jjSA�S�Y�S{sR�S�Ys�S"�%��k�Y$t�Sb�S,tBbSb�Sj�s�t�IS$tS,$tI���s���t"�SxSG�Sb$jjStB�SIb�jjSBtS�Y$RS$RRZ�S�BBS8Z{YSY���S�-{�}�S�BSRskS�Ys�SsRSej,stSwd��nDSYsRS{Bt%$t{$t�jkSs��Z�I�S �BSs%B$IS{���s$tS{Bt��sI${�$BtRS jB�${sjS��sRBt$t�S8ZR�Ss�SRB8�Sj�%�jS{Bjjs}R�S�BSsSA$ts�kSjB�${�SGY$j�Sej,st:RSs��Z8�t�SR��8�IS�BSA�SRZR{�}�$Aj�S�BSRB8�S {�$�${$R8S w�����S *ZAB$RS ��S sj�S wd��;DD�S �Y���S s��S 8B��S {Bt%$t{$t�S s��Z8�t�RSRZ}}B��$t�S�Y�SRs8�S��RZj��S3B�S�-s8}j��S{BtR$I��S�Y�SPBjjBb$t�USSSwdDS FBYtSj$,�RS�%��kSPs8BZRSs{���RRS

w1DS N$9S$RSsSPs8BZRSs{���RRS

wnDS FBYtSj$,�RSN$9S

S]j�s�jk�SwdDSstISw1DSRYBZjIS�t�s$jSwnD�S���s�Ij�RRSBPSYBbSPs8BZRSN$9Ss{�ZsjjkS$R�S=R$t�S

Page 7: ceur-ws.orgceur-ws.org/Vol-48/Saba_KI2001.pdf · ˜% 7 ˛& 088

�����������������������������������������������������,����������������� ���������������������

S

������������������+������������������ }{=8

� �����d

���

������������������ ��� }{=t

��� �����d

��

��4����������� ����������$$

≤≤}|∈{= 5���� ����������� �$

∈ �

��#���������� ������������������������������ }{∈8$

��� �����d

�S

#�� ��� ������� �%������� ��������� �� ��� ��� ��������6� {��������������������� �� ��} � ���� �� ��� ��� �� �����6� {���������� ����� �����������������������������} ��-������������������������������������������������������������

}{= ����������������������������������9C'�

������ �

}{= ku�%Cvul�ul/

] �

}{= ����������uRCv

� �

}{= �������X%v/

� �

}{= �������������������dul/

��� �

}{= ��������������������Yv

��� ��$����������������������������������� ���1���������2����! ������������������������������ ���������������������������������! ������������������������������������������/��������������������� �������������������������� ��! ��������������� ����.��������������������� ������������ �����������,������7 ������������ ������������������������������������������������� ���������������������������� ���'���������������������� ���������������������������������� ������������������� ���(�������� ��� �� ����������� �� ��������������������������� ���� ������� ���� ����������� ���� �������� ��� �� �� � ��� ����� ��� ��� ��� '��$���

�%��������������������,��������� ����

� ���������,�������� ���

�M

� ���������������������������n

� �����;

� �������

����������!�����"�#�����������������$��%��� �

8�������� � �� �������� �� ���������� ���� �������� �� ���� ����� ���� � ��� ��� ������������ ,��������� ��� �� ����� �� ������� ���� ����� �������������������������� ����������������������������������������������� ������������������ ��������������������������������������

��������������������������������������������������������������������������������������������������stkS JZst�$�s�$%�S 8BI�jS wRZ{YS sRS PZ99kS jB�${D�S �Y$RS $t�Z$�$%�S �t�s$j8�t�S {sttB�S A�S}�BIZ{�ISwb�Sj�s%�S�Y�SI��s$jRSBPSPB�8Zjs�$t�S�Y$RS$tSPZ99kSjB�${SsRSstS�-��{$R��DSqY�S}�BAj�8S Y���S $RS �Ys�S s�S �Y�S JZsj$�s�$%�S j�%�jS �Y�S ��Z�YT%sjZ�S BPS Ps8BZRw-DS 8ZR�S{Bjjs}R�S�BS�$�Y��S��Z�SB�SPsjR��SR$t{�Ss�S�Ys�Sj�%�jSsjjS�Ys�S8s����RS$RSbY��Y��SB�StB�SN$9S$RSPs8BZR�StB�SYBbSPs8BZRSRY�Ss{�ZsjjkS$R�S

Page 8: ceur-ws.orgceur-ws.org/Vol-48/Saba_KI2001.pdf · ˜% 7 ˛& 088

���������������,�������������������������������������������������,��������.� ���� �����������.�� ������ � �� 2���2� ����� ��! �� ������������� ���� �� ����� ��� ���� ��������� ������������ ������������� ��+�������������������������������$������599:�����5�;����������<������������������������ ���,���������������<�/������� ������������� ����������� �� ��� �� ����������� ����� ������� ������������ ���� ���������������� ,���������� /�� ����� ����� �� ������ �� ������.��������� ������������ ���� �������� �� ���� ��� ��! ���� ���,��� �� ���� ����� ��� ������ ���������������������������������&������'SVtSsIZj�S$RSsS}YkR${sj�Sj$%$t�S�Y$t�S�Ys�S$RSPB�8�I�Sy�S�%Bj%�R�S $�S��BbR�S$�SI�%�jB}R�S8B%�R�S$�S{stSbsj,�S�Zt�SY�s��SR���S�sj,�S�Y$t,�S��sRBt�S��{���

}{=+−}{=−+}{=+−}{=−+

}{=+−}{=+−}{=−+}{=−+

}{=−+}{=−+

������ ����

�������������������� �

������� ��������� �� �� ���������

����������������������

����������������

ddd(

�M

�E

E;

n1

����

������

���

��

��������'���������������� ���'���

−+ nN

+− ni

5C�9u�%Cv 6YBR�uv|�+−1i

−+1N

%v�aXmR%|ulsX %v�VBR��u|�sX+−di

−+d

N

sX%v�

9u�%CvWu�Y�ul5C� 9u�%Cv�uv�uI�5C�

−+;

N

+−;

i V��%Qu|�R CvR`CvR��Y|�%

−+x

N

+−xyvVv%9u���RM%'%v�sX%v

−+ EN

+− Eialuv�R Vv%9ulM%Q�

−+�

N

+−�

i�%|�C$��R Vv%9ulR

−+ MN

+− MiM����I WCvM����I

−+ �N

+− �iG%v��I WCvG%v��I

−+d(N

+− d(iku�%Cvul y��u�%Cvul

`X%lI VIYl�

−+ddN

+−dd

i

Page 9: ceur-ws.orgceur-ws.org/Vol-48/Saba_KI2001.pdf · ˜% 7 ˛& 088

������ �������������� ������� �������������������������������������� ��� ��� ��� '� ��� ����� ������� ��� ������� ������������� ���� ������� ��������������������������������������������������������������������� ������������������������ ��������������������� ������������������������� ���� ������� ����� ������ ��������� ����� ���� ���� ��� �������

������������ ����� ����� 2���,��2������������������������������ ����������������������������+���������3������������������������������� ������ �� ��������������������� � ���� ����� �� ����� ����������� ������������������������� �����������0������������������� ���������������������������� �����#�������������������2����2��� ������ ������������������ ����� �%�����������=����� ���� ��������� � ����� ����������������������������������������������� ���'��

� �������������������������������.��,������������� �������������������������������������������������.��,����������������������������� ��������� ������������������3���������������� ����������� ������� �������������� �������������������������� ������������������������ ��� ��! ����� �� �� ����� ����� ������ ��� ����������� ������� ��������� ������������������������������ ������������������������������������������� ���������������������������� �������� ������������������������������� ������������������������������/����� ���'�������%������������������� ��� �� ������ ��� �������� �� ���� ������� ���� ���� ������ ��������� ����������������������������������������������������������������� ���� �� �� ��%���� 2���2�� 3���� �� ��������� ���� ���� � ���� �������������� ������� ���� ������ �� ����� �������������� ��� � �� ��� ���� ���������.���������������������������������,��������������������������������� ������ ���� �������� ����� ������� ���� ��������������������������������� �� ����� ���� � �� ���� ��������� �� ,��������.������� ���� ����� ���� �������������� ������� ��� ������ ��� ������ ��� ������.���������,����������

(�$�� ��� �����)���%*���

/��� �� ������������� ���������� ������>��+�������� �������������������� ������ ��� �� �������� ������� ������� �� �� ��� ��� ���� ��� ������>��+���������������������%���������������������������%�����������������������������������������������������������������������������/������� ����������� ����%���������������� � ������������������������������. �������������������������� ������������������������������ ������. ������������������ ������������������

&�������������%��������� ������������������������������������������� ������ ������� ������ � ������� ��� ������ ��� �� ����� ��� ����� � ����������������������� ������������������ ������������� ����������� �� ideas�� ��� �� ��� ��������� �� ���� ��� 2������2� ���� ���2���� ����2����������������������������������� �������������� ���

Page 10: ceur-ws.orgceur-ws.org/Vol-48/Saba_KI2001.pdf · ˜% 7 ˛& 088

*�������� ��� ��� ����� ��� ��� ��� ���� ������ ���� ���� ����� �� ���� ���������� � � ��� ���� ������ $��� �%������� ��������� �� ������ ������������� ��� ��� ��� )�� ����� �� ��� ����� �� 2����������2�� � 2���� �����2��2�������2�������������������������������2��,���2����������������������������� 2��,�2� ��� 2�������2��� ��� �� ���� ��� ����� �������� /�� ����� ������������������������������������������� ������������ ������ �������������������������� ������� ������������������

�&�����('�#���%����������������������

�3���� �� ��� ������� ��� �������� ������� ��� ������ �� ����� �� ������� ��� ���������������������������������� ��������������������������������%����� �� �� � ������ ���������� ������� ��� �� �������� ��������������������������������&����������������������������������������� �;�������� �!������ �?�������������� �:����;���� ���:�������������������,������������������������������������� � ������� &�������� �������� ���� �%������� �������� ���� �����������������������������/��� ��������� ��������������������������������� ��� �?�� ���� �:�� ����������� �� �� ����������� ���������� ��� ���� ��� � ������ ��� �� ���� ,������ �� ������ �������� ��� �;��� /� ��� ��������������� �� ���� �� ��������������� ����������� ��� �� �� ����� ���������� ����� ����� �� ���� ,����� �� �������0� ���� ��� ����� �������� ����������8���������������>�� ������������������������������������������������������������������>�� ��������������������$����%����������� �� ���������� ���������� ������� ����� ��������� � �������� ������������������������ ����������������>��������������������������������������������������������������������������������������������������>������������������������������>�������������������������>������������=����������������������������������������� �����������������%����� ��� ��� ������������������������������� ������ ��� ���������

+−9u/�`

−+QC�9

−+I�'�lC}}{ Q��l%v�R%I�uR �

+−QC�9Ylu��−+QCR���

%I�uRQ��l%v�R

Page 11: ceur-ws.orgceur-ws.org/Vol-48/Saba_KI2001.pdf · ˜% 7 ˛& 088

�� �� 0� �� ���� ����� ����.������ ���������� ���� �� � ������������������������������������������������������� ���;�E������������

����������/����������� � �����%������������������

������� �����������������������������������

����������������������������� ��������������������������������������������������� ������������������������������������������������������������������������������� ���'������������������������������������������������,������� ������������ �9��������������������� �5@���3��������������������������������������������������������������� �� ������������� /�� ����� ����� ���� ���� ��� ��������� �������� �� ��! ����¬���� ����A"�������������! ����<�����+��������������A<�=������� ��������������� �#� .������������ ����������������#� ��� �������������������� ��� �� �������� ��� ����� ����� ���� ��� �� ��� ��� ���� ���������%�� ����� ���� ������������ ������������ ������� ��� ������ ���� �������.������� ����� ��� ��� ����� ����� ��� ��� ?� �������� ���� ��� �������������������������������� �������������������������������������� � ����*�������������� �������������� ����������������������������������! ��������

!������ ���� ���"� �55��!��������� � ���"� �5����#�� �� �� �������� ������� ��� ������� <��<� ��� ��� ������� ��������������������������������<������ ��������������,<����������������55�������� ����� � ��������� �� ������������������� ������������� ����� ���������� �������� ��� ����0� ����� ��� �������� ��� ��� ����� ����������� ���� ������ ����� ��� ��� ?� ��������$������4������������ ��� ������ �� �������� <�������� ��� ��� ��,<� ��� ������� ����� �������� �� ���<�� ������ ��� ��� ��,�<� ���� � ���� ����������� ��� �� ��� ������ ����������� ��� �� ����� ��� ����������� ������������ ���������� ��� ���� ����

�����������������������������������������ES]BtR��%s�$%�jk�S�Y�S8s}}$t�S8$�Y�SA�SsSYB8B8B�}Y$R8SstIStB�SstS$RB8B�}Y$R8�S

v�sX%v�M����IM%'%

%v��IM%'%v�sXG%v��IM���

Vv%9ul

+−�Yv

−+Qlm

�u|X%v�

X%v�GX��l�I�u|

l�I�u|X%v�G%v��IGX��

+−�Yv

−+Qlm

Page 12: ceur-ws.orgceur-ws.org/Vol-48/Saba_KI2001.pdf · ˜% 7 ˛& 088

��������������������������������������������������� ����� ���������� ��� �������� � � ����� 599:��� ���� ��� � �� �� ������� �� ������� �������������������������������������� ��������������������������������������������� �������������������������������$����%����������������������� ��� ¬������� ��� ��� ����� ����� � ��������� ��� ¬#�������� ���� ��� ������������ ������������¬$�������������������� ������������� ���������������������������������� �����������������������������������������,������ ���/��� ��������� ������ ��������� ����������� ������� ���������� ����������������� ���������������������

����������8� ����������������������������������,��

������ ����������� �� ��������� �������

3����� ���� � �������� ��� ��������� ��� ���������� ���� ������� ��������� �� �� �������� ��� �� �������� ��� ������������ ,���������� ������������ ��� �������� ��� ����� ��� ��������� ���� ���� ���� ������������������� ������ ��� ������������ ������� �� ������� ��� �������� ���������������� ������3��������������������������������,�������������� BC�������������������� BC�������� ���������� ���! �������������������,����������#���������%�������� ��������������������

���������������d1dd1d

����������������� ⊃∧∀ � �5'��

����������������������������������������������������������� �������&���������������� ���� ������� ��� �������� �������������#���������������������������������������������������� ����������������� ������ �� � �� ������ ���� �� � ��� ��� �� ������ ���� ���������������� ��� ���� ��� ������� ��������� ������� 8���� ��� 59?'��� $����%������� ����� �� �������� ��� ��� ��� '� ���� ���� �������� �������� �������������

−+�ul/

�u�%Cvul %��u�%Cvul

WCvG%v��I

�M%'%v�sX%v

sX%v�

%v�aXmR%|ulsX %v�VBR��u|�sX

Dw-�sj,¬

Dw-�sj,¬

Dw-�sj,¬

Page 13: ceur-ws.orgceur-ws.org/Vol-48/Saba_KI2001.pdf · ˜% 7 ˛& 088

��� �� →�M����IsX%v���� � �5(��

����� ��� →→`Cv��v�=Y9uv

����� � �5)��

���� ���� 2����2� ��� ��� ������� �� �������� ������� ��� �������� � � ��������������������������������������������� ��������������������������������������������������������������������������������������$��� �%������� �5)�� ����� �� ����������� ��� ����.����� ��� ����� ����������� ������������� �� ����/������������

�8��������������������������������������������������������������������� ������������� �������������������������������������� �������������$��������������������������������%����������������������������� ��������5;������������ �+����������������������������������� ������5?���������� �� ���� �5;���������� �������� ����� �5?���� ��� ����������������������������������� �����������������,��������������� �����������.���������������������������#������������������������� �%������ �� ���� ���� �������� �� ��� �������� ��������� ���������������������������������0������%���������%������������� ������������%��������� ���������������� ������������� ����� ������������������������,����������� �����������������������,������� ������������ ������� �����������������

+����������,����-��

/�� ��� ������ ��� ��� ��� ���� ���� ��������� �� ���� �������� �� ����������������������������������������������,��������������������������� ��� �� ������ ��� ������ �� D���� ���� ��<� ���� � ���� ���������������� ��������� ���� ����� ��� ��� ��� ������ ��� $����2�� ���������� ���&�����������������������������������������������������������������.������ ����������� ������������ ���� ������ ��� �%�������� ������� �������������������������! ��������������������������������������� �� � ����� ��� ! ������� ��� ����� ����� /�� ����� ����� ��������������������������������������������������� ���������������0������ �������� �� ����������� ���� ��%����� ����� ��� ���� ��������0� ���� ������� ���������� �������%������������������������ �������� �����8 ������������������������ ������,� ��������������������������

��������� ������������������������������������������! ��������� �����%�������������������������������������������������������������������� ����� ������ ����������� ������� ��%����� ����� ����� �3��� �������

������

������������������

���������������

����

���������������� ����

������������ ����

t8IP

8IP

������

��

�����

∧∧∧∧→→≡

∧∧→≡

�����

1d1d

Page 14: ceur-ws.orgceur-ws.org/Vol-48/Saba_KI2001.pdf · ˜% 7 ˛& 088

��������� ����������������������������,������������� ����������� ����������.�����������������/������� ���������������������� ����������������������������������������������������$����%���������������������������������������������������� ������������������������������������������������������������������������������������������������������������������������������������������������#������������� ���� ��� ��� ���,� ��� �� ����� ��������� �� �� ��� ��� ������������������������ �������������������� ��������������������������� ������� ��������� �������� ����� /�� ��� ������� �� � ����� ��� ���������������� ����������������������

#�����������������,����������������������������������������������������������,�� �������� ������������� ��������������� ���������������������� �������� ���� �������������������3��������������� ������ ���� ������������������������������������ BC���,���� ���������������������������������������������� �����������������������������������! �������������� ����� ����� �� �� ��������� ������ ����� �����E�&������� �� �@@5���3���� � �� ��������� ����� ��� �� ��������� �� �������� ��� ������������,���������� � �� ������ ����� ��� �� � ���� ������� �� ���� ��������������,��� ���� ��������� ��,����������� ��������������������� ��������������������������� ���������������������������������������������������������������,������� ������ ������������������������F�

,�.�������

Allen, J. (1987), Ws�Z�sjS Nst�Zs��S =tI��R�stI$t�, Benjamin/Cummings, Menlo Park, CA.

Asher, N. and Lascarides, A. (1998), The Semantics & Pragmatics of Presupposition, FBZ�tsjSBPS7�8st�${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), 7�s�$R�${sjSNst�Zs��SN�s�t$t�, Cambridge, MA: MIT Press. Charniak, E. (1986), A neat theory of marker passing. In _�B{��I$t�RSBPS �Y�S3$P�YS

Ws�$BtsjS ]BtP���t{�S BtS V��$P${$sjS yt��jj$��t{�, pp. 584--588, Los Altos, CA, Morgan Kaufmann.

Fuzzy logic vs. possibilistic logic, yeeeSe-}���, 9(4), pp. 15-19 Dummett, M. (1981), 3����US _Y$jBRB}YkS BPS Nst�Zs��, Harvard Univ. Press,

Cambridge: MA. Elkan, C. (1993), The Paradoxical Success of Fuzzy Logic, In _�B{��I$t�RS BPS �Y�S

dd�YS Ws�$BtsjS ]BtP���t{�S BtS V��$P${$sjS yt��jj$��t{��S AAAI-93, pp. 698-703. AAAI Press.

Fodor, J. A. (1998), ]Bt{�}�RS TS bY���S {B�t$�$%�S R{$�t{�S b�t�S b�Bt�, Oxford University Press: NY.

Guarino, N. and Welty, C. (2000), A Formal Ontology of Properties, In _�B{��I$t�RSBPS �Y�S d1�YS yt��S]BtP�S BtS�tBbj�I��S et�$t���$t�S stIS�tBbj�I��S�sts��8�t��S

NW]7, Verlag.

Page 15: ceur-ws.orgceur-ws.org/Vol-48/Saba_KI2001.pdf · ˜% 7 ˛& 088

Hirst, G. (1986). 7�8st�${S yt���}���s�$BtS stIS �Y�S i�RBjZ�$BtS BPS V8A$�Z$�k. Cambridge University Press, Cambridge

Hobbs, J. (1985), Ontological Promiscuity, In _�B{��I$t�RS BPS �Y�S 1n�IS VttZsjS����$t�S BPS �Y�S VRRB{$s�$BtS PB�S ]B8}Z�s�$BtsjS N$t�Z$R�${R, pp. 61-69, Chicago, Illinois, 1985. ACL.

Hobbs, J. R., ��Ssj. (1993), Interpretation as Abduction, V��$P${$sjSyt��jj$��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$t�S Ns���S �tBbj�I��T sR�IS 7kR��8RUSi�}��R�t�s�$BtSstISytP���t{�S$tS�Y�S]O]S_�B`�{�. Addison-Wesley.

Mahesh, K. and Nirenburg, S. (1995), A Situated Ontology for Practical NLP, In yF]VyT�xSGB�,RYB}SBtS sR${S!t�BjB�${sjS yRRZ�RS $tS�tBbj�I��S7Ys�$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

yt��jj$��t{�, x(:37-82. Pustejovsky, J. (2001), Type Construction and the Logic of Concepts, In P. Bouillon

and F. Busa (eds.), qY�S7kt�s-SBPSGB�IS��st$t�R, Cambridge University Press. Reinhart, T. (1997), Quantifier Scope: How Labor is Divided between QR and

Choice Functions, N$t�Z$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$t�RS BPS �Y�S d���S Ws�$BtsjS ]BtP���t{�S BtSV��$P${$sjSyt��jj$��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, 7�ZI$sSNB�${s (Special Issue on Commonsense Reasoning), E�(2):1-19

Schank, R. C. (1982), *kts8${S��8B�kUSVSqY�B�kSBPSN�s�t$t�S $tS]B8}Z���RS stIS_�B}j�, Cambridge University Press, New York.

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

Sowa, J. F. (1995). �tBbj�I��S i�}��R�t�s�$BtUS NB�${sj�S _Y$jBRB}Y${sj�S stIS]B8}Z�s�$BtsjS3BZtIs�$BtR. Boston, MA: PWS Publishing Company.

Thomason, R. (1974), Editor with an Introduction, 3B�8sjS _Y$jBRB}YkUS 7�j�{��IS_s}��RSBPSi${Ys�IS�Bt�s�Z�, Yale University Press.

van Deemter, K. (1996), Towards a Logic of Ambiguous Expressions, In K. van Deemter and S. Peters (eds.), 7�8st�${SV8A$�Z$�kS stIS=tI��R}�{$P${s�$Bt, pp. 55-76, CSLI, Stanford, CA.

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

Zadronzy, W. and Jensen K. (1991), Semantics of Paragraphs, ]B8}Z�s�$BtsjSN$t�Z$R�${R, d�(2):171-209.