The KGP model of agency for Global Computing: Computational model and prototype implementation

Lecture Notes in Computer Science

Volumn 3267, Issue , 2005, Pages 340-367

  Bracciali, A ^a   Demetriou, N ^b   Endriss, U ^c   Kakas, A ^b   Lu, W ^d   Mancarella, P ^a   Sadri, F ^c   Stathis, K ^a,d   Terreni, G ^a   Toni, F ^a,c  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF CYPRUS   (Cyprus)

^c IMPERIAL COLLEGE LONDON   (United Kingdom)

^d CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS AGENTS; COMPUTER ARCHITECTURE; COMPUTER SIMULATION; LOGIC PROGRAMMING; MATHEMATICAL MODELS;

COMPUTATIONAL LOGIC TOOLS; COMPUTATIONAL MODELS; CONTROL THEORIES; GLOBAL COMPUTING;

RAPID PROTOTYPING;

EID: 23944483481     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31794-4_18     Document Type: Conference Paper

References (39)

1. Gorgias User Guide: http://www.es.ucy.ac.cy/~nkd/gorgias/, 2003.
2. M. Alberti, A. Bracciali, F. Chesani, U. Endriss, M. Gavanelli, W. Lu, K. Stathis, and P. Torroni. SOCS prototype. Technical report, SOCS Consortium, 2003. Deliverable D9.
3. J. Bell. A Planning Theory of Practical Rationality. In Proceedings of AAAI'95 Fall Symposium on Rational Agency, pages 1-4. AAAI Press, 1995.
4. A. Bondarenko, P. M. Dung, R. A. Kowalski, and F. Toni. An abstract, argumentation-theoretic approach to default reasoning. Artificial Intelligence, 93:63-101, 1997.
5. A. Bracciali, N. Demetriou, U. Endriss, M. Gavanelli, A. C. Kakas, E. Lamma, P. Mancarella, P. Mello, P. Moraitis, F. Sadri, K. Stathis, G. Terreni, F. Toni, and P. Torroni. Computational model for computees and societies of computees. Technical report, SOCS Consortium, 2003. Deliverable D8.
6. A. Bracciali and A. Kakas. Frame consistency: Reasoning with explanations. In Proceedings of the 10th International Workshop on "Non-Monotonic Reasoning" (NMR2004), Whistler BC, Canada, 2004.
7. F. Chesani, M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. The SOCS computational logic approach to the specification and verification of agent societies. 2004. This volume.
8. K. L. Clark. Negation as Failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293-322. Plenum Press, 1978.
9. Y. Dimopoulos and A. C. Kakas. Logic programming without negation as failure. In Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon, pages 369-384, 1995.
10. P. M. Dung. On the acceptability of arguments and its fundamental role in non-monotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77:321-357, 1995.
11. U. Endriss, P. Mancarella, F. Sadri, G. Terreni, and F. Toni. The CIFF proof procedure for abductive logic programming with constraints. In Proceedings JELIA04. To appear.
12. U. Endriss, P. Mancarella, F. Sadri, G. Terreni, and F. Toni. Abductive logic programming with CIFF: implementation and applications. In Proceedings CILC2004, Convegno Italiano di Logica Computazionale, 2004.
13. T. H. Fung and R. A. Kowalski. The IFF proof procedure for abductive logic programming. Journal of Logic Programming, 33(2):151-165, Nov. 1997.
14. H. Haugeneder, D. Steiner, and F. McCabe. IMAGINE: A framework for building multi-agent systems. In S. M. Deen, editor, Proceedings of the 1994 International Working Conference on Cooperating Knowledge Based Systems (CKBS-94), pages 31-64, DAKE Centre, University of Keele, UK, 1994.
15. Z. Huang, A. Eliens, and P. de Bra. An Architecture for Web Agents. In Proceedings of EUROMEDIA'01. SCS, 2001.
16. J. Jaffar and M. Maher. Constraint logic programming: a survey. Journal of Logic Programming, 19-20:503-582, 1994.
17. A. Kakas, P. Mancarella, F. Sadri, K. Stathis, and F. Toni. A logic-based approach to model computees. Technical report, SOCS Consortium, 2003. Deliverable D4.
18. A. Kakas, P. Mancarella, F. Sadri, K. Stathis, and F. Toni. The KGP model of agency. In Proceedings ECAI2004, 2004. To appear.
19. A. C. Kakas, R. A. Kowalski, and F. Toni. The role of abduction in logic programming. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 5, pages 235-324. Oxford University Press, 1998.
20. A. C. Kakas, P. Mancarella, and P. M. Dung. The acceptability semantics for logic programs. In Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, pages 504-519, 1994.
21. A. C. Kakas and R. Miller. A simple declarative language for describing narratives with ations. Logic Programming, 31, 1997.
22. A. C. Kakas and P. Moraitis. Argumentation based decision making for autonomous agents. In J. S. Rosenschein, T. Sandholm, M. Wooldridge, and M. Yokoo, editors, Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2003), pages 883-890, Melbourne, Victoria, 2003. ACM Press.
23. A. C. Kakas and F. Toni. Computing argumentation in logic programming. Journal of Logic and Computation, 9:515-562, 1999.
24. A. C. Kakas, B. van Nuffelen, and M. Denecker. A-System: Problem solving through abduction. In B. Nebel, editor, Proceedings of the 17th International Joint Conference on Artificial Intelligence, pages 591-596, Seattle, Washington, USA, August 2001. Morgan Kaufmann Publishers.
25. R. Kowalski and F. Toni. Abstract argumentation. Artificial Intelligence and Law Journal, Special Issue on Logical Models of Argumentation, 4(3-4):275-296, 1996. Kluwer Academic Publishers.
26. R. A. Kowalski. Logic for Problem Solving. North-Holland, 1979.
27. R. A. Kowalski. Problems and promises of computational logic. In Proceedings of the Symposium on Computational Logic, pages 1-36. Springer-Verlag, 1990.
28. R. A. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67-95, 1986.
29. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 2nd extended edition, 1987.
30. H. Prakken and G. Sartor. A System for Defeasible Argumentation, with Defeasible Priorities, pages 510-524. 1996.
31. H. Prakken and G. Sartor. Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics, 7(1), 1997.
32. M. Shanahan. Prediction is deduction but explanation is abduction. In Proceedings of the 11th International Joint Conference on Artificial Intelligence, pages 1055-1060, 1989.
33. M. Shanahan. Solving the Frame Problem. MIT Press, 1997.
34. SICStus Prolog user manual, release 3.8.4, 2000. Swedish Institute of Computer Science.
35. K. Stathis, C. Child, W. Lu, and G. K. Lekeas. Agents and Environments. Technical report, SOCS Consortium, 2002. IST32530/CITY/005/DN/I/al.
36. K. Stathis, A. Kakas, W. Lu, N. Demetriou, U. Endriss, and A. Bracciali. PROSOCS: a platform for programming software agents in computational logic. In J. Müller and P. Petta, editors, Proceedings of From Agent Theory to Agent Implementation (AT2AI-4 - EMCSR'2004 Session M), pages 523-528, Vienna, Austria, 2004.
37. D. E. Steiner, H. Haugeneder, and D. Mahling. Collaboration of knowledge bases via knowledge based collaboration. In S. M. Deen, editor, CKBS-90 -Proceedings of the International Working Conference on Cooperating Knowledge Based Systems, pages 113-133. Springer Verlag, 1991.
38. F. Toni and K. Stathis. Access-as-you-need: a computational logic framework for flexible resource access in artificial societies. In Proceedings of the Third International Workshop on Engineering Societies in the Agents World (ESAW'02), volume 2577 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 2002.
39. B. Traversat, M. Abdelaziz, D. Doolin, M. Duigou, J. C. Hugly, and E. Pouyoul. Project JXTA-C: Enabling a web of things. In Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS'03), pages 282-287. IEEE Press, 2003.