并行归纳法推理系统

为提高归纳法推理过程的速度和效率，我们在Ｂｏｙｅｒ－Ｍｏｏｒｅ程序证明方法和自行设计的串行归纳法推理系统的基础上，进行了并行归纳法推理的研究，其中包括推理知识的分布处理，系统初始工作的并行化，并行推理子任务的识别与调度，子任务间的信息通信，以及推理问题的可并行性等方面的探讨。最后文章还介绍了对此并行归纳法推理系统的语言支持。