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
