DocumentCode :
1117434
Title :
Computer intelligence equals formalization
Author :
Olsen, Kai A. ; Bellucci, Andrea
Author_Institution :
Univ. of Bergen, Bergen
Volume :
26
Issue :
5
fYear :
2007
Firstpage :
16
Lastpage :
19
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;
fLanguage :
English
Journal_Title :
Potentials, IEEE
Publisher :
ieee
ISSN :
0278-6648
Type :
jour
DOI :
10.1109/MPOT.2007.906711
Filename :
4301002
Link To Document :
بازگشت