非正規様相論理の理論と応用

不规则模态逻辑理论与应用

• 批准号: 00J06372
• 负责人: 村上 祐子
• 金额: $ 2.3万
• 依托单位: Chiba University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2000
• 资助国家: 日本
• 起止时间: 2000 至 2002
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-00J06372/
• 关键词: 哲学的論理学; 様相論理; 認識と信念の論理; 情報の論理; 人工知能

平成14年度は、前年度に引き続いて非正規様相論理の理論を展開するとともに、特に哲学理論への応用に関する方法論的検討を中心に研究を進めた結果を学会・ワークショップにて発表した。2002年6月には「様相は必然性ではない」(科学基礎論学会、東京工業大学)で、人工知能などさまざまな分野への様相論理の応用が進展する一方で、哲学的限界の打開という問題に対してはいまだに試行錯誤が続いている状況への対策として、ともすれば狭義に捉えられ必然性と同一視されることすらある様相概念をより広い文脈で捉えなおす必要があることを論じた。2002年11月には"Non-monotonic modalities : philosophical motivations and applications"と題する講演(京都科学哲学コロキアム、京大会館)を行い、哲学的論理学という学問分野全体における様相論理の理論と応用の位置づけに関する方法論的考察を示した。さらに、2003年2月には講演"Beyond bare monotonicity"(言語・行為・認知ワークショップ、北海道大学)を行い、特に言語行為にまつわる概念を様相論理を用いた哲学的論理学のアプローチで処理した場合のパラドクス現象に注目することにより、非正規様相論理に焦点を当てた場合においても応用の目的にあわせて適切な意味論と論理体系を提示することの重要性を強調した。また、2003年3月の講演「様相アプローチ検討」(名古屋哲学フォーラム、南山大学)では、それまでの研究で明らかになった問題を解決するために「言語行為では最大情報をもたらさなければならない」(最大情報性仮説)を提案するとともに、最大情報性を様相論理の枠組で把握するための予備的考察として階層化された可能世界を認めるべきであるという「分割主義」の考え方を新たに提示した。また理論的背景となる「様相論理」「不完全性定理」「自己言及」について、『AI事典』(土屋俊他編、共立出版)項目として執筆し、人工知能の基礎研究としての論理学の応用可能性について論じた。

In 2014, the author introduced the theory of irregular phase logic, especially the theory of irregular phase logic. June 2002:"The opposite is inevitable."(Institute of Basic Science, Tokyo Institute of Technology), human knowledge, division, logic, application, progress, philosophical limits, trial errors, situation, strategy, narrow sense, necessity, unity, context, necessity, etc. November 2002 Lecture on "Non-monotonic modalities : philosophical motivations and applications"(Kyoto Science and Philosophy Hall, Kyoto University Hall),"Philosophy of Philosophy","Theory of Phase Logic","Position of Application","Methodological Review". February 2003:"Beyond bare monotony"(Speech, Behavior, Cognition, Hokkaido University) The importance of the concept of speech act, logic of application, logic of application, logic of application March, 2003 Lecture: "A discussion of the situation"(Nagoya Philosophy, Nanshan University) The most informative phase logic is to grasp the preparation of the investigation and hierarchy of the possible world. The background of the theory,"logic of phases,""incompleteness theorem,""self-expression,""AI history book"(edited by Toshio Tsuchiya and published by Kyodo),"basic research on artificial knowledge," and the possibility of using logic."

项目成果

土屋俊 他: "AI事典 第2版"共立出版. 523 (2003)

Shun Tsuchiya 等人：《人工智能百科全书第 2 版》Kyoritsu Shuppan 523 (2003)。