第50回人工知能基礎論研究会（SIG-FAI） 日時： 2002年12月18日(水)〜19日(木) 場所： 九州大学国際研究交流プラザ（略称：九大西新プラザ） 　　（福岡市早良区西新2-16, Tel.092-831-8104 福岡空港から，地下鉄1号線で西新駅下車．徒歩10分） テーマ：一般演題および小特集「論理と学習」 招待講演：「Mathematics based on Learning」，林 晋 （神戸大学） http://www.i.kyushu-u.ac.jp/~arim/sigfai02/ 連絡先：有村博紀（九州大学大学院システム情報科学研究院） E-mail: arim@i.kyushu-u.ac.jp --- 1日目: 12/18日（木）. S1:データマイニング 13:30-14:00 1. ラフセット演算専用プロセッサの設計とシミュレーション ○金杉昭徳（東京電機大），梶田佳樹（埼玉大） 14:00-14:20 2. MRSA検査データからの単調DNF式被覆の抽出 ○永住亮介，平田耕一，原尾政輝（九州工業大学情報工学部） 14:20-14:40 3. MRSAとMSSAを分類する決定木の構築 ○和田稔，平田耕一，原尾政輝（九州工業大学情報工学部） 14:40-14:55 休憩（15分） S2: 論理と学習 14:55-15:55 4. （招待講演）Mathematics based on Learning ○林 晋（神戸大学工学部情報知能工学科） 15:55-16:25 5. クラスターBPによるKikuchi近似の計算 ○佐藤泰介（東京工業大学情報理工学研究科） 16:25-16:40 休憩（15分） S3:論理と学習 16:40-17:10 6. 証明補完と適切さの論理に基づく仮説選択 ○山本章博, Bertram Fronfoefer（北海道大学工学部） 17:10-17:40 7. 極小限定を用いた帰納推論 ○斉藤　悠，井上　克已（神戸大学大学院自然科学研究科電気電子工学専攻） 17:40-18:10 8. 極小変更論理仕様のデフォルト論理による計算手法について ○佐藤 健（国立情報学研究所） 19:00 懇親会 2日目: 19日(木). S4:論理と学習 9:30-09:50 9. 順序節の包摂と一般化について ○小川剛，平田耕一，原尾政輝（九州工業大学情報工学部） 09:50-10:20 10. テキストデータの内容に基づく相関ルールのクラスタリングについて ○嶋津恵子, 山根洋平, 門馬敦仁, 桜井哲志（富士ゼロックス(株)研究本部ITメディア研究所），古川康一（慶應義塾大学大学院政策・メディア研究科） 10:20-10:50 11. 最適クリーク探索に基づくデータからの概念学習 ○原口誠 （北海道大学工学部） 10:50-11:10 休憩（20分） S5:論理と学習 11:10-11:40 12. オンライン環境における半構造データマイニング ○浅井達哉, 安部賢治, 川副真治, 有村博紀, 有川節夫（九州大学大学院システム情報科学研究院） 11:40-12:10 13. グラフパターンを用いた幾何構造データの可逆的な圧縮手法 ○糸川裕子(広島国際大学人間環境学部)，内田智之(広島市立大学情報科学部)，宮原哲浩(広島市立大学情報科学部)，正代隆義(九州大学大学院システム情報科学研究院)，中村泰明(広島市立大学情報科学部) 12:10 終了（閉会）