Title :
On parallelism of hyper-linking theorem proving: a preliminary report
Author :
Wu, Chih-Hung ; Lee, Shie-Jue
Author_Institution :
Dept. of Electr. Eng., Nat. Sun Yat-Sen Univ., Kaohsiung, Taiwan
Abstract :
This paper exploits the parallelism of a hyper-linking based theorem prover. We analyze the unique properties of the the hyper-linking proof procedure and present the preliminary results. With respect to these properties four parallel strategies, phase-level, clause-level, literal-level, search level parallelism are designed for different implementation schemes of the prover. Results and analysis of the experiments on these parallel strategies are presented
Keywords :
artificial intelligence; parallel algorithms; parallel architectures; theorem proving; clause-level; hyper-linking proof procedure; hyper-linking theorem proving; literal-level; parallel strategies; parallelism; phase-level; search level parallelism; Artificial intelligence; Concurrent computing; Electrons; Joining processes; Knowledge based systems; Parallel architectures; Parallel processing; Production systems; Sun; Testing;
Conference_Titel :
Parallel and Distributed Systems, 1996. Proceedings., 1996 International Conference on
Conference_Location :
Tokyo
Print_ISBN :
0-8186-7267-6
DOI :
10.1109/ICPADS.1996.517599