article

Free access

Outline for a Logical Theory of Adaptive Systems

Author:

John H. HollandAuthors Info & Claims

Journal of the ACM (JACM), Volume 9, Issue 3

Pages 297 - 314

https://doi.org/10.1145/321127.321128

Published: 01 July 1962 Publication History

PDF eReader

References

[1]

BVRKS, A. W Computation, behavior and structure in fixed and growing au~oma~ In Self-Or#an~zing Systems, Pergamon Press (1960).

Google Scholar

[2]

BvRKs, A. W., and ttao WANQ. "The Logic of Automata," J. ACM ~, (1957) 193-218, 279-297.

Crossref

Google Scholar

[3]

Cr~vaca, A. Applientlon of reeursive arithmetic to the problem of circuit synthesis. In Summer inst,tute for Symbolic Logic Summaries, Institute for Defense Analysis (1957).

Google Scholar

[4]

CRAIG, W. Linear reasoning. A new form of the Herbrund-Gentzen theorem. J. Symbolic Logic P~, No. 3, (1957) 250-268.

Google Scholar

[5]

FIS~R, 1~. A. The Genetzcal Theory of Natural Selection. Dover (1958).

Google Scholar

[6]

GELERNTER, }={. L., and ROCHESTER, N. Intelligent behavior in problem-solving machines. IBM J. Res. Day. 2, No. 4, (1958) 336-345.

Google Scholar

[7]

HOLLAND, J. I-l. A universal computer capable of executing an arbitrary number of sub-programs simultaneously. Prec. Eastern Joint Comp. Conf. (1959) 108-113.

Google Scholar

[8]

tIoLL~m), J.H. Iterative circuit computers. Prec. Western Joint Comp. Conf. (1960) 259-265.

Google Scholar

[9]

JAXOWATZ, C. V.; SavEr, R. L.; and WHI~, G.M. Adaptive waveform rccognition. GE Research Lab Report 60-RL-2435 E (1960).

Google Scholar

[10]

LYNDON, R.C. An interpolation theorem in the predicate calculus. Pacific J. Math. 9, No. 1, (1959) 129-142.

Google Scholar

[11]

MINSK~, M. "Steps Toward Artificial Intelligence," Prec. IRE, $9, No. 1, (1961) 8--30.

Google Scholar

[12]

MOORE, E.F. Machine models of self-reproduction. Paper presented at meeting of Amer. Math. See, Cambridge, Mass. October, 1959.

Google Scholar

[13]

NEWV.L~, A.; S~xw, J. C.; and Sz~ON, H. A. A variety of intelligent learning in a general problem solver. In Self-Organizing System~, Pergamon Press (1960).

Google Scholar

[14]

NEWEh~, A. On programming a highly parallel machine to be an intelligent technician. Prec. Western Joint Comp. Conf. (1960) 267-282.

Google Scholar

[15]

RxmN, M. O., and SCOT~, D. Finite automata and their decision problems. IBM J. Res. Day. 3~ No. 2, (1959) 114-125.

Google Scholar

[16]

S~MUEL, A.L. Some studies in machine learning, using the game of checkers. IBM J. Res. Day. 8, No. 3, (1959) 210~229.

Google Scholar

[17]

SELFRIDGE, O.G. Pandemonium, a paradigm for learning. In Mechanizatwn of Thought Processes, Nat'l. Phys. Lab. Symp. No. 10, tter Majesty's Stationery Office (1959).

Google Scholar

[18]

TURING, A.M. On computable numbers, with an application to the entscheidungsproblem. Prec. Lend. Math. Soc. (2), 48, (1936) 230-265.

Google Scholar

[19]

TURINa, A. M. Computing machinery and intelligence. Mind 59, (1950) 433-460.

Google Scholar

[20]

TURING, A.M. The chemical basis of morphogenesis, Phil. Trans. Roy. Soc. ser. B 287, (1952) 37 ft.

Google Scholar

[21]

yon NEUM_~NN, J. and I~ORGENSTERN, 0. Theory of Games and Economic Behavior. Princeton (1947).

Google Scholar

[22]

vo~ NEUMANN, J. The general and logical theory of automata. In Cerebral Mechanisms in Behavior--The Hixon Symposium. Wiley (1951).

Google Scholar

[23]

vo:~ NEW~.~'~N, J. The theory of automata. Construction, reproduction, homogeneity. Unpublished manuscript.

Google Scholar

[24]

WR~GI~T, S. Physiological genetics, ecology of populations, and natural selection In The Evolution of Life, Chicago (1960).

Google Scholar

Cited By

View all

Silva CFernandes M(2025)New Approach of Blind Adaptive Equalizer Based on Genetic AlgorithmsTelecom10.3390/telecom60100066:1(6)Online publication date: 10-Jan-2025
https://doi.org/10.3390/telecom6010006
Sousa JLuís RSantos RMendonça LVieira S(2024)Fuzzy Multi-Item Newsvendor Problem: An Application to Inventory ManagementMathematics10.3390/math1211165212:11(1652)Online publication date: 24-May-2024
https://doi.org/10.3390/math12111652
Zheng JChen THe JWang ZGao B(2024)Review on Security Range Perception Methods and Path-Planning Techniques for Substation Mobile RobotsEnergies10.3390/en1716410617:16(4106)Online publication date: 18-Aug-2024
https://doi.org/10.3390/en17164106
Show More Cited By

