Title :
Computer intelligence equals formalization
Author :
Olsen, Kai A. ; Bellucci, Andrea
Author_Institution :
Univ. of Bergen, Bergen
Abstract :
In this paper, we have looked at formalization. A computer program must be and is a formalization. Basic data and processes must always be given a formalized description. We can use the computer to perform tasks that would have been considered intelligent if they were performed by humans, such as navigation or playing chess. But after the problem is formalized, the computer finds solutions by adding numbers. No intelligence is involved.
Keywords :
formal specification; computer intelligence; computer program; formalization; formalized description; Clocks; Competitive intelligence; Computer languages; Humans; Intelligent robots; Java; Roads; Space technology; Telephony; Visual BASIC;
Journal_Title :
Potentials, IEEE
DOI :
10.1109/MPOT.2007.906711