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

限定合理性の情報構造:証明論およびセラ・オートマタによる特徴づけ

有限理性的信息结构：证明论和塞拉自动机的表征

基本信息

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

项目摘要

研究計画は大体計画どおりに遂行することができた。すなわち、Rubinsteinが提案した限定合理性のモデルの3種類の情報構造に関して、それらを特徴づける知識作用素の意味論的な性質と形式的性質の関係を明らかにした。さらにこれらに対応する論理体系の自由モデルを構成し、3種類の情報構造のモデルによる特性と証明論的な特性を関連付けることができた。限定合理性の一つの性質(知っていることについては知っていることを認識する)に関して、いわゆる3人の賢者のパズルについて、「体系からの脱出」と「体系内での不毛のサーチ」という二つの側面から考察し、有限対話における知的活動の分析を行った。さらに従来の命題論理における知識作用素のみでなく、「…の値を知っている」という、述語としての知識作用素を導入し、その計算論的な意味を考察した。これは無限対話による情報構造の研究を可能にし、将来の研究につながるものである。セラ・オートマタによる実験は、研究協力者たちによって行われた。その論理的解析には至らなかったが、今後無限対話との関連で研究を進めてゆく予定である。研究成果は数理科学協会、ソフトウエア科学会などの年会で発表した。1月26日-30日に京都産業大学において「実験経済学と知識の構造」ワークショップを小田・八杉主催で開催し、関連研究者と研究連絡を行った。この研究費による海外出張はしなかったが、別途小田が数ヶ月Western Sydney大学に滞在することになり、研究交流を行うことができた。

The general plan of the research plan is implemented and implemented.すなわち, Rubinstein が proposal したLimited rationality のモデルの3 types of information structure に关して, それらを特徴づけるKnowledge function element のmeaning theory なproperty and form-property のrelational を明らかにした.さらにこれらに対応するTheory system's free モデルを composition し, 3 types of information The characteristic of the structure's のモデルによるproperty and proof theory is related to the けることができた. The nature of limited rationalityことをKnows する) に关して, いわゆる三人の神者のパズルについて, "Out of the system", "Inside the system, no hair", "Side view of the system", "Limited communication", "Analysis of the activity of limited knowledge", "Analysis of activities".さらに従来のproposal theoryにおけるknowledge function elementのみでなく、「…の値を知っている』という, predicative としてのknowledge function element を introduction し, そのcalculation theory なmeaning をinvestigation した.これは无対言によるInformation Structure Research Possibilityにし、Future Researchにつながるものである.セラ・オートマタによる実験は, research co-ordinator たちによって行われた. From now on, the analysis of the theory will be carried out, and the future research on the relationship between the unlimited discussions will be decided. The research results were published at the Annual Meeting of the Association for Mathematical and Physical Sciences and the Association for Science and Technology. From January 26th to 30th, Kyoto Sangyo University's "Knowledge Structure" program was organized by Oda and Yasugi, and was organized by the Research Liaison Committee for Related Researchers.このResearch expenses: Overseas overseas study, Other ways: Oda, Western Sydney University, Western Sydney University, Continuing research, research exchanges: うことができた.