非標準論理とその情報科学への応用

非标准逻辑及其在信息科学中的应用

• 批准号: 09894005
• 负责人: 小野 寛晰
• 金额: $ 1.22万
• 依托单位: Japan Advanced Institute of Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 1997
• 资助国家: 日本
• 起止时间: 1997 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-09894005/
• 关键词: 非標準論理; 部分構造論理; 知識の論理; 項書換え系; クリプキ意味論

木研究は、非標準論理の研究を発展させていくために、国内および関連する海外の研究者との研究連絡を活性化することをその目的としている。具体的には、近い将来において「非標準論理と情報科学の論理的局面」に関する国際会議を開催するための企画およびそのための国内における研究体制の整備を目標とした。この目標に対し、本研究ではつぎのことを行なった。・国際会議開催のための準備として、1997年秋にAustralian National University(ANU)の機械推論プロジェクト(ARP)のR.Gore博士が北陸先端科学技術大学院大学を訪問、また1998年1月には本研究のメンバーのうち3名がANUを訪問し、具体的な計画について検討をおこなった。その結果として、1999年に日本またはオーストラリアにおいて上記の会合を開催することとし、近くロシアの関連する研究者とも連絡をとり、組織委員会をスタートさせることとした。なお、この計画の一環として若手研究者の育成のためのサマースクール等の開催についても、今後検討していくこととした。・国内におけるこの分野の研究の活性化をはかるために、11月に静岡で数理論理学研究会を開催し、19の講演がおこなわれた。その成果を英文のプロシ-ディングスの形にまとめ、近く海外の研究者にも配布する予定である。・研究課題として当初の計画にあげたもののうち、とくにつぎの課題について成果が得られた。1)縮約規則をもたない論理の一般論(小野)、2)計算論的学習理論からのカテゴリ文法の研究(金沢)、3)直感主義様相論理(高野、小野)、4)知識の論理と信念の更新理論(金子)、5)述語論理の意味論(鈴木)、6)弱い含意論理の研究(鹿島)。

Research on non-standard logic is developed for domestic and overseas researchers. The specific purpose of the international conference on "non-standard logic and logic of information science" is to promote the development of the domestic research system. The purpose of this study is to prevent and correct the problem. Dr. R.Gore of the Australian National University(ANU) visited Hokuriku Advanced University of Science and Technology in the fall of 1997 to prepare for the opening of the International Conference. In January 1998, he visited ANU to discuss the specific project. In 1999, the organization committee of the research institute was established. A link between the project and the development of researchers, and the future development of research Domestic research activities in the field of science and technology, Shizuoka Mathematical Theory Research Conference held in November, 19 th lecture The results of the study were published in English and published in Chinese by overseas researchers. The research project was originally planned, and the results were obtained. 1)General Theory of Logic of Reduction Rules (Ono); 2) Study of Learning Theory of Computational Theory (Kanazawa); 3) Logic of Intuition (Takano, Ono); 4) Logic of Knowledge and Renewal Theory of Belief (Kanazawa); 5) Theory of Meaning of Predicate Logic (Suzuki); 6) Study of Logic of Weak Meaning (Kashima).

项目成果

青戸等人: "Persistency of confluence" Journal of Universal Computer Science. 3・11. 1134-1147 (1997)

Toshito Aoto：“融合的持久性”《通用计算机科学杂志》3·11（1997）。

鹿島 亮: "Contraction-elimination for implicational logics" Annals of Pure and Appliad Logic. 84・1. 17-39 (1997)

Ryo Kashima：“蕴涵逻辑的收缩消除”纯逻辑与应用逻辑年鉴84・1（1997）。

金子 守: "Game Logic and its applications II" Studia Logica. 58・2. 273-303 (1997)

金子守：“游戏逻辑及其应用 II”Studia Logica 58・2（1997）。

金沢 誠: "CSLI publications" Learnable classes of categorial grammars, 184 (1998)

Makoto Kanazawa：“CSLI 出版物”分类语法的可学习课程，184 (1998)

小野寛晰: "Decidability and finite model property of substructural logics" Tbilisi Symposium on Language,Logic and Computation. (1998)

Hiroaki Ono：“子结构逻辑的可判定性和有限模型属性”第比利斯语言、逻辑和计算研讨会（1998）。