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

点击翻译按钮获取中文摘要

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.