Index Terms

Outline for a Logical Theory of Adaptive Systems
1. Applied computing
  1. Life and medical sciences
2. Theory of computation
  1. Formal languages and automata theory

Recommendations

Defining adaptivity and logical architecture for engineering (smart) self-adaptive cyber–physical systems
Abstract Context:
Modern cyber–physical systems (CPSs) are embedded in the physical world and intrinsically operate in a continuously changing and uncertain environment or operational context. To meet their business goals and preserve or even improve ...
Highlights
- The community lacks a precise definition of adaptivity and self-adaptive systems.
- This paper formally defines the notion of system adaptivity.
- Logical architecture for engineering autonomous and decentralised self-adaptive CPSs.
...
Logical Foundations of Cyber-Physical Systems
Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory
CSE '13: Proceedings of the 2013 IEEE 16th International Conference on Computational Science and Engineering

Cyber Physical Systems(CPS) combines the interactions between control processes and physical processes. Behaviors of the interactions in Cyber Physical Systems are divided into discrete dynamics and continuous dynamics. The interactions must be time-...

Comments

Information & Contributors

Information

Published In

Journal of the ACM Volume 9, Issue 3

July 1962

111 pages

ISSN:0004-5411

EISSN:1557-735X

DOI:10.1145/321127

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1962

Published in JACM Volume 9, Issue 3

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

760
Total Citations
View Citations
4,627
Total Downloads

Downloads (Last 12 months)626
Downloads (Last 6 weeks)63

Reflects downloads up to 09 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Silva CFernandes M(2025)New Approach of Blind Adaptive Equalizer Based on Genetic AlgorithmsTelecom10.3390/telecom60100066:1(6)Online publication date: 10-Jan-2025
https://doi.org/10.3390/telecom6010006
Sousa JLuís RSantos RMendonça LVieira S(2024)Fuzzy Multi-Item Newsvendor Problem: An Application to Inventory ManagementMathematics10.3390/math1211165212:11(1652)Online publication date: 24-May-2024
https://doi.org/10.3390/math12111652
Zheng JChen THe JWang ZGao B(2024)Review on Security Range Perception Methods and Path-Planning Techniques for Substation Mobile RobotsEnergies10.3390/en1716410617:16(4106)Online publication date: 18-Aug-2024
https://doi.org/10.3390/en17164106
Peterson L(2024)Optimization of Classifier Ensemble DiversityAcademia Molecular Biology and Genomics10.20935/AcadMolBioGen72881:1Online publication date: 30-Jul-2024
https://doi.org/10.20935/AcadMolBioGen7288
Zhang YLiu XXu ZZhang QWang CZheng Z(2024)Spatial-spectral encoding and dictionary optimization in compressive single-pixel hyperspectral imaging based on mutual coherence minimizationOptics Express10.1364/OE.53191732:17(29620)Online publication date: 1-Aug-2024
https://doi.org/10.1364/OE.531917
Goodarzimehr VTopal UBohlooly Fotovat M(2024)A novel approach for buckling optimization of stiffened piezolaminated composite platesJournal of Composite Materials10.1177/0021998324128856958:28(2975-2991)Online publication date: 29-Sep-2024
https://doi.org/10.1177/00219983241288569
Hayakawa KMiyashita SFujiwara NTakamido ROta J(2024)A Versatile Task Allocation System for Agricultural Operations by Formulation with a Split Delivery Vehicle Routing Problem2024 IEEE International Conference on Advanced Intelligent Mechatronics (AIM)10.1109/AIM55361.2024.10637192(1056-1060)Online publication date: 15-Jul-2024
https://doi.org/10.1109/AIM55361.2024.10637192
Srichandan SMajhi SJena SMishra KBhat R(2024)A Secure and Distributed Placement for Quality of Service-Aware IoT Requests in Fog-Cloud of Things: A Novel Joint Algorithmic ApproachIEEE Access10.1109/ACCESS.2024.339072312(56730-56748)Online publication date: 2024
https://doi.org/10.1109/ACCESS.2024.3390723
García CCamana MKoo I(2024)ACO-Based Scheme in Edge Learning NOMA Networks for Task-Oriented CommunicationsIEEE Access10.1109/ACCESS.2024.337463512(37692-37701)Online publication date: 2024
https://doi.org/10.1109/ACCESS.2024.3374635
Llenas ALamata L(2024)Digital-analog quantum genetic algorithm using Rydberg-atom arraysPhysical Review A10.1103/PhysRevA.110.042603110:4Online publication date: 3-Oct-2024
https://doi.org/10.1103/PhysRevA.110.042603
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

Defining adaptivity and logical architecture for engineering (smart) self-adaptive cyber–physical systems

Logical Foundations of Cyber-Physical Systems

Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations