Crafting the mind of prosocs agents

Applied Artificial Intelligence

Volumn 20, Issue 2-4, 2006, Pages 105-131

  Bracciali, Andrea ^a   Endriss, Ulle ^b   Demetriou, Neophytos ^c   Kakas, Antonis ^c   Lu, Wenjin ^d   Stathis, Kostas ^d  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF AMSTERDAM   (Netherlands)

^c UNIVERSITY OF CYPRUS   (Cyprus)

^d CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS AGENTS; BEHAVIORAL RESEARCH; COMPUTER SOFTWARE; CONTROL SYSTEMS; FORMAL LOGIC; MATHEMATICAL MODELS;

KGP MODEL; PROSOCS AGENTS; SOFTWARE AGENTS;

INTELLIGENT AGENTS;

EID: 33645762923     PISSN: 08839514     EISSN: 10876545     Source Type: Journal    
DOI: 10.1080/08839510500479496     Document Type: Article

References (49)

1. Global Computing, Future and Emerging Technologies, http://www.cordis.lu/ ist/fetgc.htm.
2. 3APL Platform User Guide, http://www.cs.uu.nl/3apl/download.html.
3. Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. 2006. Compliance verification of agent interaction: A logic-based software tool. Applied Artificial Intelligence 20(2-4):133-157.
4. Arisha, K. A., F. Ozean, R. Ross, V. S. Subrahmanian, T. Eiter, and S. Kraus. 1999. IMPACT: A platform for collaborating agents. IEEE Intelligent System 14(2):64-72.
5. Bellifemine, F., A. Poggi, and G. Rimassa. 2001. JADE: A FIPA2000 compliant agent development environment. In Proceedings of the Fifth International Conference on Autonomous Agents, pages 216-217. ACM Press.
6. Bondarenko, A., P. M. Dung, R. A. Kowalski, and F. Toni. 1997. An abstract, argumentation-theoretic approach to default reasoning. Artificial Intelligence 93:63-101.
7. Bracciali, A., N. Demetriou, U. Endriss, A. Kakas, W. Lu, P. Mancarella, F. Sadri, K. Stathis, G. Terreni, and F. Toni. 2004. The KGP model for global computing: Computational model and prototype implementation. In Post-Proceedings of the Global Computing 2004 Workshop LNCS 3267, pages 342-369, Rovereto, Italy. Springer-Verlag.
8. Bracciali, A. and A. Kakas. 2004. Frame consistency: Computing with frame explanations. In Proceedings of Non - monotonic Reasoning 2004, pages 79-87.
9. Bratman, M. E., D. J. Israel, and M. E. Pollack. 1988. Plans and resource-bounded practical reasoning. Computational Intelligence 4(4):349-355.
10. Carlsson, M., G. Ottosson, and B. Carlson. 1997. An open-ended finite domain constraint solver. In Proceedings of the Ninth International Symposium on Programming Languages: Implementation, Logics, and Programs LNCS 1292, pages 191-206. Springer-Verlag.
11. Clark, K. and F. McCabe. 2004. Go! - A multi-paradigm programming language for implementing multithreaded agents. Annals of Mathematics and Artificial Intelligence 41(2-4):171-206.
12. Dart, P., E. Kazmierczak, M. Martelli, V. Mascardi, L. Sterling, V. S. Subrahmanian, and F. Zini. 1999. Combining logical agents with rapid prototyping for engineering distributed applications. In Proceedings of 9th International Conference of Software Technology and Engineering (STEP'99), Pittsburgh, Pennsylvania, USA. IEEE.
13. DeGiacomo, G., Y. Lesperance, and H. J. Levesque. 2000. Congolog: A concurrent programming language based on the situation calculus. Artificial Intelligence 121(1-2):109-169.
14. DeGiacomo, G., H. J. Levesque, and S. Sardia. 2001. Incremental execution of guarded theories. ACM Transactions on Computational Logic 2(4):495-525.
15. Demetriou, N. and A. C. Kakas. 2003. Argumentation with abduction. In Proceedings of the fourth Panhellenic Symposium on Logic, Thessaloniki, Greece, July 2003.
16. Dimopoulos, Y. and A. C. Kakas. 1995. Logic programming without negation as failure. In Logic Programming, Proceedings of the 1995 International Symposium, pages 369-384, Portland, Oregon, USA.
17. Dung, P. M. 1995. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77:321-357.
18. Eiter, T. and V. Mascardi. 2002. A comparison of environments for developing software agents. AI Communications 15:169-197.
19. Endriss, U., P. Mancarella, F. Sadri, G. Terreni, and F. Toni. 2004a. Abductive logic programming with CIFF: Implementation and Applications. In Proceedings of the Convegno Italiano di Logica Computazionale (CILC-2004), University of Parma, Italy.
20. Endriss, U., P. Mancarella, F. Sadri, G. Terreni, and F. Toni. 2004b. Abductive logic programming with UFF: System description. In Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-2004), LNCS 3229, pages 680-684. Springer-Verlag.
21. Endriss, U., P. Mancarella, F. Sadri, G. Terreni, and F. Toni. 2004c. The CIFF proof procedure for abductive logic programming with constraints. In Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-2004), LNCS 3229, pages 31-43. Springer-Verlag.
22. Fung, T. H. and R. A. Kowalski. 1997. The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33(2):151-165.
23. Hindriks, K. V., F. S. de Boer, W. van der Hoek, and J. Ch. Meyer. 1999. Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems 2(4):357-401.
24. JASON. 2004. A Java-based AgentSpeak interpreter used with Saci for multi-agent distribution over the Net, http://jason.sourceforge.net/.
25. Kakas, A. C., R. A. Kowalski, and F. Toni. 1998. The role of abduction in logic programming. In: Handbook of Logic in Artificial Intelligence and Logic Programming, eds. D. M. Gabbay, C. J. Hogger, and J. A. Robinson, vol. 5, pages 235-324. Cambridge, UK: Oxford University Press.
26. Kakas, A., P. Mancarella, F. Sadri, K. Stathis, and F. Toni. 2004. The KGP model of agency. In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI'04), pages 33-37. IOS Press.
27. Kakas, A., P. Mancarella, F. Sadri, K. Stathis, and F. Toni. 2005. Declarative agent control. In Computational Logic in Multi-Agent Systems: 5th International Workshop (CLIMA V), LNCS 3487, pages 96-110. Springer-Verlag.
28. Kakas, A. C., P. Mancarella, and P. M. Dung. 1994. The acceptability semantics for logic programs. In Proceedings of the Eleventh International Conference on Logic Programming, pages 504-519, Santa Marherita Ligure, Italy. MIT Press.
29. Kakas, A. C. and P. Moraitis. (2003). Argumentation based decision making for autonomous agents. In Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2003), pages 883-890, Melbourne, Victoria. ACM Press.
30. Kakas, A. C. and F. Toni. 1999. Computing argumentation in logic programming. Journal of Logic and Computation 9:515-562.
31. Kowalski, R. A. and M. Sergot. 1986. A logic-based calculus of events. New Generation Computing 4(1):67-95.
32. Levesque, H. J., R. Reiter, Y. Lesperance, F. Lin, and R. B. Scherl. 1997. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming 31(1-3):59-83.
33. Logan, B. 1998. Classifying agent systems. In Software Tools for Developing Agents: Papers from the 1998 Workshop, eds. J. Baxter and B. Logan, pages 11-21, AAAI Press. Technical Report WS-98-10.
34. Lu, W., N. Maudet, and K. Stathis. 2003. Building socio-cognitive grids by combining peer-to-peer computing with computational logic. In Proceedings of 1st International Workshop on Socio-Cognitive Grids, pages 18-22.
35. Mancarella, P., F. Sadri, G. Terreni, and F. Toni. 2005. Planning partially for situated agents. In Computational. Logic in Multi-Agent Systems: 5th International Workshop (CLIMA V) LNCS 3487, pages 230-248. Springer-Verlag.
36. Meyer, J.-J., F. de Boer, R. van Eijk, K. Hindriks, and W. van der Hoek. 2001. On Programming KARO Agents. Journal of IGPL 9(2):245-256.
37. Nwana, H. S., D. T. Ndumu, L. C. Lee, and J. C. Collis. 1999. ZEUS: A toolkit and approach for building distributed multi-agent systems. In Proceedings of the Third International Conference on Autonomous Agents (Agents'99), pages 360-361, Seattle, Washington, USA. ACM Press.
38. Pokahr, A., L. Braubach, and W. Lamersdorf. 2003. JADEX: Implementing a BDI-Infrastructure for JADE Agents. EXP - In Search of Innovation (Special issue on JADE) 3(3):76-85.
39. Poslad, S., P. Buckle, and R. Hadingham. 2000. The FIPA-OS agent platform: Open source for open standards. In Proceedings of Practical Applications of Intelligent Agents and Multi - agent Systems'00, pages 355-368.
40. Prakken, H. and G. Sartor. 1997. Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics 7(1):22-75.
41. Rao, A. S. 1996. AgentSpeak(L): BDI agents speak out in a logical computable language. In Agents Breaking Away, Proceedings of the 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), LNCS 1038, pages 42-55. Eindhoven, The Netherlands. Springer-Verlag.
42. Ricordel, P. M. and Y. Demazeau. 2000. From analysis to deployment: A multi-agent platform survey. In Engineering Societies in the Agents World, First International Workshop (ESAW 2000), LNCS 1972, pages 93-105. Springer-Verlag.
43. Serenko, A. and B. Detlor. 2002. Agent Toolkits: A General Overview of the Market. Technical Report Working paper 455, McMaster University, Hamilton, Ontario.
44. Shanahan, M. P. 1989. Prediction is deduction but explanation is abduction. In Proceedings of the 11th International Joint Conference on Artificial Intelligence, pages 1055-1060. Morgan Kaufmann.
45. Shanahan, M. 1997. Event calculus planning revisited. In Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning LNCS 1348, pages 390-402. Springer-Verlag.
46. Stathis, K. 2002. Location-Aware SOCS: The Leaving San Vincenzo scenario. SOCS Project Technical Report IST32530/CITY/002/IN/PP/al.
47. Stathis, K., A. C. Kakas, W. Lu, N. Demetriou, U. Endriss, and A. Bracciali. 2004. PROSOCS: A platform for programming software agents in computational logic. In Proceedings of the Fourth International Symposium "From Agent Theory to Agent Implementation" (AT2AI-4), in Cybernetics and Systems 2004, 1+2: 523-528. Austrian Society for Cybernetic Studies.
48. Stathis, K. and F. Toni. 2004. Ambient intelligence using KGP agents. In Proceedings of 2nd European Symposium on Ambient Intelligence LNCS 3295, pages 351-362. Springer-Verlag.
49. Subrahmanian, V. S., P. Bonatti, J. Dix, T. Eiter, S. Kraus, F. Özcan, and R. Ross. 2000. Heterogenous Active Agents. Cambridge, MA: The MIT-Press.