Title :
A Method for Deciding the Containing Relation between Two Clauses
Author :
Shao, Yingchao ; Zhang, Jiafeng ; Qin, Keyun
Author_Institution :
Sch. of Math., Southwest Jiaotong Univ., Chengdu, China
Abstract :
In this paper, some properties on the containing relation between two clauses are proposed at first, then, based on these properties, a method for deciding the containing relation between two clauses is given.
Keywords :
theorem proving; clause containing relation; mechanical theorem proving; resolution based mechanization; Artificial intelligence; Bismuth; Cognition; Geometry; Presses; Rough sets; clause; containing relation; mechanical theorem proving;
Conference_Titel :
Artificial Intelligence and Computational Intelligence (AICI), 2010 International Conference on
Conference_Location :
Sanya
Print_ISBN :
978-1-4244-8432-4
DOI :
10.1109/AICI.2010.289
