On the role of informed search in veristic computing

Veristic computing is defined as computing with words. It necessarily entails the use of informed search in the solution of qualitatively constrained equations. Its use does not preclude computing with numbers. Veristic computing allows for the specification of higher-level programming languages, which can evolve domain-specific knowledge bases. The knowledge is evolved on a high-end computer for subsequent porting to a PC. The application of that knowledge to the translation of a higher-level program is termed expert compilation. This paper serves to clarify the ubiquitous role assumed by randomization in all aspects of software engineering-from programming language design to program design to program testing to knowledge transference