On the role of informed search in veristic computing

Author

Rubin, Stuart H. ; Rush, Robert J. ; Boerke, James ; Trajkovic, Ljiwana

Author_Institution

SPAWARS Syst. Center, San Diego, CA, USA

Volume

4

fYear

2001

fDate

2001

Firstpage

2301

Abstract

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

Keywords

data mining; high level languages; program compilers; software engineering; PC; computing words; domain-specific knowledge bases; expert compilation; high-end computer; higher-level programming languages; informed search; knowledge transfer; program design; program testing; programming language design; qualitatively constrained equations; randomization; software engineering; translation; veristic computing; Application software; Computer languages; Data mining; Entropy; Equations; Knowledge acquisition; Pervasive computing; Software debugging; Software engineering; Software testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 2001 IEEE International Conference on

Conference_Location

Tucson, AZ

ISSN

1062-922X

Print_ISBN

0-7803-7087-2

Type

conf

DOI

10.1109/ICSMC.2001.972900

Filename

972900