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

ゲーム理論の論理化とその計算機実験

博弈论逻辑及其计算机实验

基本信息

批准号：
10874024
负责人：
八杉満利子
金额：
$ 1.15万
依托单位：
Kyoto Sangyo University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Exploratory Research
财政年份：
1998
资助国家：
日本
起止时间：
1998 至 1999
项目状态：
已结题

项目摘要

経済学における動学的研究では、人がある法則をもつ体系内で行動するものとして扱う。しかし人は、体系から脱出して体系自体の観察結果を新しい知識として取り込むことができる。そのような状況の理論的考察のためにいわゆる帽子の色当てパズルを題材にして、次のことを考察した。(1)このパズルを記述できる理論的な言語の設定。(2)ゲームの仮定(プレーヤの初期知識集合)の設定。(3)「わからない」を表現する論理式の候補。(4)知識集合の拡張の妥当化。(5)推論の正当性の保証。(6)「分からない」と言いきれる理由。(7)誰でも正しい推論ができる理由。これら概念的な事象を数理論理学の研究対象にすることが、本研究の目的であった。とくに(6)と(7)が特徴的である。まず命題論理に知識作用素K(「事象Pを知っている」をK(P)と表す)を加え、古典命題論理にKに関するただ一つの推論(K->K) (任意の論理式F,G,Hについて"F and K(G) implies H"から"K(F)and K(G) implies K(H)"を導く)を加えた体系KLを設定した。KLにおいてカット除去定理が証明でき、その系として、ある条件下での知識作用素の除去、知識集合の分離、知識内部の三段論法、K(F)とFの体系内部での非同値性および外部での同値性、などがしたがう。これらの応用として、証明論的な手法により、上記課題の(1)-(6)を解決した。(7)のための自動証明プログラムも作成した。成果は、日本数学会、日本経済学会、台湾における7th Asian Logic Conference、神戸大学経営・経済学会、International Workshop on Emergent Worshopなどで講演した。現在Artificial Intelligence等に論文を投稿中である。さらに、本研究の背景である人間を要素とする複雑系および計算可能性の研究、本研究の目的に使用可能な論理体系NDKや構成的算術の証明論などの研究も進んだ。体系からの脱出に関する成果を京都産業大学経済経営学会Discussion Paper Series,No29に"Jumping ouf from the System: its expression and implication"として発表した。

The study of dynamics in economics and human behavior within the system. The system itself is the result of observation. A survey of the theory of the situation and the subject matter (1)This is a description of the theory of speech. (2)Set the initial knowledge set of the system. (3)"" is a logical expression candidate. (4)Knowledge sets are properly organized. (5)Guarantee of legitimacy of inference. (6)"The reason for this is that". (7)Who is the reason for reasoning? This paper aims at studying the concept of mathematical theory. 6) and 7). In propositional logic, the knowledge action element K("event P is known") is added, and in classical propositional logic, K is related to a deduction (K->K) (arbitrary logical expressions F,G,H are related to "F and K(G) implements H" and K(G) implements K(H)"). KL is the elimination theorem of knowledge action element, separation of knowledge set, syllogism of knowledge interior, non-equivalence of K (F) and F interior, equivalence of K(F) and F exterior, elimination of knowledge action element, separation of knowledge set, syllogism of K(F) and F interior. In this paper, the author discusses the methods of proving the theory and solves the problems (1)-(6). (7)The automatic proof is made by the user. Results: Lecture at Japan Mathematical Society, Japan Economic Society, 7th Asian Logic Conference in Taiwan, Kobe University Economic Society, International Workshop on Emergency Worshop Now Artificial Intelligence is in the process of submitting papers. The background of this study is to study the possibility of complex system and calculation. The purpose of this study is to study the proof theory of arithmetic using possible logic system NDK. Discussion Paper Series, No. 29,"Jumping ouf from the System: its expression and interpretation"