• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2008 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number 19500020
Research InstitutionHokkaido University

Principal Investigator

栗原 正仁  Hokkaido University, 大学院・情報科学研究科, 教授 (50133707)

Keywordsソフトウェア学 / システム工学 / ディペンダブル・コンピューティング / 人工知能 / 項書換え系 / 完備化手続き / 国際情報交換 / オーストリア
Research Abstract

本研究の目的は, ソフトウェア工学の基礎分野における推論システムに対して多重文脈型の推論システムを設計・実装し, 専門知識や直観・洞察に依存する文脈の入力から利用者を解放することにより, 論理的なユーザインタフェースを抜本的に改善し, 専門性の低い一般技術者が推論システムを気軽に活用できる道を切り開くことにある。特に, 等式や書換え規則を対象として構成される代数系の計算モデルに関わる推論システムのクラスに焦点をしぼり, このクラスの様々な推論システムの機能と文脈の関わりを分析し, 多くのシステムから共通して使うことのできる多重文脈型推論システムの基盤となるミドルウェアを研究開発することを日的としている。平成20年度は, 前年度の内容を継続するとともに, システムの詳細設計・実装・評価に着手した。具体的には, (1)完備化の基本的な推論手続きを分析し, 多重文脈型の推論システムを設計した。特に1停止性検証については, 多項式解釈に基づく簡約順序や依存対に基づく方法まで拡張した。(2)停止性検証の推論システムを多重文脈型として設計し, それらに対して共通の実行基盤を与えるためのミドルウェアを設計・実装した。特に, 等式を左右のいずれに向き付けるかの判断に依存した文脈に焦点をしぼり, その多重文脈の表現と処理方法を設計した。(3)システムの詳細な設計に着手した。上記のミドルウェアを適切に実装し, そしてそれをオブジェクト指向の意味において再利用可能とするようプログラムを設計し, ドキュメントを整備した。また, ベンチマークテストによりその有効性を評価した。(4)次年度の準備として, SATを利用した制約充足の基本手続きを分析し, 多重文脈型とするための検討を開始した。

  • Research Products

    (8 results)

All 2009 2008

All Journal Article (3 results) (of which Peer Reviewed: 3 results) Presentation (5 results)

  • [Journal Article] Constraint-Based Multi-Completion Procedures for Term Rewriting Systems2009

    • Author(s)
      Haruhiko Sato, Masahito Kurihara, Sarah Winkler, Aart Middeldorp
    • Journal Title

      IEICE Transactions on Information and Systems (Special Section on Foundation of Computer Science) E92-D

      Pages: 220-234

    • Peer Reviewed
  • [Journal Article] Computational Dialectics Based on Specialization and Generalization-A New Reasoning Method for Conflict Resolution2009

    • Author(s)
      Hiroyuki Kido and Masahito Kurihara
    • Journal Title

      Lecture Notes in Artificial Intelligence 5447

      Pages: 228-241

    • Peer Reviewed
  • [Journal Article] Hardness measures for gridworld benchmarks and performance-analysis of real-time heuristic search algorithms2008

    • Author(s)
      Masataka Mizusawa and Masahito Kurihara
    • Journal Title

      Journal of-Heuristics 2008(Online)

      Pages: 1-14

    • Peer Reviewed
  • [Presentation] Implementation and performance evaluation of multi-completion with termination checking2008

    • Author(s)
      Haruhiko Sato and Masahito Kurihara
    • Organizer
      2008 IEEE International Conference on Systems, Man, and Cybernetics
    • Place of Presentation
      Suntec Singapore Convention Exhibition Centre (Singapore)
    • Year and Date
      20081012-15
  • [Presentation] Multi-completion with termination tools2008

    • Author(s)
      Haruhiko Sato, Sarah Winkler, Masahito Kurihara and Aart Middeldorp
    • Organizer
      4th International Joint Conference on Automated Reasoning
    • Place of Presentation
      Mecure Sydney Hotel (Sydney)
    • Year and Date
      20080810-15
  • [Presentation] Design and Implementation of Multi-completion procedures with termination checking2008

    • Author(s)
      Haruhiko Sato and Masahito Kurihara
    • Organizer
      International Conference on Theoretical and Mathematical Foundations of Computer Science
    • Place of Presentation
      Imperial Swan Hotel & Suites (Orlando)
    • Year and Date
      20080707-10
  • [Presentation] Multi-completion procedures for term rewriting systems with modern termination checking2008

    • Author(s)
      Haruhiko Sato and Masahito Kurihara
    • Organizer
      International Conference on Computing, Communications and Control
    • Place of Presentation
      Rosen Centre Hotel (Orlando)
    • Year and Date
      20080629-0702
  • [Presentation] Multi-completion procedures for term rewriting systems based on constraint system2008

    • Author(s)
      Haruhiko Sato and Masahito Kurihara
    • Organizer
      International Conference on Information Technology and Applications
    • Place of Presentation
      Hilton Cairns Hotel (Cairns)
    • Year and Date
      20080623-26

URL: 

Published: 2010-06-11   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi