証拠の蓄積によって形成される信念論理の知識獲得への応用

将证据积累形成的信念逻辑应用于知识获取

• 批准号: 05780275
• 负责人: 村井 哲也
• 金额: $ 0.58万
• 依托单位: Hokkaido University of Education
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-05780275/
• 关键词: 信念様相論理; Dempster-Shafer理論; 信念形成; 知識獲得; 証拠; 文献検索; 可能世界

本研究の目的は,信念を扱う二つの方法,すなわち,様相論理に基づく形式的方法と測度に基づく数値的方法(Dempster-Shafer理論など)の理論的関係を探究することであった.具体的には,次の3ステップから構成された:(1)証拠の蓄積による信念形成を論理的枠組の中に定式化する,(2)信念から知識を獲得するための銃剣の探究,(3)文献検索を題材とするプロトタイプシステムを計算機上で実現する.以下,順に各点の成果を報告する.第1の点については,証拠の型を矛盾性および不確定性という二つの観点から5つの型に分類し,各型に対応する信念状態の性質を導いた.その結果,2値的な文およびあいまいな文が未知の状態から既知の状態へ確定する過程を証拠の観点か定式化できた.第2の点については,信念が知識としての整合性を持つためにふさわしい条件を様相論理の観点から導き,そのために必要かつ十分な証拠の性質を求めた.その結果,知識になるためにはどのような証拠を獲得すればよいか逆算できることが分かり,一種のプランニング能力を獲得した.理論面では更に,以前の理論では扱っていなかった証拠から導かれる測度の中間の値に対応する信念演算子を定義し,健全かつ完全な論理体系を同定した.第3の点については,文献検索モデルを可能世界意味論によって再構成し,前述の信念形成モデルを適用した結果,信念検索モデルの枠組を得た.これは通常のブール検索やファジィ検索のモデルを特別な場合として包含する.更に,ベクトル検索モデルを論理的に解釈することも可能となった.このモデルに基づくプロトタイプシステムをパソコン上に構築した.

は の purpose, this study belief を Cha う two つ の way, す な わ ち, others in phase logical に base づ く form method と measure に base づ く the numerical method (Dempster Shafer theory な ど) の を masato department of theory to explore す る こ と で あ っ た. Specific に は, の 3 ス テ ッ プ か ら constitute さ れ た : (1) the 拠 の accumulation に よ る beliefs form を logical 枠 group の に demean す る, (2) beliefs か ら knowledge を す る た め の spear 剣 の, (3) literature 検 cable を subject と す る プ ロ ト タ イ プ シ ス テ ム で を computer be presently す る. Achievements of the following, at various points along the に の を report す る. の 1 point に つ い て は, card 拠 の type を contradiction お よ び uncertainty と い う two つ の 観 point か ら 5 つ し に の type classification, various に 応 seaborne す る belief state を の nature guide い た. そ の results, 2 nt な article お よ び あ い ま い な article が の unknown state か ら already know の state へ determine す を る process card Youdaoplaceholder0 拠 観 is a 観 point that is で た た. の point 2 に つ い て は, faith が knowledge と し て の integrated を hold つ た め に ふ さ わ し い conditions を others mutually logical の 観 point か ら guide き, そ の た め に necessary か つ card very な 拠 の nature を o め た. そ の as a result, the knowledge に な る た め に は ど の よ う な card 拠 を get す れ ば よ い か inverse calculate で き る こ と が points か り, a の プ ラ ン ニ ン Youdaoplaceholder0 ability を to obtain た. Theory of surface で は に more, before の theory で は Cha っ て い な か っ た card 拠 か ら guide か れ る measure among の の numerical に 応 seaborne す る belief operator を definition し, sound か を つ な completely logical system with fixed し た. Point 3 の に つ い て は, literature 検 cable モ デ ル を theory of possible world means に よ っ て constitute し again, the foregoing の beliefs form モ デ ル を applicable し た results, faith 検 cable モ デ ル の 枠 group を た. こ れ は usually の ブ ー ル 検 cable や フ ァ ジ ィ 検 cable の モ デ ル を な special occasions と し て contains す る. More に ベ ク ト ル 検 cable モ デ ル を に solution of logical 釈 す る こ と も may と な っ た. こ の モ デ ル に base づ く プ ロ ト タ イ プ シ ス テ ム を パ ソ コ ン に on constructing し た.

项目成果

村井哲也: "ミニマルモデルの族としての拡張ファジィ測度モデルとグレード付き様相演算子" 日本ファジィ学会誌. 6. (1994)

Tetsuya Murai：“扩展模糊测量模型和分级模态算子作为最小模型族”，日本模糊学会杂志 6。（1994 年）。

T. Murai: "A Model Logical Interpretation of Vector Models for Document Retrieval" Tensor, New Series. 55. 101-106 (1994)

T. Murai：“文档检索向量模型的模型逻辑解释”张量，新系列。

T. Murai: "Fuzzy Logic Induced from Model Logic of Belief Based on Evidence" Proceedings of the 5th Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems(Paris). (1994)

T. Murai：“基于证据的信念模型逻辑推导出的模糊逻辑”第五届国际会议论文集。