DocumentCode :
2698486
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
fYear :
1996
fDate :
3-6 Jun 1996
Firstpage :
494
Lastpage :
499
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Parallel and Distributed Systems, 1996. Proceedings., 1996 International Conference on
Conference_Location :
Tokyo
Print_ISBN :
0-8186-7267-6
Type :
conf
DOI :
10.1109/ICPADS.1996.517599
Filename :
517599
Link To Document :
بازگشت