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

点击翻译按钮获取中文摘要

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