Publication: A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach
Date
1994-05
Authors
Natarajan, Surash
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
The research reported in this thesis is devoted to the use of concurrent processing for developing a resolution based automated theorem proving system, an application in the area of artificial intelligence. Our purpose in doing this is to study the usefulness of concurrent processing in enhancing the problem solving process in a resolution based automated theorem proving system. During our research here we investigated which component of the theorem prover can be decomposed into introducing concurrent processing and how this should be done. Our main aim in building this theorem prover was not mainly in producing a high performance theorem prover but to build a system that can be considered to be a prototype that would illustrate the idea of introducing
concurrent processing in resolution based theorem provers. We believe that concurrent processing is the intermediate step in moving from sequential processing towards parallel processing. Concurrent processing provides the simplicity of sequential system design with efficient processing capabilities of parallel system. In our discussion here we present a novel design of the system and how we propose to implement it.
Description
Keywords
Artificial intelligence , Mathematics