代数的ソフトウェア向き多重文脈型推論基盤システムの開発研究

• 研究課題/領域番号: 19500020
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 北海道大学
• 研究代表者: 栗原 正仁 北海道大学, 大学院・情報科学研究科, 教授 (50133707)
• 研究期間 (年度): 2007 – 2009
• 研究課題ステータス: 完了 (2009年度)
• 配分額: 4,290千円 (直接経費: 3,300千円、間接経費: 990千円); 2009年度: 910千円 (直接経費: 700千円、間接経費: 210千円); 2008年度: 910千円 (直接経費: 700千円、間接経費: 210千円); 2007年度: 2,470千円 (直接経費: 1,900千円、間接経費: 570千円)
• キーワード: ソフトウェア学 / システム工学 / ディペンダブル・コンピューティング / 人工知能 / 項書換え系 / 完備化手続き / 国際情報交換 / オーストリア / 定理自動証明 / 停止性

研究概要

項書換え系という代数的ソフトウェアの分野において,本研究では多くの問題を効率よく解く新しい推論基盤システムの開発に成功した。それらの問題には,プログラムが必ず実行を停止して唯一の解を出力するように変換する完備化問題およびプログラムが満たす重要な性質を証明する帰納的定理自動証明が含まれる。鍵となる技術は,ノードという特殊なデータ構造と経験的探索を使って複数処理の並列実行を高性能に模擬する多重文脈型推論である。

研究成果

• [雑誌論文] Multi-context rewriting induction with termination checkers (Special Section on Formal Approach) (2010)
  • 著者名/発表者名: Haruhiko Sato, Masahito Kurihara
  • 雑誌名: IEICE Transactions on Information and Systems Vol. E93-D, No. 5(採録決定)
  • 査読あり
• [雑誌論文] Hardness measures for gridworld bench-marks and performance analysis of realtime heuristic search algorithms (2010)
  • 著者名/発表者名: Masataka Mizusawa, Masahito Kurihara
  • 雑誌名: Journal of Heuristics Vol. 16 ページ: 23-36
  • 査読あり
• [雑誌論文] Hardness measures for gridworld benchmarks and performance analysis of real-time heuristic search algorithms (2010)
  • 著者名/発表者名: Masataka Mizusawa, Masahito Kurihara
  • 雑誌名: Journal of Heuristics 16 ページ: 23-36
  • 査読あり
• [雑誌論文] Multi-context rewriting induction with termination checkers (2010)
  • 著者名/発表者名: Haruhiko Sato, Masahito Kurihara
  • 雑誌名: IEICE Transactions on Information and Systems(Special Section on Formal Approach) E93-D(未定(採択決定・編集中)) ページ: 1-1
  • NAID: 10026815209
• [雑誌論文] A Tool for Visualizing the Behavior of Fuzzy Constraint Satisfaction Solvers (2010)
  • 著者名/発表者名: Takuto Yanagida, Masahito Kurihara, Hidetoshi Nonaka
  • 雑誌名: Journal of Advanced Computational Intelligence & Intelligent Informatics 14(未定(採択決定・編集中)) ページ: 1-1
• [雑誌論文] Constraint-based multi-completion procedures for term rewriting systems (Special Section on Foundation of Computer Science) (2009)
  • 著者名/発表者名: Haruhiko Sato, Masahito Kurihara, Sarah Winkler, Aart Middeldorp
  • 雑誌名: IEICE Transactions on Information and Systems Vol. E92-D, No. 2 ページ: 220-234
  • 査読あり
• [雑誌論文] Constraint-Based Multi-Completion Procedures for Term Rewriting Systems (2009)
  • 著者名/発表者名: Haruhiko Sato, Masahito Kurihara, Sarah Winkler, Aart Middeldorp
  • 雑誌名: IEICE Transactions on Information and Systems (Special Section on Foundation of Computer Science) E92-D ページ: 220-234
  • NAID: 10026807461
  • 査読あり
