Search
 
loader loading subjects...
cover
Two Approaches to Programs Synthesis or Implementation of Partially Defined Theories
Victor Malyshkin
285 - 291
10.3233/978-1-61499-125-0-285
Frontiers in Artificial Intelligence and Applications
Volume 246: New Trends in Software Methodologies, Tools and Techniques
Abstract

Logic programming approach demonstrated technological not implementability of the program realization of an axiomatic theory. Here it is suggested to describe the axiomatic theory partially, in order to overcome the problem of the not implementability. Partially defined axiomatic theory should contain not all the possible decisions/theorems/, but those only, that were already well implemented once.

$35.00 / €27.50 / £22.00
Add PDF to cart