第31回人工知能基礎論研究会(SIG-FAI)
AIシンポジウムの中で人工知能基礎論研究会(SIG-FAI)のセッションが開催され，
３件の研究発表が行われた。推論やエージェント戦略について，基礎的かつレベル
の高い発表が行われた。
Ｉ．概要
テーマ ：一般演題
日時 ：１９９７年１２月５日（金）
場所 ：機械振興会館 B3-2号室 〒105 東京都港区芝公園3-5-8
担当幹事：國藤 進 E-mail: kuni@jaist.ac.jp
II．プログラム
1．10：00〜10：30 「論理プログラムにおける引数の呼び出しパターン」
○伊藤公人，山本章博(北海道大学）
概要：論理プログラムを質問を用いて帰納推論する問題を
クラスに制限を与えて議論する。
2．10：30〜11：00 「繰り返し連続化囚人のジレンマゲームを行なう系における侵略」
○千葉 一博，平石 邦彦(北陸先端科学技術大学院大学)
概要：繰り返し連続化囚人のジレンマゲームを行う系において，
戦略が集団を侵略していく状況について議論する．
3．11：00〜11：30 「ALPに基づき不完全知識下での類推解釈を実現する法的推論機構」
○森沢 浩造，國藤 進(北陸先端科学技術大学院大学)
概要：不完全知識下での法的推論を実現するための手法を
アブダクションを用いた類推解釈の観点から提案する．