International Journal of Emerging Trends & Technology in Computer Science
A Motivation for Recent Innovation & Research
ISSN 2278-6856
www.ijettcs.org

Call for Paper, Published Articles, Indexing Infromation Theorem proving by incrementally extending theorem domain, Authors : Ismail A. Ismail and Mohamed G. Awad, International Journal of Emerging Trends & Technology in Computer Science (IJETTCS), www.ijettcs.org
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]                          Home