B. Kulvatunyou, E. Wallace, N. Ivezic, and Y. Lee. Advances in Production Management Systems: Innovative and Knowledge-Based Production Management in a Global-Local World: IFIP WG 5.7 International Conference, APMS 2014, Ajaccio, France, September 20--24, 2014, Proceedings, Part II, volume 439 of IFIP Advances in Information and Communication Technology, Springer, Heidelberg, (2014)
K. Thoben, J. Pöppelbuß, S. Wellsandt, M. Teucke, and D. Werthmann. Advances in Production Management Systems: Innovative and Knowledge-Based Production Management in a Global-Local World (Part I), volume 438 of IFIP Advances in Information and Communication Technology, Springer, Heidelberg, (2014)
S. Wiesner, C. Gorldt, M. Soeken, K. Thoben, and R. Drechsler. Advances in Production Management Systems: Innovative and Knowledge-Based Production Management in a Global-Local World (Part I), volume 438 of IFIP Advances in Information and Communication Technology, Springer, Heidelberg, (2014)
J. Lin, S. Sedigh, and A. Miller. Proceedings of the 8th IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC '09), Chengdu, China, page 690-695. (2009)
L. Liu, F. Felgner, and 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, page 1648-1653. (2011)
A. Newell, and H. Simon. Communications of the ACM, 19 (3):
113-126(March 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).".