Integration by Negotiated Behavior Restrictions

In this short paper, we take a hint from biology about forming collectives. Some mammal heart muscle cells, when isolated in the laboratory, become viable single-cell animals, with many observable traits in common with other "wild" single-cell animals. That is to say, these autonomous systems (the isolated cells) give up an enormous amount of their capability (movement, certain kinds of growth, etc.) in order to form a collective that has desirable emergent properties. Our view is that there must be some kind of negotiation, via evolution in the biological case, that has each system voluntarily reducing its capabilities to integrate into a combined system, and offering some classes of functionality to the collective that are refined during the negotiation. The negotiation process must have detailed intimate knowledge of the range of capabilities of each of the participating systems, such as that inherently provided by using a Wrapping infrastructure. An important issue is that many legacy systems have no such negotiating capability, and we propose the use of another mechanism, the BrainPatch, as an add-on to perform that task.

[1]  Jörg Hähner,et al.  Controlling Negative Emergent Behavior by Graph Analysis at Runtime , 2016, ACM Trans. Auton. Adapt. Syst..

[2]  Gérard Huet,et al.  On the Uniform Halting Problem for Term Rewriting Systems , 1978 .

[3]  M. T. Burrows.  RHYTHMICAL ACTIVITY OF ISOLATED HEART MUSCLE CELLS IN VITRO. , 1912, Science.

[4]  Mitra Basu.  Guest Editor's Introduction to Special Issue on Grammatical Inference , 2005, Pattern Recognit..

[5]  D. Rubin,et al.  Maximum likelihood from incomplete data via the EM - algorithm plus discussions on the paper , 1977 .

[6]  Stefan C. Kremer,et al.  Inducing Grammars from Sparse Data Sets: A Survey of Algorithms and Results , 2003, J. Mach. Learn. Res..

[7]  Lawrence R. Rabiner,et al.  A tutorial on hidden Markov models and selected applications in speech recognition , 1989, Proc. IEEE.

[8]  Alexander Zelinsky,et al.  An architecture for distributed cooperative planning in a behaviour-based multi-robot system , 1999, Robotics Auton. Syst..

[9]  Christian Müller-Schloer,et al.  Organic computing: on the feasibility of controlled emergence , 2004, CODES+ISSS '04.

[10]  Ameet Talwalkar,et al.  Large-scale manifold learning , 2008, 2008 IEEE Conference on Computer Vision and Pattern Recognition.

[11]  Lawrence K. Saul,et al.  Think Globally, Fit Locally: Unsupervised Learning of Low Dimensional Manifold , 2003, J. Mach. Learn. Res..

[12]  K. Thompson.  Reflections on trusting trust , 1984, CACM.

[13]  Christian Müller-Schloer,et al.  Organic Computing – Technical Systems for Survival in the Real World , 2017, Autonomic Systems.

[14]  Taylor L. Booth,et al.  Grammatical Inference: Introduction and Survey-Part I , 1986, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[15]  Nelly Bencomo,et al.  Self-modeling and Self-awareness , 2017, Self-Aware Computing Systems.

[16]  Olivier Danvy,et al.  Tutorial notes on partial evaluation , 1993, POPL '93.

[17]  Jean-Pierre Jouannaud,et al.  Rewrite Systems , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[18]  Christopher Landauer,et al.  Early Work on the Brain Patch, a Reflective Service for System of Systems Integration , 2015, 2015 IEEE International Conference on Autonomic Computing.

[19]  Nachum Dershowitz,et al.  Open. Closed. Open , 2005, RTA.

[20]  Jörg Hähner,et al.  Distributed Rendering in an Open Self-Organised Trusted Desktop Grid , 2015, 2015 IEEE International Conference on Autonomic Computing.

[21]  Michel Verleysen,et al.  Learning high-dimensional data , 2001 .

[22]  Colin de la Higuera,et al.  Grammatical Inference: Learning Automata and Grammars , 2010 .

[23]  도경구,et al.  Partial Evaluation , 1998, Lecture Notes in Computer Science.

[24]  X. Huo,et al.  A Survey of Manifold-Based Learning Methods , 2007 .

[25]  Eva Onaindia,et al.  FMAP: Distributed cooperative multi-agent planning , 2014, Applied Intelligence.

[26]  Christopher Landauer.  Infrastructure for Studying Infrastructure , 2013, ESOS.

[27]  Taylor L. Booth,et al.  Grammatical Inference: Introduction and Survey - Part I , 1975, IEEE Trans. Syst. Man Cybern..

[28]  Roger S. Barga,et al.  Event Correlation and Pattern Detection in CEDR , 2006, EDBT Workshops.

[29]  Boleslaw K. Szymanski,et al.  Event Recognition in Sensor Networks by Means of Grammatical Inference , 2009, IEEE INFOCOM 2009.

[30]  Grigore Rosu,et al.  Circular coinductive rewriting , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[31]  Olivier Danvy,et al.  Partial evaluation , 2003 .

[32]  Grigore Rosu,et al.  Monitoring programs using rewriting , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[33]  Grigore Rosu,et al.  Rewriting-Based Techniques for Runtime Verification , 2005, Automated Software Engineering.

[34]  Christopher Landauer,et al.  Generic programming, partial evaluation, and a new programming paradigm , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[35]  Claudia V. Goldman,et al.  Decentralized Control of Cooperative Systems: Categorization and Complexity Analysis , 2004, J. Artif. Intell. Res..

[36]  L. Baum,et al.  A Maximization Technique Occurring in the Statistical Analysis of Probabilistic Functions of Markov Chains , 1970 .

[37]  Christopher J. C. Burges,et al.  Dimension Reduction: A Guided Tour , 2010, Found. Trends Mach. Learn..

[38]  J. Tenenbaum,et al.  A global geometric framework for nonlinear dimensionality reduction. , 2000, Science.

[39]  S T Roweis,et al.  Nonlinear dimensionality reduction by locally linear embedding. , 2000, Science.

[40]  Christopher Landauer,et al.  Self-modeling Systems , 2001, IWSAS.

[41]  Neil D. Jones,et al.  An introduction to partial evaluation , 1996, CSUR.

[42]  Serge J. Belongie,et al.  Non-isometric manifold learning: analysis and an algorithm , 2007, ICML '07.

[43]  Eva Onaindia,et al.  Global Heuristics for Distributed Cooperative Multi-Agent Planning , 2015, ICAPS.