A framework for learning coordinated behavior
Pages 121 - 124
Abstract
We sketch a framework for learning structured coordinated behavior, specifically the tactical behavior of Experimental Unmanned Vehicles (XUVs). We conceptualize an XUV unit as a multiagent system (MAS) on which we impose a command structure to yield a holarchy, a hierarchy of holons, where a holon is both a whole and a part. The formalism used is a conservative extension of Statecharts, called a Parts/whole Statechart, which introduces a coordinating whole as a concurrent component on a par with the coordinated parts; wholes are related to common knowledge. We use X-classifier systems (XCSs). Exploiting Statechart semantics, we translate Statechart transitions into classifiers and define data structures that interact with an XCS.
References
[1]
Albus, J. et al. 4D/RCS: A Reference Model Architecture for Unmanned Vehicle Systems, Version 2.0, National Institute of Standards and Technology, Gaithersburg, MD, 2002.
[2]
Barwise, J. The Situation in Logic. CLSI Publications, Stanford, CA, 1989.
[3]
Chwe, M. Strategic Reliability of Communication Networks, http://www.chwe.net/michael/p.pdf, 1995.
[4]
Fagin, R., Halpern, J. Y., Moses, Y., and Vardi, M. Y. Reasoning About Knowledge. The MIT Press, Cambridge, MA, 2003.
[5]
Harel, D. Statecharts: A visual formalism for complex systems", Science of Computer Programming, 8, 3 (June 1987) 231--274.
[6]
Harel, D., Pnueli, A., Schmidt, J., and Sherman, R., On the formal semantics of Statecharts. In Proceedings of the Symposium on Logic in Computer Science (LICS '87) (Ithaca, New York, USA, June 22--25, 1987). IEEE Computer Society Press, Piscataway, NJ, 1987, 54--64.
[7]
Huhns, M. N. and Stephens, L. M. Multiagent systems and societies of agents. In Weiss, G. (ed.), Multiagent Systems. MIT Press, Cambridge, MA, 2000, 79--120.
[8]
Koestler, A. The Ghost in the Machine. Macmillan, New York, 1968.
[9]
Mikk, E., Lakhnech, Y., Siegel, M., and Holzmann, G. J. Implementing Statecharts in PROMELA/SPIN," In Proceedings of the 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques (Boca Raton, FL, Oct. 20--23, 1998). IEEE Computer Society Press, Piscataway, NJ, 1998, 90--101.
[10]
Pazzi, L. "Extending Statecharts for Representing Parts and Wholes," In Proceedings of the 23rd EUROMICRO Conference '97 New Frontiers of Information Technology (Budapest, Hungary, Sept. 1--4 1997). IEEE Computer Society Press, Piscataway, NJ, 2000, 207--214.
[11]
Wyatt, D. Applying the XCS Learning Classifier System to Continuous-Valued Data-mining Problems. Technical Report UWELCSG05-001, Learning Classifier Systems Group, University of the West of England, Bristol, UK, 2004.
Index Terms
- A framework for learning coordinated behavior
Recommendations
Towards xMOF: executable DSMLs based on fUML
DSM '12: Proceedings of the 2012 workshop on Domain-specific modelingWhen defining a domain-specific modeling language (DSML), the two key components that have to be specified are its syntax and semantics. For specifying a modeling language's abstract syntax, metamodels are the standard means. MOF provides a standardized,...
Required behavior of sequence diagrams: Semantics and conformance
Many reusable software artifacts such as design patterns and design aspects make use of UML sequence diagrams to describe interaction behaviors. When a pattern or an aspect is reused in an application, it is important to ensure that the sequence ...
Required Behavior of Sequence Diagrams: Semantics and Refinement
ICECCS '11: Proceedings of the 2011 16th IEEE International Conference on Engineering of Complex Computer SystemsSequence diagrams are a widely used design notation for describing software behavior. Many reusable software artifacts such as design patterns and design aspects make use of sequence diagrams to describe interaction behavior. When a pattern or an aspect ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 2005 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 25 June 2005
Check for updates
Author Tags
Qualifiers
- Article
Conference
GECCO05
Sponsor:
Acceptance Rates
Overall Acceptance Rate 1,669 of 4,410 submissions, 38%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 148Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 25 Dec 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in