代数的ソフトウェア向き多重文脈型推論基盤システムのスケーラブルな並列実装と応用

2012 年度 研究成果報告書

• 研究課題/領域番号: 22500022
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 北海道大学
• 研究代表者: 栗原 正仁 北海道大学, 大学院・情報科学研究科, 教授 (50133707)
• 連携研究者: 佐藤 晴彦 北海道大学, 大学院・情報科学研究科, 助教 (30543178)
• 研究期間 (年度): 2010 – 2012
• キーワード: 項書換え系 / 並列化 / 多重文脈型推論 / 人工知能 / ソフトウェア / 代数

研究概要

多重文脈型推論基盤システムを,物理的に並列実行できる枠組みに広げるために,等式や書換え規則の生成・更新処理を含む停止性検証の処理、特にプロセス間のシステム終了(成功)条件の判定処理等の実装を対象として,関数型言語Erlangを採用して,並列計算機におけるスケーラブルな並列実装方式を開発してシステムのパワーを格段に高めた。また,システムを帰納的定理証明等の応用課題に適用して,その可用性を高めた。

研究成果

• [雑誌論文] Multi-Completion with Termination Tools (2013)
  • 著者名/発表者名: Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
  • 雑誌名: Journal of Automated Reasoning 巻: Vol. 50, No.3 ページ: 317-354
  • 査読あり
• [雑誌論文] Multi-context rewriting induction with termination checkers (2010)
  • 著者名/発表者名: Haruhiko Sato, Masahito Kurihara
  • 雑誌名: IEICE Transactions on Information and Systems 巻: Vol.E93-D, No.5 ページ: 942-952
  • 査読あり
• [学会発表] Parallelization of termination checker for term rewriting system (2012)
  • 著者名/発表者名: Rui Ding, Haruhiko Sato, Masahito Kurihara
  • 学会等名: The 2012 IEEE International Conference on Systems, Man, and Cybernetics, 1824-1829
  • 発表場所: Seoul(韓国)COEX 国際会議場
  • 年月日: 2012-10-15
• [学会発表] Parallelization of termination checker of term rewriting systems (2012)
  • 著者名/発表者名: Rui Ding, Haruhiko Sato, Masahito Kurihara
  • 学会等名: The International MultiConference of Engineers and Computer Scientists 2012
  • 発表場所: 香港(中国)ロイヤルガーデンホテル
  • 年月日: 2012-03-15
• [学会発表] Multi-context rewriting induction with termination checkers (2012)
  • 著者名/発表者名: Haruhiko Sato, Masahito Kurihara
  • 学会等名: The 5th International Symposium on Global COE Program of Center for Next-GenerationInformation Technology Based on Knowledge Discovery and Knowledge Federation
  • 発表場所: 札幌 ,北海道大学
  • 年月日: 2012-01-16
• [学会発表] Optimizing mkbTT (2010)
  • 著者名/発表者名: Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
  • 学会等名: The 21st International Conference on Rewriting Techniques and Applications
  • 発表場所: Edinburgh(英国)エジンバラ大学
  • 年月日: 2010-07-12
• [備考]
  • URL: http://kussharo.complex.eng.hokudai.ac.jp/file/satoh.pdf