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

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

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

基本信息

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

项目摘要

コミュニケーションは形式情報としして単なる信号や記号を伝達することではなく、人間の基本的な知的活動に基づくものであり、情報の認知理解に基礎をおき、推論、プラニングを通して行動に及ぶ総合的プロセスであるとの観点に立って、人間機械協調システムにおける高次コミュニケーションの基礎の確立に寄与することを目的にして、ニミュニケーションのプロセスに深く関係している認知プロセスと推論機構に関する基礎的考察を行い、次のような成果を得た。(1)学習、帰納推論、自己認識論理に関する研究:位相的手法に基礎をおいて項書換え系の計算複雑さを計算の極限への収束の速さとして定式化し、次に、項書換え系の帰納的推論について論じ、基本的にはBlum-Blumによる枚挙手法による同定アルゴリズムであるが、項書換え系の意味論と複雑さの概念に基づく項書換え系の帰納的推論のアルゴリズムを与えた。また、自己認識論理の拡張については、理想的に合理的な2つのエージェントの間に十分な通信がある場合に各エージェントが自己認識推論によって得られる知識に関する論理を形式化し、その健全性と完全性についての特徴付けを行うと共に階層的な知識の表現とその下での推論について考察した。(2)知識と信念の論理:共有知識と論理的全知の問題をコミュニケーションとの関連において論じ、相互に知識の確認を行う手続の役割について考察し、また、非単調な推論と知識の論理を共通に扱う枠組についてその可能性を検討した。(3)時間的概念を含む推論方式と概念定義プロセスの形式化について研究し、時間順序関係を表現する様相論理の節形式に基づく推論方式の提案、時間区間の詳細化による複雑な時間関係の階層的記述法法の定式化、さらには、概念を仕様と考えれば、仕様を満たすプログラムを合成するマクロ的方法の提案を行った。

The basic knowledge of human activities, the foundations of cognitive understanding of information, the inferences, the communication of actions and the integration of information, the establishment of high-level information, the establishment of foundations of human mechanical coordination, and the purpose of human interaction. The results of the investigation on the basis of the deep relationship between the cognitive system and the inference mechanism are obtained. (1)Study, deduction, knowledge theory related research: phase method basis, term conversion system calculation, limit calculation, speed calculation, formalization, secondary, term conversion system calculation, deduction, basic Blum-Blum method, uniform, term conversion system meaning theory, concept basis, term conversion system calculation, limit calculation, speed calculation, formalization, secondary, term conversion system calculation, deduction, basic Blum-Blum method calculation, uniform, term conversion system calculation, meaning calculation, concept, basic, term conversion system calculation, deduction, etc. The logic of self-knowledge reasoning is formalized, the completeness of self-knowledge reasoning is characterized, the behavior of self-knowledge reasoning is characterized, and the representation of knowledge in a hierarchy is investigated. (2)Knowledge and logic of belief: the problem of omniscience of shared knowledge and logic is discussed in relation to each other, in relation to the confirmation of knowledge, in relation to each other, in relation to the examination, in relation to each other, in relation to the logic of shared knowledge and logic, in relation to the possibility of knowledge being grouped together. (3)The concept of time includes the formalization of inference methods, conceptual definitions, research, presentation of temporal sequence relations, phase logic, basic inference methods, elaboration of time intervals, formalization of hierarchical descriptions of complex temporal relations, and proposals for the method of synthesis of conceptual reasoning methods.