权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

人間と機械における学習・推論と認知プロセスに関する研究

研究人类和机器的学习、推理和认知过程

基本信息

批准号：
01633007
负责人：
稲垣康善
金额：
$ 8.38万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1989
资助国家：
日本
起止时间：
1989 至无数据
项目状态：
已结题

项目摘要

知的コミュニケーションにおいて、知識と推論の果たす役割は基本的である。本年度は、推論の問題を中心に、コンピュテーションの立場から、特に、多エージェント系の自己認識論理とデフォルト論理の定式化、知識と信念の論理、時間的概念を含む推論方式について研究し、次のような成果を得た。(1)多エージェント系の自己認識論理とデフォルト論理:人間と機械における高次コミュニケーションにおいて、知的な推論を行う複数個のエージェントとからなる系は、知識とコミュニケーションを考える上で基本的な枠組を与える。本研究では、代表的な非単調論理である自己認識論理とデフォルト論理を多エージェント系に拡張し、その諸性質を示した。また、階層的な知識構造の表現と利用の問題の定式化への応用について研究した。(2)知識と信念の論理:形式的体系を用いて、変化する状況下における知識や行為などを記述し、そこに現れる推論の機構を解明することを目指して、形式的体系についての理論的考察を行った。また、自己認識論理についても検討を行い、信念の論理としてweak S5をとると、極大な理論の定める信念集合は安定な自己認識理論となり、また、その逆も成り立っていることを示した。(3)時間的概念を含む推論方式と概念定義プロセスの形式化:時区間論理を用いる動作仕様記述法を実用的仕様記逆言語へ発展させることを目指して、(a)部分世界を参照する時間オペレータの導入によるイベントの順序関係の階層的記述、(b)ソートの概念とソート間を繋ぐ様相オペレータの導入による様相式の記述の容易化、(c)イベントの時間的順序関係の制約のモジュール化仕様記述法の導入、(d)時区間論理式で与えられた仕様のコンパイル法の基礎的研究、を行った。

Knowledge and inference are fundamental. This year, we have obtained the results of the research on the central, special, and multi-dimensional reasoning, logic of knowledge and belief, and concept of time, including inference methods. (1)The logic of multi-level knowledge system is: human and mechanical, high-level knowledge system, knowledge system and basic knowledge system. This study shows the characteristics of the system of non-uniform logic. Research on the formalization and application of knowledge structure and hierarchy (2)The logic of knowledge and belief: the system of form, the system of form, the system of knowledge, the system of knowledge, the system of The logic of belief is weak S5, the theory of maximum is stable, the theory of self-knowledge is stable, the theory of reverse is stable, and the theory of self-knowledge is stable. (3)Formalization of the concept of time including inference methods and concept definitions: time interval logic application, action description method for application, description method for reverse speech development,(a) description of hierarchical relationship of sequence of time selection and introduction of partial world reference,(b) ease of description of phase expression of concept and solution of time selection and introduction,(c) introduction of chemical description method of sequence of time restriction,(d) basic research and implementation of time interval logic expression and description method.