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
|
Project Status |
Completed (Fiscal Year 2009)
|
Budget Amount *help |
¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000)
Fiscal Year 2009: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2008: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2007: ¥2,470,000 (Direct Cost: ¥1,900,000、Indirect Cost: ¥570,000)
|
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.
|
Report
(4 results)
Research Products
(31 results)
-
-
-
-
-
-
-
-
-
-
[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
Related Report
-
-
-
[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
Related Report
-
[Presentation] Multi-Context Rewriting Induction2010
Author(s)
Masahito Kurihara, Haruhiko Sato
Organizer
3rd 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
Related Report
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-