「ズーム」推論モデルの計算機上での実現とフレーム問題への適用

“Zoom”推理模型的计算机实现及其在框架问题中的应用

• 批准号: 12878054
• 负责人: 村井 哲也
• 金额: $ 1.28万
• 依托单位: Hokkaido University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Exploratory Research
• 财政年份: 2000
• 资助国家: 日本
• 起止时间: 2000 至 2001
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-12878054/
• 关键词: 推論; ラフ集合; 様相論理; ろ過法; 相対的ろ過法; granular推論; ズーム推論; フレーム問題; フィルタ化; 決定問題; 商集合; 同値関係; クリプキ・モデル

本研究の目的は人工知能の難問であるフレーム問題の原因と見なされる現代記号論理の完全記述指向の問題に焦点を絞り、論理主義自体は否定せず、問題の原因をフレーゲによる述語論理の革新に求め、それ以前のアリストテレスの三段論法と比較、考察して、完全記述を要求しない推論システムを構成する事である.本年度は,まず,昨年度の考察結果である相対的ろ過法による商モデルの上近似と下近似がそれぞれ,述語論理の全称,存在命題を表現する事を示し.これに基づいてgranular推論と呼ぶメカニズムを構成した.そこでは,原初的に与える原子命題群に基づく可能世界集合を最も細かい粒度(granularity)を持つとし,ろ過法を適用する度に,商モデルを構成するため同じ性質を持つ世界が纏められ,粒度が粗くなると考える.相対的ろ過法を適用すると対象の粒度が粗くなるのでズーム・アウト,その逆の操作はズーム・インと見なせるため,提案推論法を別名,ズーム推論と呼ぶ.次に,提案推論法を実現する試作プログラムを本研究費で購入したパソコン上で実現した.使用言語はVisual C++で,マルチ・ウィンドウを駆使して各時点で対象とする世界の粒度をズーム・イン,アウトの感覚で表現できる.本システムで実験した結果,フレーム問題に関係して,集合の存在に基づく定義の重要性を指摘できる.商集合を作る際,外延的な集合論では各同値類に属する元を完全に列挙する必要があり,これがフレーム問題の源である.しかし,提案推論法では,与えられた元を含む同値類が存在するという事実のみ利用しており,その同値類が具体的にどのような元から構成されるかは無関係である.これは従来の集合の外延的定義が不必要に強い要請である事を示す.よって,外延的に定義された集合と,存在のみ保証された集合を区別して,推論を定式化しなければならないのである.

The purpose of this study is to investigate the difficulty of artificial knowledge and the causes of problems. The complete description of modern symbolic logic points to the problems. The focus of problems is twisted. Logicism itself is negated. The causes of problems are changed. The innovation of predicate logic is solved. The syllogism method of description of previous problems is compared. The complete description of problems is required. This year, the results of the investigation of the previous year are shown in the following paragraphs: the upper approximation of the quotient and the lower approximation of the quotient. This is a granular inference. The original atomic proposition group is based on the set of possible worlds with the finest granularity, and the quotient is composed of the same properties as the original atomic proposition group. The corresponding method is applicable to the object granularity from coarse to coarse, and the inverse operation from coarse to coarse, and the proposal inference method is alias, and the inference is called. Second, the proposed inference method is implemented on a trial basis. Using Visual C++, you can change the granularity of the world at any time. The results of this system are as follows: the relationship between the problem and the existence of a set is important for the definition of the basis. Quotient set theory is a set theory of extension. It is necessary to complete the list of elements belonging to the same class. The method of proposal inference is that there is no relationship between the existence of the same value class and the concrete existence of the same value class. The definition of the extension of a set is not necessary. The definition of extension is set, the existence of guarantee is set, the inference is formalized.

项目成果

T.Murai: "On an Interpretation of Some Real-Valued Logics by Means of Probability Theory"Journal of Advanced Computational Intelligence. (to appear). (2002)

T.Murai：“通过概率论解释一些实值逻辑”高级计算智能杂志。

T.Murai: "Modal Logic, Rough Sets, and Fuzzy Sets"Soft Computing for Human-centered Machines. 35-55 (2000)

T.Murai：“模态逻辑、粗糙集和模糊集”以人为中心的机器的软计算。

T.Murai: "Anticipation in Belief Formation Systems Based on Evidence"Daniel M.Dubois(ed.), Computing Anticipatory Systems, AIP. 496-507 (2001)

T.Murai：“基于证据的信念形成系统中的预期”Daniel M.Dubois（编辑），计算预期系统，AIP。

M.Kudo: "An MDL-Based Classifier for Multidimensional Space"Proceedings of 4th World Multiconference on systemics, Cybernetics, and Informatics. 498-503 (2000)

M.Kudo：“基于 MDL 的多维空间分类器”第四届系统学、控制论和信息学世界多重会议论文集。

T.Murai: "Anticipation and Hyperincursion in Belief Formation Based on Evidence"International Journal of Computing Anticipatory Systems. (to appear). (2002)

T.Murai：“基于证据的信念形成中的预期和过度入侵”国际计算预期系统杂志。