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

科学的発見を支援する認識的プログラミングパラダイムの創立

建立认知编程范式来支持科学发现

基本信息

批准号：
09878061
负责人：
程京徳
金额：
$ 1.15万
依托单位：
Saitama University (1999)Kyushu University (1997-1998)
依托单位国家：
日本
项目类别：
Grant-in-Aid for Exploratory Research
财政年份：
1997
资助国家：
日本
起止时间：
1997 至 1999
项目状态：
已结题

项目摘要

科学的発見における認識過程とその自動化に関して、15項目の基礎的観察と仮定をまとめた。これらの基礎的観察と仮定に基づいて、認識過程に関する様々なモデルや自動化ツールに対して、方法論的な分類を行うことができる。科学的発見における認識過程とその自動化に関する上記の基礎的観察と仮定に基づいて、強相関論理を基礎論理体系として、科学発見における認識過程をモデル化した。強相関論理に基づいたある形式理論に関して、論理式で表現された任意の命題に対する行為者の認識態度を「明示的な容認」、「暗黙的な容認」、「明示的な拒否」、「暗黙的な拒否」、「明示的な矛盾」、「暗黙的な矛盾」、「明示的な独立」と「暗黙的な独立」という8種類に定義し、任意の命題に対する行為者の9種の可能な認識態度変化を示した。更に、形式理論に対して「認識的演繹」、「認識的拡張」と「認識的縮約」という行為者による3種類の認識操作を定義し、それらの基本性質を示した。これらの基本概念により、認識過程を行為者が知っている知識または信念という出発点から一連の認識操作とその結果の系列として定義し、色々な推論を認識過程として定義できることを示した。基礎付ける論理体系として強相関論理を採用した結果、この認識過程のモデルは、矛盾の存在を許すこと、組合せ的爆発を避けること、論理的全知を避けること、自然な非単調性を持つことなど従来提案された認識過程モデルにはなかった望ましい性質を持っている。

Scientific discovery, cognitive process, automation, 15 items of basic observation, determination, etc. These include basic observation, determination, process recognition, automation, and methodological classification. The cognitive process of scientific discovery and its automation are related to the basic observation and determination of the above records, the basic logic system of strong correlation logic, and the cognitive process of scientific discovery. 8 types of definitions of the cognitive attitude of the actor in relation to any proposition: explicit acceptance, implicit acceptance, explicit refusal, implicit refusal, explicit contradiction, implicit contradiction, explicit independence, implicit independence, explicit contradiction, implicit contradiction, implicit contradiction 9 possible cognitive attitudes of the actors involved in any proposition In addition, the formal theory is related to the deduction of cognition, the expansion of cognition, the contraction of cognition, the definition of three kinds of cognition operation, and the basic properties of cognition. The basic concept of knowledge, cognitive process, actor, knowledge, belief, output, cognitive operation, result, definition, color, inference, cognitive process, definition, inference, etc. Basic logic system and strong correlation logic adopt the result, the process of cognition, the existence of contradiction, the explosion of combination, the omniscience of logic, and the nature of non-uniformity.