Parallel Forward Deduction System for General-purpose Entailment Calculus on Clusters of PCs

S. Nara, Y. Goto, D. Takahashi and J. Cheng (Japan)


Entailment calculus, Forward deduction, Clusters of PCs, Master-slave model.


An automated forward deduction system for entailment calculus is an indispensable component of many application systems such as theorem finding and knowledge discovery systems that require a forward reasoning engine. The performance of an automated forward deduction system is crucial to its applicability. In this pa per, we present a parallel forward deduction system for general-purpose entailment calculus on clusters of PCs. We also present some evaluation results of our implementation techniques that show their effectiveness and efficiency.

Important Links:

Go Back