• [雑誌論文] Computational Dialectics Based on Specialization and Generalization-A New Reasoning Method for Conflict Resolution (2009)
  • 著者名/発表者名: Hiroyuki Kido and Masahito Kurihara
  • 雑誌名: Lecture Notes in Artificial Intelligence 5447 ページ: 228-241
  • 査読あり
• [雑誌論文] Hardness measures for gridworld benchmarks and performance-analysis of real-time heuristic search algorithms (2008)
  • 著者名/発表者名: Masataka Mizusawa and Masahito Kurihara
  • 雑誌名: Journal of-Heuristics 2008(Online) ページ: 1-14
  • 査読あり
• [学会発表] Optimizing mkbTT (2010)
  • 著者名/発表者名: Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
  • 学会等名: International Conference on Rewriting Techniques and Applications
  • 発表場所: エジンバラ大学 (英国エジンバラ市)
  • 年月日: 2010-07-11
• [学会発表] Design and Implementation of Multi-Context Rewriting Induction (2010)
  • 著者名/発表者名: Haruhiko Sato, Masahito Kurihara
  • 学会等名: IAENG International MultiConference of Engineers and Computer Scientists
  • 発表場所: ロイヤルガーデンホテル (香港)
  • 年月日: 2010-03-17
• [学会発表] Design and Implementation of Multi-Context Rewriting Induction (2010)
  • 著者名/発表者名: Haruhiko Sato, Masahito Kurihara
  • 学会等名: International MultiConference of Engineers and Computer Scientists
  • 発表場所: ロイヤルガーデンホテル、香港(中国)
  • 年月日: 2010-03-17
• [学会発表] Multi-Context Rewriting Induction (2010)
  • 著者名/発表者名: Masahito Kurihara, Haruhiko Sato
  • 学会等名: International Symposium on Global COE Program of Center for Next-Generation Information Technology Based on Knowledge Discovery and Knowledge Federation
  • 発表場所: 北海道大学学術交流会館 (札幌)
  • 年月日: 2010-01-19
• [学会発表] Multi-Context Rewriting Induction (2010)
  • 著者名/発表者名: Masahito Kurihara, Haruhiko Sato
  • 学会等名: 3rd International Symposium on Global COE Program of Center for Next-Generation Information Technology Based on Knowledge Discovery and Knowledge Federation
  • 発表場所: 北海道大学学術交流会館、札幌
  • 年月日: 2010-01-19
• [学会発表] Userfriendly GUI in software model checking (2009)
  • 著者名/発表者名: Shoichi Yokoyama, Haruhiko Sato, Masahito Kurihara
  • 学会等名: IEEE International Conference on Systems, Man, and Cybernetics
  • 発表場所: ハイアット・リージェンシーホテル (米国サンアントニオ市)
  • 年月日: 2009-10-12
• [学会発表] User-friendly GUI in software model checking (2009)
  • 著者名/発表者名: Shoichi Yokoyama, Haruhiko Sato, Masahito Kurihara
  • 学会等名: 2009 IEEE International Conference on Systems, Man, and Cybernetics
  • 発表場所: ハイアット・リージェンシーホテル、サンアントニオ(米国)
  • 年月日: 2009-10-12
• [学会発表] Implementation and performance evaluation of multi-completion with termination checking (2008)
  • 著者名/発表者名: Haruhiko Sato, Masahito Kurihara
  • 学会等名: IEEE International Conference on Systems, Man, and Cybernetics
  • 発表場所: サンテック国際会議展示場 (シンガポール)
  • 年月日: 2008-10-12
• [学会発表] Multicompletion with termination tools (2008)
  • 著者名/発表者名: Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp
  • 学会等名: International Joint Conference on Automated Reasoning
  • 発表場所: メキュアホテル (豪州シドニー市)
  • 年月日: 2008-08-10
• [学会発表] Design and Implementation of Multicompletion procedures with termination checking (2008)
  • 著者名/発表者名: Haruhiko Sato, Masahito Kurihara
  • 学会等名: International Conference on Theoretical and Mathematical Foundations of Computer Science
  • 発表場所: インペリアル・スワンホテル (米国オーランド市)
  • 年月日: 2008-07-07
