Abstract
In this work, we extend the architecture of agents (and robots) based upon fixed, one-size-fits-all cycles of operation, by providing a framework of declarative specification of agent control. Control is given in terms of cycle theories, which define in a declarative way the possible alternative behaviours of agents, depending on the particular circumstances of the (perceived) external environment in which they are situated, on the internal state of the agents at the time of operation, and on the agents’ behavioural profile. This form of control is adopted by the KGP model of agency and has been successfully implemented in the PROSOCS platform. We also show how, via cycle theories, we can formally verify properties of agents’ behaviour, focusing on the concrete property of agents’ interruptibility. Finally, we give some examples to show how different cycle theories give rise to different, heterogeneous agents’ behaviours.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bordini, R.H., Bazzan, A.L.C., Jannone, R.O., Basso, D.M., Vicari, R.M., Lesser, V.R.: AgentSpeak(XL): Efficient intention selection in bdi agents via decision-theoretic task scheduling. In: Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems AAMAS 2002, Part III, Bologna, Italy, July 15–19, pp. 1294–1302. ACM Press, New York (2002)
Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., Lu, W., Mancarella, P., Sadri, F., Stathis, K., Terreni, G., Toni, F.: The KGP model of agency for GC: Computational model and prototype implementation. In: Proc. Global Computing 2004 Workshop. LNCS, Springer, Heidelberg (2004)
Brewka, G.: Reasoning with priorities in default logic. In: AAAI 1994, pp. 940–945. AAAI Press, Menlo Park (1994)
Dastani, M., de Boer, F.S., Dignum, F., van der Hoek, W., Kroese, M., Meyer, J.C.: Programming the deliberation cycle of cognitive robots. In: Proc. of 3rd International Cognitive Robotics Workshop (CogRob 2002), Edmonton, Alberta, Canada (2002)
Dimopoulos, Y., Kakas, A.C.: Logic programming without negation as failure. In: Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon, pp. 369–384 (1995)
FIPA Communicative Act Library Specification, Published on August 10th, 2001, available for download from the FIPA website (August 2001), http://www.fipa.org
Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.C.: Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems 2(4), 357–401 (1999)
Kakas, A.C., Mancarella, P., Dung, P.M.: The acceptability semantics for logic programs. In: Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, pp. 504–519 (1994)
Kakas, A.C., Moraitis, P.: Argumentation based decision making for autonomous agents. In: Rosenschein, J.S., Sandholm, T., Wooldridge, M., Yokoo, M. (eds.) Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems AAMAS 2003, Melbourne, Victoria, July 14–18, pp. 883–890. ACM Press, New York (2003)
Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The KGP model of agency. In: Lopez de Mantaras, R., Saitta, L. (eds.) Proceedings of the Sixteenth European Conference on Artificial Intelligence, Valencia, Spain ECAI 2004, August 2004. IOS Press, Amsterdam (2004)
Kowalski, R.A., Sadri, F.: From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence 25(3/4), 391–419 (1999)
Kowalski, R.A., Toni, F.: Abstract argumentation. Artificial Intelligence and Law Journal, Special Issue on Logical Models of Argumentation 4, 275–296 (1996)
Prakken, H., Sartor, G.: A system for defeasible argumentation, with defeasible priorities. In: Gabbay, D.M., Ohlbach, H.J. (eds.) FAPR 1996. LNCS, vol. 1085, pp. 510–524. Springer, Heidelberg (1996)
Rao, A.S., Georgeff, M.: BDI Agents: from theory to practice. In: Proceedings of the First International Conference on Multiagent Systems, San Francisco, California, USA, June 1995, pp. 312–319 (1995)
Shoham, Y.: Agent-oriented programming. Artificial Intelligence 60(1), 51–92 (1993)
Stathis, K., Kakas, A.C., Lu, W., Demetriou, N., Endriss, U., Bracciali, A.: PROSOCS: a platform for programming software agents in computational logic, Vienna, Austria, April 13-16, pp. 523–528 (2004). Extended version to appear in a special issue of Applied Artificial Intelligence. Taylor & Francis, Abington (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F. (2005). Declarative Agent Control. In: Leite, J., Torroni, P. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2004. Lecture Notes in Computer Science(), vol 3487. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11533092_6
Download citation
DOI: https://doi.org/10.1007/11533092_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28060-6
Online ISBN: 978-3-540-31857-6
eBook Packages: Computer ScienceComputer Science (R0)