DocumentCode :
3454164
Title :
Heuristics Propositional Extension Rule Method
Author :
Wu, Xia ; Yu, Haihong ; Li, Ying
Author_Institution :
Coll. of Comput. Sci. & Technol., Jilin Univ., Changchun, China
fYear :
2009
fDate :
7-9 Dec. 2009
Firstpage :
797
Lastpage :
800
Abstract :
Theorem proving based on the extension rule is a new reasoning method. Based on the extension rule algorithm RIER, this paper presents a more efficient algorithm HRIER, which uses the heuristic strategy to guide the choosing of restricted searching space. The experiment results show HRIER improves the efficiency a lot, meanwhile it keeps the essence characteristic of extension rule method, namely it is still potentially a complementary method to resolution based methods.
Keywords :
set theory; theorem proving; automated theorem proving; extension rule algorithm; heuristic strategy; Computer science; Computer science education; Control engineering education; Educational institutions; Educational technology; Erbium; Frequency; Knowledge engineering; Laboratories; Mathematics;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Innovative Computing, Information and Control (ICICIC), 2009 Fourth International Conference on
Conference_Location :
Kaohsiung
Print_ISBN :
978-1-4244-5543-0
Type :
conf
DOI :
10.1109/ICICIC.2009.228
Filename :
5412235
Link To Document :
بازگشت