証拠に基づく信念形成システムにおける知識獲得のためのプランニング-基礎理論とプロトタイプシステム-

规划循证信念形成系统中的知识获取 - 基础理论和原型系统 -

• 批准号: 06780293
• 负责人: 村井 哲也
• 金额: $ 0.58万
• 依托单位: Hokkaido University of Education
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06780293/
• 关键词: 信念形成; 知識獲得; プランニング; 自律性; 証拠; デンプスター・シェイファー理論; 画像検索; 質問の明確化

1.本研究の目的は,数年来,継続して研究しているデンプスター・シェイファー(D-S)の証拠理論に基づく信念形成システムに,自律的な知識獲得の能力を与えるための証拠に基づくプランニングの基礎理論を確立し,かつ,その有効性を確認するために画像検索システムにおける質問の明確化に応用することであった.2.知識獲得のためのプランニング理論に関しては,以下の3段階で研究を進めた.(1)証拠の型の分類:証拠を前年度奨励研究(A)で探究した知識獲得のための諸条件(知識条件と呼ぶ)に照らして分類の上,各証拠の型が満たさない知識条件を対応付けた.(2)証拠の型に対する知識獲得条件の整理:証拠の各型に対して、新たな証拠の獲得のし易さを情報量の観点から定量化し,各型が満たす複数の知識条件に順序関係を与えることに成功した.その結果,システムはこの順序付けに従って次に必要な証拠の候補を示唆することが可能となった.(3)プランニングのアルゴリズムを定式化した.3.画像検索システムについて,そのプロトタイプシステムは科研費で購入したパソコン上に構築した.しかし,D-S理論の欠点が計算量であることは広く知られており,この点は画像検索では致命的であった.よって,今回,構築したシステムでは線画レベルの画像に限定し,画像データは本学学生の協力によって作成した.本システムであいまいな質問を証拠とみなして,そのあいまいさを減じるために必要な証拠を逆算し,ユーザに提示することで、ユーザの質問を明確化できることが直観的にわかったが,定量的評価については現在,更に検討中である。なお,計算量の問題はD-S理論に基づく推論に遺伝的アルゴリズムを自然に適用できることが分かっので,計算時間の短縮が期待できる.尚,本観点の文献検索における質問の明確化への応用は既に研究に着手しており,この4月に米国における国際学会で発表する予定である.

1. The purpose of this study is to establish the basic theory of belief formation and self-discipline in knowledge acquisition and self-discipline in evidence theory. 2. Knowledge acquisition and research (1)The classification of the types of evidence: the previous year's research (A) to explore the conditions for knowledge acquisition (knowledge conditions), according to the classification, each type of evidence to establish the knowledge conditions. (2)The knowledge acquisition conditions of different types of evidence are sorted out: the information quantity of different types of evidence is quantified, and the knowledge conditions of different types of evidence are sorted out successfully. As a result of this, the sequence of events required for the identification of candidates is likely to change. (3)3. The image search system is constructed on the basis of scientific research expenses. D-S theory is not enough to calculate the amount of time, the point is not enough to calculate the amount of time. In this paper, the author tries to construct a system for drawing pictures, and the students work together to make pictures. This article is about the problem of the problem, the problem of the problem. However, the problem of computational complexity is naturally applicable to the basic inferences and inferences of D-S theory, and the shortening of computing time is expected. In April, the International Academy of Sciences published a report on the future development of research in the field of literature search.

项目成果

T.Murai: "The Closed World Assumption and Evidence in Databases" Proceedings of 6th World Congress of the International Fuzzy Systems Associations. (発表予定). (1995)

T.Murai：“数据库中的封闭世界假设和证据”国际模糊系统协会第六届世界大会论文集（待提交）。

村井哲也: "文献検索の可能世界モデルと信念検索" 日本ファジィ学会誌. 8(掲載決定). (1996)

Tetsuya Murai：“文献搜索和信念搜索的可能世界模型”日本模糊科学学会杂志8（决定出版）。

T.Murai: "An Evidential Reasoning Method Based on Plausibility-Founction-Based Models for Modal Logic" Proceedings of the 2nd European Corgress on Intelligent Techniques and Soft Computing. 1605-1608 (1994)

T.Murai：“基于模态逻辑合理性函数模型的证据推理方法”第二届欧洲智能技术和软计算大会论文集。

T.Murai: "Interactive Query Specification in Fuzzy Document Retrieval Syetems Using Genetic Algorithms" Proceedings of Applications of Fuzzy Technology II (Part of SPIE'S 1995 Symposium). (発表予定). (1995)

T.Murai：“使用遗传算法的模糊文档检索系统中的交互式查询规范”模糊技术应用程序 II（SPIE 1995 年研讨会的一部分）（待发表）。

T.Murai: "A Logical Foundation of Graded Modal Operators Defined by Fuzzy Measures" Proceedings of the International Joint Conference of the 4th IEEE Int Conf.on Fuzzy Systems and the 2nd IFES. (発表予定). (1995)

T.Murai：“模糊测量定义的分级模态算子的逻辑基础”第四届 IEEE Int Conf.on Fuzzy Systems 和第二届 IFES 国际联合会议论文集（即将发表）。