Volume & Issue no: Volume 4, Issue 1, January - February 2015
____________________________________________________________________________________________________
Title: |
Theorem proving by incrementally extending theorem domain |
Author Name: |
Ismail A. Ismail and Mohamed G. Awad |
Abstract: |
Abstract
Automated Theorem provers are used to check if the
mathematical theorems are proved true or false. If the
theorem is true, the automated theorem prover, usually, prints
out the proof. In this paper we present a new approach to deal
with the other case, i.e. if the theorem is false. The semantic
tableau method is used to extend the theorem domain. The
modified automated theorem prover suggests an extension of
the domain, if it is available, to present a new provable
theorem.
Keywords: Artificial intelligence, Automated theorem
provers, Tableaux, PROLOG |
Cite this article: |
Ismail A. Ismail and Mohamed G. Awad , "
Theorem proving by incrementally extending theorem domain" , International Journal of Emerging Trends & Technology in Computer Science (IJETTCS) ,
Volume 4, Issue 1, January - February 2015 , pp.
113-115 , ISSN 2278-6856.
|
| Full Text [PDF] Back to Current Issue | |
NOTE: Authors note that paper cannot be withdrawn at any condition once it is accepted. The Team of IJETTCS advise you, do not submit same article to the multiple journals simultaneously. This may create a problem for you. Please wait for review report which will take maximum 01 to 02 week.