Cooperation and competition in ALIAS: A logic framework for agents that negotiate

Annals of Mathematics and Artificial Intelligence

Volumn 37, Issue 1-2, 2003, Pages 65-91

  Ciampolini, Anna ^a   Lamma, Evelina ^b   Mello, Paola ^a   Toni, Francesca ^c   Torroni, Paolo ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF FERRARA   (Italy)

^c IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Abductive reasoning; Coordination; Dialogue; Logic agents; Negotiation

Indexed keywords

EID: 0037209528     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1020259411066     Document Type: Conference Paper

References (59)

1. ACLP: Abductive Constraint Logic Programming, available at http://www.cs.ucy.ac.cy/aclp/.
2. ALIAS: Abductive LogIc Agent System, available at http://www.lia.deis.unibo.it/Software/ALIAS/.
3. L. Amgoud, S. Parsons and N. Maudet, Arguments, dialogue and negotiation, in: Proc. of the 14th European Conference on Artificial Intelligence, Berlin, Germany, ed. W. Horn (IOS Press, August, 2000).
4. C. Baral, S. Kraus and J. Minker, Combining Multiple Knowledge Bases, IEEE Transcations Knowledge and Data Engineering 3(2) (1991) 208-220.
5. F. Barbosa and J.C. Cunha, A Coordination language for collective agent based systems: GroupLog, in: Proc. ACM SAC'00, Villa Olmo, Como, Italy (MIT Press, Cambridge, MA, 2000).
6. A. Brogi, E. Lamma, P. Mancarella and P. Mello, A unifying view for logic programming with non-monotonic reasoning, Theoretical Computer Science 184 (1997) 1-49.
7. A. Ciampolini, E. Lamma, P. Mello and P. Torroni, An implementation for abductive logic agents, in: AI*IA99, Lecture Notes in Computer Sciences, Vol. 1792 (Springer, Berlin, 2000).
8. P. Ciancarini, Coordination models and languages as software integrators, ACM Computing Surveys 28(2) (1996) 300-302.
9. K.L. Clark, Negation as failure, in: Logic and Databases, eds. H. Gallaire and J. Minker (Plenum Press, New York, 1978).
10. P. Codognet and V. Saraswat, Abduction in concurrent constraint programming, Technical Report, INRIA-Roquencourt (March 1992).
11. P.R. Cohen and H.J. Levesque, Communicative actions for artificial agents, in: Proc. 1st ICMAS, San Francisco, CA, eds. V. Lesser and L. Crasser (AAAI Press/MIR Press, 1995).
12. P.T. Cox and T. Pietrzykowski, Causes for events: Their computation and applications, in: Proc. CADE-86 (1986).
13. P. Dell'Acqua and L.M. Pereira, Updating Agents, in: Proc. ICLP Workshop on Multi-Agent Sytems in Logic Programming (MAS'99), Las Cruces, New Mexico (1999).
14. P. Dell'Acqua, F. Sadri and F. Toni, Communicating agents, in: Proc. ICLP Workshop on Multi-Agent Systems in Logic Programming (MAS'99), Las Cruces, New Mexico (1999).
15. M. Denecker and D. De Schreye, Representing incomplete knowledge in Abductive Logic Programming, in: Proc. International Logic Programming Symposium, ILPS93 (MIT Press, Cambridge, MA, 1993) pp. 147-163.
16. M. Denecker and D. De Schreye, SLDNFA: an abductive procedure for abductive logic programs, Journal of Logic Programming 34(2) (1998) 111-167.
17. P.M. Dung, On the acceptability arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artificial Intelligence 77 (1995) 321-357.
18. e User Manual Release 3.3 (ECRC, 1992).
19. K. Eshghi and R.A. Kowalski, Abduction compared with negation by failure, in: Proc. 6th International Conference on Logic Programming (MIT Press, Cambridge, MA, 1989) p. 234.
20. T. Finin, Y. Labrou and J. Mayfield, KQML as and agent communication language, in: Software Agents, ed. J. Bradshaw (MIT Press, Cambridge, MA, 1997).
21. T. Finin and G. Wiederhold, An overview of KQML: A knowledge query manipulation language, Technical Report, Department of Computer Science, Stanford University, Stanford, CA (1991).
22. FIPA (Foundation for Intelligent Physical Agents), available at http://www.fipa.org/.
23. M. Fisher, A survey of concurrent METATEM - the language and its applications, in: Proc. 1st Int. Conf. Temporal Logic, Lecture Notes in Computer Science, Vol. 827 (Springer, Berlin, 1994) pp. 480-505.
24. T.H. Fung and R.A. Kowalski, The IFF proof procedure for abductive logic programming, Journal of Logic Programming (1997).
25. D. Gelernter and N. Carriero, Coordination languages and their significance, Communications of the ACM 35(2) (1992) 97-107.
26. F. Giunchiglia and L. Serafini, Multilanguage hierarchical logics (or: How we can do without modal logics), Artificial Intelligence 65 (1994) 29-70.
27. N.R. Jennings, Automated haggling: Building artificial negotiators (invited talk), in: AISB'01 Convention, York, UK (March 2001). Also available at http://www.ecs.soton.ac.uk/nrj/download-files/negotiation.pdf.
28. A.C. Kakas and P. Mancarella, On the relation between truth maintenance and abduction, in: Proc. of the first Pacific Rim International Conference on Artificial Intelligence, PRICAI-90, Nagoyana, Japan, ed. T. Fukumura (1990) pp. 438-443.
29. A.C. Kakas, ACLP: integrating abduction and constraint solving, in: Proc. NMR'00, Breckenridge, CO (2000).
30. A.C. Kakas, R.A. Kowalski and F. Toni, The role of abduction in logic programming, in: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 5, eds. D.M. Gabbay, C.J. Hogger and J.A. Robinson (Oxford University Press, Oxford, 1998) pp. 235-324.
31. A.C. Kakas and P. Mancarella, Generalized stable models: a semantics for abduction, in: Proc. 9th European Conference on Artificial Intelligence (Pitman, 1990).
32. A.C. Kakas and G.A. Papadopoulos, Parallel abduction in logic programming, in: Proc. Internat. Symposium on Parallel Symbolic Computation PASCO94 (World Scientific, 1994) pp. 214-224.
33. S. Konieczny, On the difference between merging knowledge bases and combining them, in: Proc. KR'00, Breckenridge, CO (2000).
34. R.A. Kowalski, Problems and promises of computational logic, in: Proc. Symposium on Computational Logic (Springer, Berlin, 1990) pp. 1-36.
35. R.A. Kowalski, Using metalogic to reconcile reactive with rational agents, in: Meta-Logics and Logic Programming, eds. K. Apt and F. Turini (MIT Press, Cambridge, MA, 1995).
36. R.A. Kowalski and F. Sadri, Towards a unified agent architecture that combines rationality with reactivity, in: Proc. International Workshop on Logic in Databases, San Miniato, Italy, Lecture Notes in Computer Science, Vol. 1154 (Springer, Berlin, 1996).
37. R.A. Kowalski and F. Sadri, From logic programming to multi-agent systems, Annals of Mathematics and Artificial Intelligence 25 (1999) 391-419.
38. R.A. Kowalski, F. Sadri and F. Toni, An agent architecture that combines backward and forward reasoning, in: Proc. CADE-15 Workshop on Strategies in Automated Deduction, eds. B. Gramlich and F. Pfenning (November 1998) pp. 49-56.
39. R.A. Kowalski, F. Toni and G. Wetzel, Towards a declarative and efficient glass-box clp language, in: Proc. of Logic Programming Workshop WLP94, eds. N. Fuchs and G. Gottlob (1994).
40. S. Kraus, K. Sycara and A. Evenchik, Reaching agreements through argumentation; a logical model and implementation, Artificial Intelligence 104 (1998) 1-69.
41. Y. Lespérance, H.J. Levesque, F. Lin, D. Marcu, R. Reiter and R.B. Scherl, Foundations of a logical approach to agent programming, in: Proc. ATAL'95, Intelligent Agents, Volume II, Lecture Notes in Computer Science, eds. M. Wooldridge, J.P. Müller and M. Tambe (Springer, Berlin, 1996).
42. P. Liberatore and M. Shaerf, BReLS: A system for the integration od knowledge bases, in: Proc. KR'00, Breckenridge, CO (2000).
43. J.W. Lloyd, Foundations of Logic Programming (Springer, Berlin, 1987).
44. S. Parsons, C. Sierra and N.R. Jennings, Agents that reason and negotiate by arguing, Journal of Logic and Computation 8(3) (1998) 261-292.
45. J. Pearl, Embracing causality in formal reasoning, in: Proc. National Conference on Artificial Intelligence, Seattle, WA (1987) pp. 369-373.
46. D.L. Poole, A logical framework for default reasoning, Artificial Intelligence 36 (1988) 27.
47. A.S. Rao and M.P. Georgeff, BDI agents: from theory to practice, in: Proc. of the First International Conference on Multi-Agent Systems (ICMAS-95), San Francisco, CA (June 1995) pp. 312-319.
48. A.S. Rao and M.P. Georgeff, Modeling rational agents within a BDI-architecture, in: Proc. of Knowledge Representation and Reasoning (KR&R-91), eds. R. Fikes and E. Sandewall (Morgan Kaufmann, San Mateo, CA, 1991) pp. 473-484.
49. J.S. Rosenschein and G. Zlotkin, Rules of Encounter: Designing Conventions for Automated Negotiation Among Computers (MIT Press, Cambridge, MA, 1994).
50. F. Sadri, F. Toni and P. Torroni, Dialogues and negotiation: agent varieties and dialogue sequences, in: Proc. ATAL'01, Seattle, WA (August 2001).
51. F. Sadri, F. Toni and P. Torroni, Logic agents, dialogues and negotiation: an abductive approach, in: Proc. AISB'01 Convention, York, UK (March 2001).
52. A. Sathi and M. Fox, Constraint-directed negotiation of resource reallocation, in: Distributed Artificial Intelligence, Vol. II, eds. L. Gasser and M. Hunts (Morgan Kaufmann, San Mateo, CA, 1989) pp. 163-195.
53. K. Satoh and N. Iwayama, A query evaluation method for abductive logic programming, in: Proc. Internal. Joint Conf. and Sympos. on Logic Programming, ed. K. Apt (MIT Press, Cambridge, MA, 1992) pp. 671-685.
54. Y. Shoham, Agent-oriented programming, Artificial Intelligence 60(1) (1993) 51-92.
55. K.P. Sycara, Argumentation: Planning other agents' plans, in: Proc. 11th International Joint-Conference on Artificial Intelligence (Morgan Kaufmann, San Mateo, CA, 1989) pp. 517-523.
56. P. Tarau, Jinni: Intelligent mobile agent programming at the intersection of Java and Prolog, in: Proc. PAAM, London (1999).
57. F. Toni, A semantics for the Kakas-Mancarella procedure for abductive logic programming, in: Proc. GULP'95, eds. M. Alpuente and M.I. Sessa (1995) pp. 231-242.
58. P. Torroni and F. Toni, Extending a logic based one-to-one negotiation framework to one-to-many negotiation, in: Proc. ESAW'01, Praha, Lecture Notes in Artificial Intelligence, Vol. 2203 (Springer, Berlin, 2001).
59. M. Wooldridge and N.R. Jennings, Intelligent agents: theory and practice, The Knowledge Engineering Review 10(2) (1995) 115-152.