Outline for a Logical Theory of Adaptive Systems
作者： John H. Holland
关键词:
摘要:
acm.org
sci-hub.se 参考文章(17)
E.F. Moore, Machine Models of Self-Reproduction American Mathematical Society. ,(1962)
John H. Holland, Iterative circuit computers Papers presented at the May 3-5, 1960, western joint IRE-AIEE-ACM computer conference on - IRE-AIEE-ACM '60 (Western). pp. 259- 265 ,(1960) , 10.1145/1460361.1460397
Roger Lyndon, An interpolation theorem in the predicate calculus. Pacific Journal of Mathematics. ,vol. 9, pp. 129- 142 ,(1959) , 10.2140/PJM.1959.9.129
Alan Mathison Turing, The Chemical Basis of Morphogenesis Philosophical Transactions of the Royal Society B. ,vol. 237, pp. 37- 72 ,(1952) , 10.1098/RSTB.1952.0012
A. M. TURING, I.—COMPUTING MACHINERY AND INTELLIGENCE Mind. ,vol. 59, pp. 433- 460 ,(1950) , 10.1093/MIND/LIX.236.433
Marvin Minsky, Steps toward Artificial Intelligence Proceedings of the IRE. ,vol. 49, pp. 8- 30 ,(1961) , 10.1109/JRPROC.1961.287775
M. O. Rabin, D. Scott, Finite automata and their decision problems Ibm Journal of Research and Development. ,vol. 3, pp. 114- 125 ,(1959) , 10.1147/RD.32.0114
John Holland, A universal computer capable of executing an arbitrary number of sub-programs simultaneously Papers presented at the December 1-3, 1959, eastern joint IRE-AIEE-ACM computer conference on - IRE-AIEE-ACM '59 (Eastern). pp. 108- 113 ,(1959) , 10.1145/1460299.1460311
H. L. Gelernter, N. Rochester, Intelligent Behavior in Problem-Solving Machines IBM Journal of Research and Development. ,vol. 2, pp. 336- 345 ,(1958) , 10.1147/RD.24.0336
William Craig, Linear reasoning. A new form of the Herbrand-Gentzen theorem Journal of Symbolic Logic. ,vol. 22, pp. 250- 268 ,(1957) , 10.2307/2963593