Title :
Theorem proving software, based on method of positively-constructed formulae
Author :
Larionov, A.A. ; Cherkashin, E.A. ; Davydov, A.V.
Author_Institution :
Irkutsk State Univ., Irkutsk, Russia
Abstract :
The language of positively constructed formulae and its calculus are described in this paper. The results of a software system development for automated theorem proving in the calculus are presented. The implementation of the algorithms is based on different techniques for improving system performance and reduction of the amount of used memory. A number of strategies have been implemented as well.
Keywords :
logic programming languages; machine oriented languages; software engineering; theorem proving; automated theorem proving; positively constructed formulae language; software system development; theorem proving software; Artificial intelligence; Calculus; Indexing; Inference algorithms; Random access memory; Search problems; Software;
Conference_Titel :
MIPRO, 2011 Proceedings of the 34th International Convention
Conference_Location :
Opatija
Print_ISBN :
978-1-4577-0996-8