• [学会発表] Multi-completion procedures for term rewriting systems with modern termination checking (2008)
  • 著者名/発表者名: Haruhiko Sato, Masahito Kurihara
  • 学会等名: International Conference on Computing, Communications and Control
  • 発表場所: ローゼンセンター (米国オーランド市)
  • 年月日: 2008-06-29
• [学会発表] Multi-completion procedures for term rewriting systems based on constraint system, Proc (2008)
  • 著者名/発表者名: Haruhiko Sato, Masahito Kurihara
  • 学会等名: International Conference on Information Technology and Appli-cations
  • 発表場所: ヒルトンホテル (豪州ケアンズ市)
  • 年月日: 2008-06-23
• [学会発表] MKBOOL : A multi-completion system for boolean constrained reduction orders (2008)
  • 著者名/発表者名: Haruhiko Sato, Masahito Kurihara
  • 学会等名: IAENG International MultiConference of Engineers and Computer Scientists
  • 発表場所: リーガル・カオルーンホテル (香港)
  • 年月日: 2008-03-19
• [学会発表] Multi-completion with termination tools (2008)
  • 著者名/発表者名: Haruhiko Sato, Sarah Winkler, Masahito Kurihara and Aart Middeldorp
  • 学会等名: 4th International Joint Conference on Automated Reasoning
  • 発表場所: Mecure Sydney Hotel (Sydney)
• [学会発表] Implementation and performance evaluation of multi-completion with termination checking (2008)
  • 著者名/発表者名: Haruhiko Sato and Masahito Kurihara
  • 学会等名: 2008 IEEE International Conference on Systems, Man, and Cybernetics
  • 発表場所: Suntec Singapore Convention Exhibition Centre (Singapore)
• [学会発表] Design and Implementation of Multi-completion procedures with termination checking (2008)
  • 著者名/発表者名: Haruhiko Sato and Masahito Kurihara
  • 学会等名: International Conference on Theoretical and Mathematical Foundations of Computer Science
  • 発表場所: Imperial Swan Hotel & Suites (Orlando)
• [学会発表] Multi-completion procedures for term rewriting systems with modern termination checking (2008)
  • 著者名/発表者名: Haruhiko Sato and Masahito Kurihara
  • 学会等名: International Conference on Computing, Communications and Control
  • 発表場所: Rosen Centre Hotel (Orlando)
• [学会発表] Multi-completion procedures for term rewriting systems based on constraint system (2008)
  • 著者名/発表者名: Haruhiko Sato and Masahito Kurihara
  • 学会等名: International Conference on Information Technology and Applications
  • 発表場所: Hilton Cairns Hotel (Cairns)
• [学会発表] MKBOOL: A multi-completion system for boolean constrained reduction orders (2008)
  • 著者名/発表者名: Haruhiko Sato and Masahito Kurihara
  • 学会等名: International MultiConference of Engineers and Computer Scientists 2008(IMECS 2008)
  • 発表場所: リーガル・カオルーンホテル(香港)
• [学会発表] Searching for successful reduction orders in equational multi-completion with boolean constraints (2008)
  • 著者名/発表者名: Masahito Kurihara and Haruhiko Sato
  • 学会等名: International Symposium on Global COE Program of Center for Next-Generation Information Technology based on Knowledge Discovery and Knowledge Federation(GCOE-NGIT 2008)
  • 発表場所: 北海道大学(札幌)
• [学会発表] 依存対法を用いた項書換え系多重完備化手続き (2007)
  • 著者名/発表者名: 佐藤 晴彦, 栗原 正仁
  • 学会等名: 日本ソフトウェア科学会第24回大会
  • 発表場所: 奈良先端科学技術大学院大学(奈良)
• [学会発表] 依存対法を用いた項書換え系多重完備化手続き (2007)
  • 著者名/発表者名: 佐藤 晴彦, 栗原 正仁
  • 学会等名: 電子情報通信学会ソフトウェアサイエンス研究会
  • 発表場所: 北海道大学(札幌)