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.
- 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.Google Scholar
- Barwise, J. The Situation in Logic. CLSI Publications, Stanford, CA, 1989.Google Scholar
- Chwe, M. Strategic Reliability of Communication Networks, http://www.chwe.net/michael/p.pdf, 1995.Google Scholar
- Fagin, R., Halpern, J. Y., Moses, Y., and Vardi, M. Y. Reasoning About Knowledge. The MIT Press, Cambridge, MA, 2003. Google ScholarDigital Library
- Harel, D. Statecharts: A visual formalism for complex systems", Science of Computer Programming, 8, 3 (June 1987) 231--274. Google ScholarDigital Library
- 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.Google Scholar
- 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. Google ScholarDigital Library
- Koestler, A. The Ghost in the Machine. Macmillan, New York, 1968.Google Scholar
- 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. Google ScholarDigital Library
- 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.Google Scholar
- 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.Google Scholar
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