常識推論における推論の選択と文脈処理への応用

常识推理中的推理选择及其在上下文处理中的应用

基本信息

批准号：
06780326
负责人：
富浦洋一
金额：
$ 0.58万
依托单位：
Kyushu University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1994
资助国家：
日本
起止时间：
1994 至无数据
项目状态：
已结题

项目摘要

文章の解釈に曖昧さがある場合,人は前後の繁がりからその曖昧さを絞り込むことができる.たとえば,『αしかしβ』のような逆接の接続詞で結ばれる文章では,αからβに矛盾することが高い確信度で推論されなければならない(論理的結束性).この時行なう論は,『多くの場合成立する』というような不確実な知識(デフォルト規則)も用いた推論(常識推論)であり,これを扱った推論としてReiterのデフォルト論理がある.この論理では,互いに矛盾する複数の結論を導くことがあることが知られているが,一般に人間の推論では,互いに矛盾する結論のうち一つを優先的に推論する傾向にある.そこで,まず,(1)デフォルト規則(不確実な知識に対応)間に,『デフォルト規則d_1,d_2が共に適用可能であるとき,d_1を適用してα_1を導く推論を,d_2を適用してα_2(α_1とα_2は互いに矛盾する)を導く推論より優先する』という関係(デフォルト間の優先関係)をd_1d_2の形態から機械的に付与する方法を与え,(2)このデフォルト間の優先関係に基づいて,推論で用いられるデフォルト規則の列の間に優先順位を定義し,最も優先される推論だけを行なうようにReiterのデフォルト論理における推論を拡張し,人間が行なう推論に近い推論を行なえる理論を構成した.そして,(3)順接や逆接の接続詞で結ばれる文章における,論理的に捉えられる結束性を,上述の推論を用いて定義し,文章の構文構造/単語の意味/照応関係などの文章の解釈に関する構造的な曖昧さの一部を,論理的結束性に基づき絞り込むことができることを示した.

当对句子的解释存在歧义时，一个人可以从句子的扩散中缩小歧义。例如，在受诸如“α但β”之类的反相互结合的句子中，必须高度信心推断出它与β（逻辑内聚力）矛盾。此时进行的理论是推理（常识推理），该推论也使用了不确定的知识（默认规则），例如“经常保持真实”，而Reiter的默认逻辑是解决此问题的推理。众所周知，这种逻辑可以得出多个彼此矛盾的结论，但是在人类的推理中，有一种优先推断出矛盾的结论之一的趋势。因此，首先，在默认规则（响应不确定的知识）之间，D_1用于“当默认规则d_1和d_2均适用时，D_1适用。我们给出了一种方法，将α_1派生到α_2（α_1和α_2不一致）的推理与对方相关的形式是d_1 quante of de_1 d_1 de_1。定义推理中使用的默认规则序列之间的确定优先级，并扩展了Reiter默认逻辑中的推理以仅作出最优先的推理，并构建一种理论，并构建一种理论，该理论可以推断出与人类推理相似的推论。我们还定义了句子中的逻辑凝聚力。在句子中，通过上述构成和构造的统一性，这些句子构成了构成的构成和逆向构建的构成，符合符合的构成，并构成了符合符号的统一，既定的结构，否则是统一的统一性，句子/单词含义/单词的关系可以根据逻辑内聚力缩小。