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, Masterslave 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