MAINTAINING THE TRUTH OF SPECIFICATIONS IN EVOLUTIONARY SOFTWARE
C. V. Ramamoorthy, Daniel E. Cooke, Chitta R. Baral · International Journal of Artificial Intelligence Tools · 1993
In this paper we explore how methods of truth maintenance and nonmonotonic reasoning may be applied in the engineering of integrated, dynamic systems. In the life of a large system, it is not possible to foresee every significant event which may affect the behavior of the system. Truth maintenance techniques may prove useful in the production and maintenance of these large systems. We discuss how it is that the decision making aspects of a system which change. Both the information on which we base our decisions and our strategies for decision making change. We discuss truth maintenance with respect to preserving the models of specifications and the models of programs. We discuss nonmonotonic reasoning and the need to have nonmonotonic program specification languages for evolutionary programs. We also discuss the relation between knowledge combination and software development.