DocumentCode
548390
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
fYear
2011
fDate
23-27 May 2011
Firstpage
965
Lastpage
968
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;
fLanguage
English
Publisher
ieee
Conference_Titel
MIPRO, 2011 Proceedings of the 34th International Convention
Conference_Location
Opatija
Print_ISBN
978-1-4577-0996-8
Type
conf
Filename
5967196
Link To Document