Abstract
We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is seen as an agent developed using Computational Logic tools and techniques. We model a KGP agent by relying upon a collection of capabilities, which are then used to define a collection of transitions, to be used within logically specified, context sensitive control theories, which we call cycle theories. In close relationship to the declarative model, the computational model mirrors the logical architecture by specifying appropriate computational counterparts for the capabilities and using these to give the computational models of the transitions. These computational models and the one specified for the cycle theories are all based on, and are significant extensions of, existing proof procedures for abductive logic programming and logic programming with priorities. We also discuss a prototype implementation of the overall computational model for KGP.
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
Gorgias User Guide (2003), http://www.cs.ucy.ac.cy/~nkd/gorgias/
Alberti, M., Bracciali, A., Chesani, F., Endriss, U., Gavanelli, M., Lu, W., Stathis, K., Torroni, P.: SOCS prototype. Technical report, SOCS Consortium (2003), Deliverable D9
Bell, J.: A Planning Theory of Practical Rationality. In: Proceedings of AAAI 1995 Fall Symposium on Rational Agency, pp. 1–4. AAAI Press, Menlo Park (1995)
Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artificial Intelligence 93, 63–101 (1997)
Bracciali, A., Demetriou, N., Endriss, U., Gavanelli, M., Kakas, A.C., Lamma, E., Mancarella, P., Mello, P., Moraitis, P., Sadri, F., Stathis, K., Terreni, G., Toni, F., Torroni, P.: Computational model for computees and societies of computees. Technical report, SOCS Consortium (2003), Deliverable D8
Bracciali, A., Kakas, A.: Frame consistency: Reasoning with explanations. In: Proceedings of the 10th International Workshop on “Non-Monotonic Reasoning” (NMR 2004), Whistler BC, Canada (2004)
Chesani, F., Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: The SOCS computational logic approach to the specification and verification of agent societies. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 314–339. Springer, Heidelberg (2005)
Clark, K.L.: Negation as Failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293–322. Plenum Press, New York (1978)
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)
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77, 321–357 (1995)
Endriss, U., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: The CIFF proof procedure for abductive logic programming with constraints. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol. 3229, pp. 31–43. Springer, Heidelberg (2004)
Endriss, U., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: Abductive logic programming with CIFF: implementation and applications. In: Proceedings CILC 2004, Convegno Italiano di Logica Computazionale (2004)
Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33(2), 151–165 (1997)
Haugeneder, H., Steiner, D., McCabe, F.: IMAGINE: A framework for building multi-agent systems. In: Deen, S.M. (ed.) Proceedings of the 1994 International Working Conference on Cooperating Knowledge Based Systems (CKBS 1994), DAKE Centre, University of Keele, UK, pp. 31–64 (1994)
Huang, Z., Eliens, A., de Bra, P.: An Architecture for Web Agents. In: Proceedings of EUROMEDIA 2001, SCS (2001)
Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming 19-20, 503–582 (1994)
Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: A logic-based approach to model computees. Technical report, SOCS Consortium (2003), Deliverable D4
Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The KGP model of agency. In: Proceedings ECAI 2004 (to appear, 2004)
Kakas, A.C., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5, pp. 235–324. Oxford University Press, Oxford (1998)
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., Miller, R.: A simple declarative language for describing narratives with ations. Logic Programming 31 (1997)
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, pp. 883–890. ACM Press, New York (2003)
Kakas, A.C., Toni, F.: Computing argumentation in logic programming. Journal of Logic and Computation 9, 515–562 (1999)
Kakas, A.C., van Nuffelen, B., Denecker, M.: A-System: Problem solving through abduction. In: Nebel, B. (ed.) Proceedings of the 17th International Joint Conference on Artificial Intelligence, Seattle, Washington, USA, August 2001, pp. 591–596. Morgan Kaufmann Publishers, San Francisco (2001)
Kowalski, R.A., Toni, F.: Abstract argumentation. Artificial Intelligence and Law Journal, Special Issue on Logical Models of Argumentation 4(3-4), 275–296 (1996)
Kowalski, R.A.: Logic for Problem Solving. North-Holland, Amsterdam (1979)
Kowalski, R.A.: Problems and promises of computational logic. In: Proceedings of the Symposium on Computational Logic, pp. 1–36. Springer, Heidelberg (1990)
Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67–95 (1986)
Lloyd, J.W.: Foundations of Logic Programming, 2nd extended edn. Springer, Heidelberg (1987)
Prakken, H., Sartor, G.: A System for Defeasible Argumentation, with Defeasible Priorities, pp. 510–524 (1996)
Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics 7(1) (1997)
Shanahan, M.P.: Prediction is deduction but explanation is abduction. In: Proceedings of the 11th International Joint Conference on Artificial Intelligence, pp. 1055–1060 (1989)
Shanahan, M.: Solving the Frame Problem. MIT Press, Cambridge (1997)
SICStus Prolog user manual, release 3.8.4, Swedish Institute of Computer Science (2000)
Stathis, K., Child, C., Lu, W., Lekeas, G.K.: Agents and Environments. Technical report, SOCS Consortium, IST32530/CITY/005/DN/I/a1 (2002)
Stathis, K., Kakas, A., Lu, W., Demetriou, N., Endriss, U., Bracciali, A.: PROSOCS: a platform for programming software agents in computational logic. In: Müller, J., Petta, P. (eds.) Proceedings of From Agent Theory to Agent Implementation (AT2AI-4 – EMCSR 2004 Session M), Vienna, Austria, pp. 523–528 (2004)
Steiner, D.E., Haugeneder, H., Mahling, D.: Collaboration of knowledge bases via knowledge based collaboration. In: Deen, S.M. (ed.) CKBS 1990 — Proceedings of the International Working Conference on Cooperating Knowledge Based Systems, pp. 113–133. Springer, Heidelberg (1991)
Toni, F., Stathis, K.: Access-as-you-need: a computational logic framework for flexible resource access in artificial societies. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS, vol. 2577, pp. 126–140. Springer, Heidelberg (2003)
Traversat, B., Abdelaziz, M., Doolin, D., Duigou, M., Hugly, J.C., Pouyoul, E.: Project JXTA-C: Enabling a web of things. In: Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS 2003), pp. 282–287. IEEE Press, Los Alamitos (2003)
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
Bracciali, A. et al. (2005). The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. In: Priami, C., Quaglia, P. (eds) Global Computing. GC 2004. Lecture Notes in Computer Science, vol 3267. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31794-4_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-31794-4_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24101-0
Online ISBN: 978-3-540-31794-4
eBook Packages: Computer ScienceComputer Science (R0)