2009 Fiscal Year Final Research Report
Development of Multi-Context Reasoning Infrastructural Systems for Algebraic Software
| Project/Area Number |
19500020
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Hokkaido University |
|---|
Principal Investigator |
KURIHARA Masahito Hokkaido University, 大学院・情報科学研究科, 教授 (50133707)
|
|---|
| Project Period (FY) |
2007 – 2009
|
| Keywords | ソフトウェア学 / システム工学 / ディペンダブル・コンピューティング / 人工知能 / 項書換え系 |
|---|
| Research Abstract |
In the field of algebraic computer software called the term rewriting systems, this project has successfully developed a new infrastructural reasoning system which solves a lot of problems efficiently. The problems include the completion problems for transforming programs into those which always terminate and output the unique solution. Also included is the automated inductive theorem proving for proving crucial properties to be satisfied by programs. The key technology is the multi-context reasoning which allows very efficient simulation of parallel execution of multiple processes using the special data structure called nodes and heuristic search.
|
-
-
-
-
[Presentation] Optimizing mkbTT2010
Author(s)
Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
Organizer
International Conference on Rewriting Techniques and Applications
Place of Presentation
エジンバラ大学 (英国エジンバラ市)
Year and Date
2010-07-11
-
-
[Presentation] Multi-Context Rewriting Induction2010
Author(s)
Masahito Kurihara, Haruhiko Sato
Organizer
International Symposium on Global COE Program of Center for Next-Generation Information Technology Based on Knowledge Discovery and Knowledge Federation
Place of Presentation
北海道大学学術交流会館 (札幌)
Year and Date
2010-01-19
-
-
-
-
-
-
-
