Computational logic foundations of KGP agents

Journal of Artificial Intelligence Research

Volumn 33, Issue , 2008, Pages 285-348

  Kakas, Antonis ^a   Mancarella, Paolo ^b   Sadri, Fariba ^c   Stathis, Kostas ^d   Toni, Francesca ^c  

^a UNIVERSITY OF CYPRUS   (Cyprus)

^b UNIVERSITY OF PISA   (Italy)

^c IMPERIAL COLLEGE LONDON   (United Kingdom)

^d UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; KNOWLEDGE BASED SYSTEMS;

AGENT ARCHITECTURES; AGENT PREFERENCES; COMPUTATIONAL LOGIC; DYNAMIC ENVIRONMENTS; HETEROGENEOUS AGENTS; PHYSICAL CAPABILITIES; REACTIVE BEHAVIOUR; SELECTION OPERATORS;

LOGIC PROGRAMMING;

EID: 70349871882     PISSN: None     EISSN: 10769757     Source Type: Journal    
DOI: 10.1613/jair.2596     Document Type: Article

References (65)

1. Alechina, N., Bordini, R. H., HÜbner, J. F., Jago, M., & Logan, B. (2006). Belief Revision for AgentSpeak Agents. In Nakashima, H., Wellman, M. P., Weiss, G., & Stone, P. (Eds.), 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), pp. 1288-1290, Hakodate, Japan. ACM.
2. Arisha, K. A., Ozcan, F., Ross, R., Subrahmanian, V. S., Eiter, T., & Kraus, S. (1999). IMPACT: a Platform for Collaborating Agents. IEEE Intelligent Systems, 14 (2), 64-72.
3. Balduccini, M., & Gelfond, M. (2008). The AAA Architecture: An Overview. In In AAAI Spring Symposium on Architectures for Intelligent Theory-Based Agents (AITA08).
4. Baral, C., & Gelfond, M. (2001). Reasoning agents in dynamic domains. In Logic-based Artificial intelligence, pp. 257-279. Kluwer Academic Publishers, Norwell, MA, USA.
5. Bell, J. (1995). A Planning Theory of Practical Rationality. In Proceedings of AAAI'95 Fall Symposium on Rational Agency, pp. 1-4. AAAI Press.
6. Bordini, R. H., & HÜbner, J. F. (2005). BDI Agent Programming in AgentSpeak using Jason (Tutorial Paper). In Toni, F., & Torroni, P. (Eds.), Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, Lecture Notes in Computer Science, pp. 143-164. Springer.
7. Bracciali, A., & Kakas, A. (2004). Frame consistency: Reasoning with explanations. In Proceedings of the 10th International Workshop on \Non-Monotonic Reasoning" (NMR2004), Whistler BC, Canada.
8. Bracciali, A., Demetriou, N., Endriss, U., Kakas, A. C., Lu, W., Mancarella, P., Sadri, F., Stathis, K., Terreni, G., & Toni, F. (2004). The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. In Priami, C., & Quaglia, P. (Eds.), Global Computing, pp. 340-367, Rovereto, Italy. Springer.
9. Bracciali, A., Endriss, U., Demetriou, N., Kakas, A. C., Lu, W., & Stathis, K. (2006). Crafting the Mind of PROSOCS Agents. Applied Artificial Intelligence, 20 (2-4), 105-131.
10. Bratman, M., Israel, D., & Pollack, M. (1988). Plans and resource-bounded practical reasoning. Computational Intelligence, 4.
11. Broersen, J., Dastani, M., Hulstijn, J., Huang, Z., & van der Torre, L. (2001). The BOID Architecture: conficts between Beliefs, Obligations, Intentions and Desires. In Proceedings of Fifth International Conference on Autonomous Agents (Agents 2001), pp. 9-16. ACM Press, Montreal, Canada.
12. Clark, K. L. (1978). Negation as Failure. In Gallaire, H., & Minker, J. (Eds.), Logic and Data Bases, pp. 293-322. Plenum Press.
13. Costantini, S., & Tocchio, A. (2004). The DALI Logic Programming Agent-Oriented Language. In Alferes, J. J., & Leite, J. A. (Eds.), Proceedings of the 9th European Conference on Logics in Artificial Intelligence, (JELIA 2004), Vol. 3229 of Lecture Notes in Computer Science, pp. 685-688. Springer.
14. Dastani, M., de Boer, F., Dignum, F., & Meyer, J.-J. (2003). Programming Agent Deliberation: An approach illustrated using the 3APL Language. In Autonomous Agents and Mult-agent Systems (AAMAS'03), pp. 97-104, Australia.
15. Dastani, M., Hobo, D., & Meyer, J.-J. (2007). Practical Extensions in Agent Programming Languages. In Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'07). ACM Press.
16. de Bruijn, O., & Stathis, K. (2003). Socio-Cognitive Grids: The Net as a Universal Human Resource. In Kameas, A., & Streitz, N. (Eds.), Proceedings of the Conference of \Tales of the Disappearing Computer", pp. 211-218, Santorini. CTI Press.
17. De Giacomo, G., Levesque, H. J., & Sardiña, S. (2001). Incremental execution of guarded theories. ACM Transactions on Computational Logic, 2 (4), 495-525.
18. d'Inverno, M., & Luck, M. (1998). Engineering AgentSpeak(L): A Formal Computational Model. J. Log. Comput., 8 (3), 233-260.
19. FIPA Communicative Act Library Specification (2001a). Experimental Specification XC00037H. Foundation for Intelligent Physical Agents, http://www.pa.org.
20. FIPA Query Interaction Protocol (2001b). Experimental Specification XC00027F. Foundation for Intelligent Physical Agents, http://www.pa.org.
21. Fisher, M., Bordini, R., Hirsch, B., & Torroni, P. (2007). Computational Logics and Agents: A Road Map of Current Technologies and Future Trends. Computational Intelligence, 23 (1), 61-91.
22. Haugeneder, H., Steiner, D., & McCabe, F. (1994). 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-94), pp. 31-64, DAKE Centre, University of Keele, UK.
23. Hindriks, K. V., de Boer, F. S., van der Hoek, W., & Meyer, J. C. (1999). Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems, 2(4), 357-401.
24. Huang, Z., Eliens, A., & de Bra, P. (2001). An Architecture for Web Agents. In Proceedings of EUROMEDIA'01. SCS.
25. Jaffar, J., & Maher, M. (1994). Constraint logic programming: a survey. Journal of Logic Programming, 19-20, 503-582.
26. Kakas, A. C., Kowalski, R. A., & Toni, F. (1998). 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.
27. Kakas, A. C., Mancarella, P., & Dung, P. M. (1994). The acceptability semantics for logic programs. In Proceedings of the eleventh international conference on Logic programming, pp. 504-519, Cambridge, MA, USA. MIT Press.
28. Kakas, A. C., & Miller, R. (1997). A simple declarative language for describing narratives with actions. Logic Programming, 31.
29. Kakas, A. C., & Moraitis, P. (2003). 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), pp. 883-890, Melbourne, Victoria. ACM Press.
30. Kakas, A., Mancarella, P., Sadri, F., Stathis, K., & Toni, F. (2005). Declarative Agent Control. In Leite, J., & Torroni, P. (Eds.), CLIMA V: Computational Logic in Multi-Agent Systems, Vol. 3487 of Lecture Notes in Artificial Intelligence (LNAI), pp. 96-110. Springer Verlag.
31. Kakas, A. C., Kowalski, R. A., & Toni, F. (1992). Abductive Logic Programming. J. Log. Comput., 2 (6), 719-770.
32. Kakas, A. C., Mancarella, P., Sadri, F., Stathis, K., & Toni, F. (2004a). Declarative Agent Control. In Leite, J. A., & Torroni, P. (Eds.), Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Vol. 3487 of Lecture Notes in Computer Science, pp. 96-110. Springer.
33. Kakas, A. C., Mancarella, P., Sadri, F., Stathis, K., & Toni, F. (2004b). The KGP Model of Agency. In de Mántaras, R. L., & Saitta, L. (Eds.), Proceedings of the 16th Eureopean Conference on Artificial Intelligence (ECAI 2004), pp. 33-37. IOS Press.
34. Kowalski, R. A., & Sergot, M. (1986). A logic-based calculus of events. New Generation Computing, 4 (1), 67-95.
35. Kowalski, R., & Toni, F. (1996). Abstract argumentation. Artificial Intelligence and Law Journal, Special Issue on Logical Models of Argumentation, 4 (3-4), 275-296. Kluwer Academic Publishers.
36. Leite, J. A., Alferes, J. J., & Pereira, L. M. (2002). MINERVA: A dynamic logic programming agent architecture. In Intelligent Agents VIII: 8th International Workshop, ATAL 2001, Seattle, WA, USA, Revised Papers, Vol. 2333 of Lecture Notes in Articial Intelligence, pp. 141-157.
37. Levesque, H. J., Reiter, R., Lesperance, Y., Lin, F., & Scherl, R. B. (1997). GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31 (1-3), 59-83.
38. Mamdani, E. H., Pitt, J., & Stathis, K. (1999). Connected Communities from the Standpoint of Multi-agent Systems. New Generation Computing, 17 (4), 381-393.
39. Mancarella, P., Sadri, F., Terreni, G., & Toni, F. (2004). Planning partially for situated agents. In Leite, J. A., & Torroni, P. (Eds.), Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Vol. 3487 of Lecture Notes in Computer Science, pp. 230-248. Springer.
40. Miller, R., & Shanahan, M. (2002). Some alternative formulations of the event calculus. In Kakas, A. C., & Sadri, F. (Eds.), Computational Logic: Logic Programming and Beyond - Essays in Honour of Robert A. Kowalski, Vol. 2408 of Lecture Notes in Computer Science, pp. 452-490. Springer.
41. MÜller, J., Fischer, K., & Pischel, M. (1998). A Pragmatic BDI Architecture. In Huhns, M. N., & Singh, M. P. (Eds.), Readings in Agents, pp. 217-225. Morgan Kaufmann Publishers.
42. Padgham, L., & Lambrix, P. (2005). Formalisations of capabilities for BDI-agents. Autonomous Agents and Multi-Agent Systems, 10 (3), 249-271.
43. Prakken, H., & Sartor, G. (1996). A system for defeasible argumentation, with defeasible priorities. In International Conference on Formal and Applied Practical Reasoning, Springer Lecture Notes in AI 1085, pp. 510-524.
44. Prakken, H., & Sartor, G. (1997). Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics, 7 (1), 25-75.
45. Rao, A. S. (1996). AgentSpeak(L): BDI agents speak out in a logical computable language. In van Hoe, R. (Ed.), Agents Breaking Away, 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'96, Eindhoven, The Netherlands, January 22-25, 1996, Proceedings, Vol. 1038 of Lecture Notes in Computer Science, pp. 42-55. Springer-Verlag.
46. Rao, A. S., & Georgeff, M. P. (1991). Modeling Rational Agents within a BDI-architecture. In Fikes, R., & Sandewall, E. (Eds.), Proceedings of Knowledge Representation and Reasoning (KR&R-91), pp. 473-484. Morgan Kaufmann Publishers.
47. Rao, A. S., & Georgeff, M. P. (1997). Modeling rational agents within a BDI-architecture. In Huhns, M. N., & Singh, M. P. (Eds.), Readings in Agents, pp. 317-328. Morgan Kaufmann Publishers, San Francisco, CA, USA.
48. Rao, A. S., & Georgeff, M. P. (1992). An abstract architecture for rational agents. In Nebel, B., Rich, C., & R.Swartout, W. (Eds.), 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92), pp. 439-449, Cambridge, MA, USA. Morgan Kaufmann.
49. Sadri, F. (2005). Using the KGP model of agency to design applications (Tutorial Paper). In Toni, F., & Torroni, P. (Eds.), Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, Vol. 3900 of Lecture Notes in Computer Science, pp. 165-185. Springer.
50. Sadri, F., Stathis, K., & Toni, F. (2006). Normative KGP agents. Computational & Mathematical Organization Theory, 12 (2-3), 101-126.
51. Sadri, F., & Toni, F. (2005). Variety of behaviours through profiles in logic-based agents. In Toni, F., & Torroni, P. (Eds.), Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, Vol. 3900 of Lecture Notes in Computer Science, pp. 206-225. Springer.
52. Sadri, F., & Toni, F. (2006). A Formal Analysis of KGP agents. In Fisher, M., van der Hoek, W., Konev, B., & Lisitsa, A. (Eds.), Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Vol. 4160 of Lecture Notes in Computer Science, pp. 413-425. Springer.
53. Shanahan, M. (1997). Solving the Frame Problem. MIT Press.
54. Shanahan, M. (1989). Prediction is deduction but explanation is abduction. In Proceedings of the 11th International Joint Conference on Artificial Intelligence, pp. 1055-1060.
55. Shoham, Y. (1993). Agent-oriented programming. Artificial Intelligence, 60 (1), 51-92.
56. SOCS (2007). Societies Of ComputeeS: a computational logic model for the description, analysis and verification of global and open societies of heterogeneous computees.http://lia.deis.unibo.it/research/socs/.
57. Stathis, K., Child, C., Lu, W., & Lekeas, G. K. (2002). Agents and Environments. Tech. rep. Technical Report IST32530/CITY/005/DN/I/a1, SOCS Consortium, 2002. IST32530/CITY/005/DN/I/a1.
58. Stathis, K., Kakas, A., Lu, W., Demetriou, N., Endriss, U., & Bracciali, A. (2004). 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), pp. 523-528, Vienna, Austria.
59. Stathis, K., & Toni, F. (2004). Ambient Intelligence using KGP Agents. In Markopoulos, P., Eggen, B., Aarts, E. H. L., & Crowley, J. L. (Eds.), Ambient Intelligence: Proceedings of Second European Symposium, EUSAI 2004, Vol. 3295 of Lecture Notes in Computer Science, pp. 351-362. Springer.
60. Steiner, D. E., Haugeneder, H., & Mahling, D. (1991). Collaboration of knowledge bases via knowledge based collaboration. In Deen, S. M. (Ed.), CKBS-90 | Proceedings of the International Working Conference on Cooperating Knowledge Based Systems, pp. 113-133. Springer Verlag.
61. Subrahmanian, V. S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., & Ross, R. (2000). Heterogeneous Agent Systems. MIT Press/AAAI Press, Cambridge, MA, USA.
62. Thomas, S. R. (1995). The PLACA agent programming language. In Wooldridge, M. J., & Jennings, N. R. (Eds.), Intelligent Agents, pp. 355-370, Berlin. Springer-Verlag.
63. van Otterlo, M., Wiering, M., Dastani, M., & Meyer, J.-J. (2003). A Characterization of Sapient Agents. In Hexmoor, H. (Ed.), International Conference Integration of Knowledge Intensive Multi-Agent Systems (KIMAS-03), pp. 172-177, Boston, Massachusetts. IEEE.
64. Wooldridge, M. (2002). An Introduction to Multiagent Systems. John Wiley & Sons.
65. Yip, A., Forth, J., Stathis, K., & Kakas, A. C. (2005). Software Anatomy of a KGP Agent. In Gleizes, M. P., Kaminka, G. A., Nowé, A., Ossowski, S., Tuyls, K., & Verbeeck, K. (Eds.), EUMAS 2005 - Proceedings of the Third European Workshop on Multi-Agent Systems, pp. 459-472. Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten.