Scalable Parallel Implementation and Application of Multi-ContextReasoning Systems for Algebraic Software

代数软件多上下文推理系统的可扩展并行实现和应用

• 批准号: 22500022
• 负责人: KURIHARA Masahito
• 金额: $ 2.91万
• 依托单位: Hokkaido University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2010
• 资助国家: 日本
• 起止时间: 2010 至 2012
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22500022/
• 关键词: 項書換え系; 並列化; 多重文脈型推論; 人工知能; ソフトウェア; 代数; 項書換えシステム; 並列プログラミング; 多重文脈推論; 停止性検証; ソフトウェア学; 代数学

In order to extend the multi-context reasoning systems to physically parallel executable frameworks, the processes for termination verification including creation and update of equations and rewrite rules and, in particular, the implementation of the determination of system termination (success) among the processes have been considered and by using a parallel programming language Erlang, a scalable, parallel implementation scheme on parallel computers has been developed to give the systems more power. Also, the systems have been applied to problems such as inductive theorem proving to see their improved usability.

为了将多文本推理系统扩展到物理平行的可执行框架，终止验证的过程，包括创建和更新方程式和重写规则，尤其是考虑到在过程中确定系统终止（成功）的确定以及使用可扩展的实施方案在流程中的确定（成功）的实现。同样，这些系统已应用于诸如归纳定理等问题，以证明其可用性提高了。

项目成果

Parallelization of termination checker for term rewriting system

术语重写系统终止检查器的并行化

• 发表时间: 2012
• 作者: Rui Ding;Haruhiko Sato;Masahito Kurihara
• 通讯作者: Masahito Kurihara

Optimizing mkbTT

优化 mkbTT

• 发表时间: 2010
• 作者: Sarah Winkler;Haruhiko Sato;Aart Middeldorp;Masahito Kurihara
• 通讯作者: Masahito Kurihara

Multi-context rewriting induction with termination checkers

带有终止检查器的多上下文重写归纳

• 发表时间: 2010
• 期刊: IEICE Transactions on Information and Systems
• 影响因子: 0.7
• 作者: Haruhiko Sato;Masahito Kurihara
• 通讯作者: Masahito Kurihara

Parallelization of termination checker of term rewriting systems

术语重写系统终止检查器的并行化

• 发表时间: 2012
• 作者: Rui Ding;Haruhiko Sato;Masahito Kurihara
• 通讯作者: Masahito Kurihara

Multi-Completion with Termination Tools

使用终止工具进行多重完成

• 发表时间: 2013
• 期刊: Journal of Automated Reasoning
• 作者: Sarah Winkler;Haruhiko Sato;Aart Middeldorp;Masahito Kurihara
• 通讯作者: Masahito Kurihara