J. Lin, S. Sedigh, und A. Miller. Proceedings of the 8th IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC '09), Chengdu, China, Seite 690-695. (2009)
L. Liu, F. Felgner, und G. Frey. Proceedings of the 9th International Conference on Modeling, Optimization and Simulation (MOSIM'12), Bordeaux, France, (2012)
P. Fritzson. Proceedings of the 7th International Wireless Communications and Mobile Computing Conference (IWCMC 2011), Istanbul, Turkey, Seite 1648-1653. (2011)
A. Newell, und H. Simon. Communications of the ACM, 19 (3):
113-126(März 1976)p. 116:
"The Physical Symbol System Hypothesis. A physical
symbol system has the necessary and sufficient
means for general intelligent action."
p. 120:
"Heuristic Search Hypothesis. The solutions to
problems are represented as symbol structures.
A physical symbol system exercises its intelligence
in problem solving by search--that is, by
generating and progressively modifying symbol
structures until it produces a solution structure."
p. 121:
"To state a problem is to designate (1) a test
for a class of symbol structures (solutions of the
problem), and (2) a generator of symbol structures
(potential solutions). To solve a problem is
to generate a structure, using (2), that satisfies
the test of (1).".