Variety of Behaviours Through Profiles in Logic-Based Agents
In an earlier paper we  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.
KeywordsBasic Rule Logic Programming Action Execution Operational Trace Commitment Strategy
Unable to display preview. Download preview PDF.
- 1.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)Google Scholar
- 2.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)CrossRefGoogle Scholar
- 3.Dimopoulos, Y., Kakas, A.C.: Logic programming without negation as failure. In: Proc. ILPS, pp. 369–384 (1995)Google Scholar
- 5.Kakas, A.C., Mancarella, P., Dung, P.M.: The acceptability semantics for logic programs, pp. 504–519 (1994)Google Scholar
- 7.Kakas, A.C., Moraitis, P.: Argumentation based decision making for autonomous agents, Melbourne, Victoria, July 14–18, pp. 883–890 (2003)Google Scholar
- 8.Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The KGP model of agency. In: Proc. ECAI 2004 (2004)Google Scholar
- 9.Kowalski, R.A., Toni, F.: Abstract argumentation. Artificial Intelligence and Law Journal, Special Issue on Logical Models of Argumentation 4, 275–296 (1996)Google Scholar
- 11.Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. Readings in Agents, 317–328 (1997)Google Scholar
- 12.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)Google Scholar