Abstract
Being able to trust in a system behavior is of prime importance, particularly within the context of critical applications as embedded or real-time systems. We want to ensure that a multiagent system has a behavior corresponding to what its developers expect. The use of standard techniques to validate a system does not guarantee it against the occurence of errors in real condition of execution. So, we propose an additional approach of dynamic self-monitoring and self-regulation such that an agent might control, in real condition, its own behavior. Our approach consists in providing the agents with a set of laws that they have to respect throughout their execution. This paper presents a framework which generates agents capable of self-control from an agent model, a behavior description and laws. For that, the framework modifies the agents program by injecting, some checkpoints allowing the detection of particular events. The laws are represented in the agents by Petri nets connected to the checkpoints in order to verify the agreement between their behavior and the laws. The principles of the framework are illustrated on an example.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barber, K.S., Martin, C.E.: Agent autonomy: Specification, measurement and dynamic adjustment. In: Proc. of the Autonomy Control Software workshop at Autonomous Agents, May 1999, pp. 8–15 (1999)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)
de Sousa Dias, M., Richardson, D.J.: Issues on software monitoring. Technical report, Department of Information and Computer Science, University of California (July 2002)
Diaz, M., Juanole, G., Courtiat, J.-P.: Observer-a concept for formal on-line validation of distributed systems. IEEE Trans. Softw. Eng. 20(12), 900–913 (1994)
Feather, M.S., Fickas, S., van Lamsweerde, A., Ponsard, C.: Reconciling System Requirements and Runtime Behavior. In: Proceedings of IWSSD 1999, Isobe, Japan (1998)
Huang, Y., Kintala, C.: Software fault tolerance in the application layer. In: Software Fault Tolerance (1995)
Janicki, R., Koutny, M.: On causality semantics of nets with priorities. Fundamenta Informaticae (38), 223–255 (1999)
Lam, D.N., Barber, K.S.: Debugging agent behavior in an implemented agent system. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2004. LNCS (LNAI), vol. 3346, pp. 104–125. Springer, Heidelberg (2005)
Liao, Y., Cohen, D.: A specificational approach to high level program monitoring and measuring. IEEE Trans. Software Engineering 18(11) (November 1992)
Lumpp, J.E., Casavant, T.L., Siegle, H.J., Marinescu, D.C.: Specification and identification of events for debugging and performance monitoring of distributed multiprocessor systems. In: Proceedings of the 10th International Conference on Distributed Systems, June 1990, pp. 476–483 (1990)
Mahrenholz, D., Spinczyk, O., Schröder-Preikschat, W.: Program instrumentation for debugging and monitoring with AspectC++. In: Proc. of the 5th IEEE International symposium on Object-Oriented Real-time Distributed Computing, Washington DC, USA, April 29 – May 1 (2002)
Mansouri-Samani, M.: Monitoring of Distributed Sytems. PhD thesis, University of London, London, UK (1995)
Meyer, J.J.C.: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic 29(1) (1988)
Paes, R., Carvalho, G., Lucena, C., Alencar, P., Almeida, H., Silva, V.: Specifying laws in open multi-agent systems. In: ANIREM, Utrecht (July 2005)
Vázquez-Salceda, J., Aldewerld, H., Dignum, F.: Implementing norms in multiagent systems. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol. 3187, pp. 313–327. Springer, Heidelberg (2004)
von Wright, G.H.: Deontic logic. Mind 60(237), 1–15 (1951)
Wampler, D.: The future of aspect oriented programming, White Paper (2003), available on, http://www.aspectprogramming.com
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chopinaud, C., El Fallah Seghrouchni, A., Taillibert, P. (2006). Dynamic Self-control of Autonomous Agents. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds) Programming Multi-Agent Systems. ProMAS 2005. Lecture Notes in Computer Science(), vol 3862. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11678823_3
Download citation
DOI: https://doi.org/10.1007/11678823_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-32616-8
Online ISBN: 978-3-540-32617-5
eBook Packages: Computer ScienceComputer Science (R0)