Abstract
In an earlier paper we [6] presented a declarative approach for agent control. In that work we described how control can be specified in terms of cycle theories, which define declaratively the possible alternative behaviours of agents, depending on their internal state and (their perception of) the external environment in which they are situated. This form of control has been adopted for logic-based KGP agents [8, 2]. In this paper we show how using this form of control specification we can specify different profiles of agents, how they would vary the behaviour of agents and what advantages they have with respect to factors in the application and in the environment, such as time-criticality.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Athienitou, F., Bracciali, A., Endriss, U., Kakas, A.C., Lu, W., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: Profile related properties. Technical report, SOCS deliverable (2005)
Bracciali, A., Demetriou, N., Endriss, U., Kakas, A.C., Lu, W., Mancarella, P., Sadri, F., Stathis, K., Terreni, G., Toni, F.: The KGP model of agency for global computing: Computational model and prototype implementation. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, p. 342. Springer, Heidelberg (2005)
Dimopoulos, Y., Kakas, A.C.: Logic programming without negation as failure. In: Proc. ILPS, pp. 369–384 (1995)
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, pp. 504–519 (1994)
Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: Declarative agent control. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 96–110. Springer, Heidelberg (2005)
Kakas, A.C., Moraitis, P.: Argumentation based decision making for autonomous agents, Melbourne, Victoria, July 14–18, pp. 883–890 (2003)
Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The KGP model of agency. In: Proc. ECAI 2004 (2004)
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 (LNAI), vol. 1085, pp. 510–524. Springer, Heidelberg (1996)
Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. Readings in Agents, 317–328 (1997)
Stathis, K., Kakas, A.C., Lu, W., Demetriou, N., Endriss, U., Bracciali, A.: PROSOCS: A platform for programming software agents in computational logic. In: Proc. AT2AI (2004)
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
Sadri, F., Toni, F. (2006). Variety of Behaviours Through Profiles in Logic-Based Agents. In: Toni, F., Torroni, P. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2005. Lecture Notes in Computer Science(), vol 3900. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11750734_12
Download citation
DOI: https://doi.org/10.1007/11750734_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33996-0
Online ISBN: 978-3-540-33997-7
eBook Packages: Computer ScienceComputer Science (R0)