Self-stabilizing defeat status computation: Dealing with conflict management in multi-agent systems

Artificial Intelligence

Volumn 165, Issue 2, 2005, Pages 187-259

  Baroni, Pietro ^a   Giacomin, Massimiliano ^a   Guida, Giovanni ^a  

^a UNIVERSITY OF BRESCIA   (Italy)

Author keywords

Argumentation; Multi agent systems; Self stabilization

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; DECISION MAKING; GRAPH THEORY; MATHEMATICAL MODELS; SET THEORY; THEOREM PROVING;

ARGUMENTATION; DEFEAT STATUS COMPUTATION; REBUTTING DEFEATERS; SELF-STABILIZATION;

MULTI AGENT SYSTEMS;

EID: 18944383037     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2005.02.003     Document Type: Article

References (74)

1. L. Amgoud, S. Parsons, and N. Maudet Arguments, dialogue, and negotiation Proceedings of the 14th European Conference on Artificial Intelligence (ECAI 2000), Berlin, Germany 2000 IOS Press 338 342
2. L. Amgoud, S. Parsons, and N. Maudet Modelling dialogues using argumentation E. Durfee Proceedings of the 4th International Conference on Multi-Agent Systems (ICMAS-2000), Boston, MA 2000 IEEE Press 31 38
3. P. Baroni, M. Giacomin, and G. Guida Extending abstract argumentation systems theory Artificial Intelligence 120 2 2000 251 270
4. P. Baroni, and M. Giacomin A distributed self-stabilizing algorithm for argumentation Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS 2001), San Francisco, CA 2001 IEEE Press
5. P. Baroni, and M. Giacomin Argumentation through a distributed self-stabilizing approach J. Experiment. Theoret. Artificial Intelligence 14 4 2002 273 301
6. P. Baroni, and M. Giacomin Solving semantic problems with odd-length cycles in argumentation Proceedings of the 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2003), Aalborg, Denmark Lecture Notes in Artificial Intelligence vol. 2711 2003 Springer Berlin 440 451
7. P. Baroni, and M. Giacomin A general recursive schema for argumentation semantics Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain 2004 783 787
8. P. Baroni, and M. Giacomin On the role of strongly connected components in argumentation Proceedings of the 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2004), Perugia, Italy 2004 1887 1894
9. P. Baroni, M. Giacomin, Self-stabilizing defeat status computation, Technical Report, University of Brescia, Italy, 2005
10. T.J.M. Bench-Capon, T. Geldard, and P.H. Leng A method for the computational modelling of dialectical argument with dialogue games Artificial Intelligence and Law 8 2000 233 254
11. S.C. Bruell, S. Ghosh, M.H. Karaata, and S.V. Pemmaraju Self-stabilizing algorithms for finding centers and medians of trees SIAM J. Comput. 29 2 1999 600 614
12. Z. Collin, R. Dechter, and S. Katz Self-stabilizing distributed constraint satisfaction Chicago J. Theoret. Comput. Sci. 115 1999
13. F. Dignum, B. Dunin-Kȩplicz, and R. Verbrugge Agent theory for team formation by dialogue C. Castelfranchi Y. Lesperance Proceedings of the 7th International Workshop on Agent Theories, Architectures, and Languages (ATAL-2000), Boston, MA 2000 Springer Berlin 141 156
14. E.W. Dijkstra Self-stabilizing systems in spite of distributed control Comm. ACM 17 11 1974 643 644
15. S. Dolev Self-Stabilization 2000 MIT Press Cambridge, MA
16. A.F. Dragoni, and P. Giorgini Distributed belief revision Autonomous Agents and Multi-Agent Systems 6 2 2003 115 143
17. P.M. Dung On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n-person games Artificial Intelligence 77 2 1995 321 357
18. P.E. Dunne, and T.J.M. Bench-Capon Coherence in finite argument systems Artificial Intelligence 141 1-2 2002 187 203
19. P.E. Dunne, and T.J.M. Bench-Capon Two party immediate response disputes: Properties and efficiency Artificial Intelligence 149 2 2003 221 250
20. M. Elvang-Gøransson, P. Krause, and J. Fox Dialectic reasoning with inconsistent information D. Heckerman A. Mamdani Proceedings of the 9th Conference on Uncertainty in Artificial Intelligence (UAI-93), Providence, Washington, DC 1993 Morgan Kaufmann San Mateo, CA 114 121
21. M. Esteva, J.A. Rodríguez-Aguilar, C. Sierra, P. Garcia, and J.L. Arcos On the formal specifications of electronic institutions F. Dignum C. Sierra Agent Mediated Electronic Commerce Lecture Notes in Computer Science vol. 1991 2001 Springer Berlin 126 147
22. M. Flatebo, A.K. Datta, and S. Ghosh Self-stabilization in distributed systems T.L. Casavant M. Singhal Readings in Distributed Computing Systems 1994 IEEE Computer Society Press Los Alamitos, CA 100 114
23. S. Ghosh, and M.H. Karaata A self-stabilizing algorithm for coloring planar graphs Distrib. Comput. 7 1 1993 55 59
24. S. Ghosh, A. Gupta, M.H. Karaata, and S.V. Pemmaraju Self-stabilizing dynamic programming algorithms on trees Proceedings of the 2nd Workshop on Self-Stabilizing Systems (WSS-95), Las Vegas, NE 1995 11.1 11.15
25. M. Giacomin Self-stabilizing distributed algorithms for defeat status computation in argumentation V. Marik O. Stepankova H. Krautwurmova M. Luck Multi-Agent Systems and Application II, Selected Revised Papers: 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001, Prague, Czech Republic Lecture Notes in Artificial Intelligence vol. 2322 2002 Springer Berlin 136 145
26. A. Gupta, Fault-containment in self-stabilizing distributed systems, Ph.D. thesis, University of Iowa, 1997
27. C.A.R. Hoare Communicating Sequential Processes 1985 Prentice Hall New York
28. J.F. Horty Skepticism and floating conclusions Artificial Intelligence 135 1-2 2002 55 72
29. M.N. Huhns, and D.M. Bridgeland Multiagent truth maintenance IEEE Trans. Systems Man Cybernet. 21 6 1991 1437 1445
30. N.R. Jennings, S. Parsons, P. Noriega, and C. Sierra On argumentation-based negotiation Proceedings of the International Workshop on Multi-Agent Systems (IWMAS-98), Boston, MA 1998
31. H. Jung, M. Tambe, and S. Kulkarni Argumentation as distributed constraint satisfaction: Applications and results J.P. Müller E. Andre S. Sen C. Frasson Proceedings of the 5th International Conference on Autonomous Agents, Montreal, Canada 2001 ACM Press New York 324 331
32. M.H. Karaata, S.V. Pemmaraju, S.C. Bruell, and S. Ghosh Self-stabilizing algorithms for finding centers and medians of trees Proceedings of the 13th Symposium on Principles of Distributed Computing (PODC-94) 1994 ACM Press New York 374
33. M.H. Karaata, and F. Al-Anzi A dynamic self-stabilizing algorithm for finding strongly connected components Proceedings of the 18th Annual ACM Symposium on Principles of Distributed Computing (PODC-99), Atlanta, GA 1999 276
34. S. Katz, and K.J. Perry Self-stabilizing extensions for message-passing systems Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing (PODC-90), Quebec City, Quebec, Canada 1990 91 101
35. S. Kraus, K. Sycara, and A. Evenchik Reaching agreements through argumentation: A logical model and implementation Artificial Intelligence 104 1-2 1998 1 69
36. P. Krause, S. Ambler, M. Elvang-Gøransson, and J. Fox A logic of argumentation for reasoning under uncertainty Computational Intelligence 11 1995 113 131
37. L. Lamport, R. Shostak, and M. Pease The byzantine generals problem ACM Trans. Program. Lang. Syst. 4 1982 382 401
38. D. Makinson, and K. Schlechta Floating conclusions and zombie paths: Two deep difficulties in the 'directly skeptical' approach to defeasible inheritance networks Artificial Intelligence 48 2 1991 199 209
39. P. McBurney, and S. Parsons Representing epistemic uncertainty by means of dialectical argumentation Ann. Math. Artificial Intelligence 32 2001 125 169
40. P. McBurney, S. Parsons, and M. Wooldridge Desiderata for agent argumentation protocols M. Gini T. Ishida C. Castelfranchi W.L. Johnson Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy 2002 ACM Press New York 402 409
41. P. McBurney, R.M. Van Eijk, S. Parsons, and L. Amgoud A dialogue game protocol for agent purchase negotiations Autonomous Agents and Multi-Agent Systems 7 3 2003 235 273
42. P. Noriega, and C. Sierra Electronic institutions: Future trends and challenges S.O. Matthias Klusch O. Shehory Proceedings of the 6th International Workshop on Cooperative Information Agents (CIA 2002), Madrid, Spain Lecture Notes in Artificial Intelligence vol. 2446 2002 Springer Berlin 14 17
43. S. Parsons, C. Sierra, and N. Jennings Agents that reason and negotiate by arguing J. Logic Comput. 8 3 1998 261 292
44. S. Parsons, M. Wooldridge, and L. Amgoud An analysis of formal inter-agent dialogues M. Gini T. Ishida C. Castelfranchi W.L. Johnson Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy 2002 ACM Press New York 394 401
45. S. Parsons, and P. McBurney Argumentation-based communication between agents M.-P. Huget Communication in Multiagent Systems 2003 Springer Berlin 164 178
46. S. Parsons, and P. McBurney Argumentation-based dialogues for agent co-ordination Group Decision and Negotiation 12 5 2003 415 439
47. S. Parsons, M. Wooldridge, and L. Amgoud On the outcomes of formal inter-agent dialogues Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-03), Melbourne, Australia 2003 ACM Press New York 616 623
48. S. Parsons, M. Wooldridge, and L. Amgoud Properties and complexity of some formal inter-agent dialogues J. Logic Comput. 13 3 2003 347 376
49. M. Pease, R. Shostak, and L. Lamport Reaching agreement in the presence of faults J. ACM 27 1980 228 234
50. J.L. Pollock Defeasible reasoning Cognitive Sci. 11 4 1987 481 518
51. J.L. Pollock Self-defeating arguments Minds and Machines 1 1991 367 392
52. J.L. Pollock How to reason defeasibly Artificial Intelligence 57 1 1992 1 42
53. J.L. Pollock Justification and defeat Artificial Intelligence 67 1994 377 407
54. J.L. Pollock Cognitive Carpentry: A Blueprint for How to Build a Person 1995 MIT Press Cambridge, MA
55. J.L. Pollock Perceiving and reasoning about a changing world Computational Intelligence 14 4 1998 498 562
56. J.L. Pollock Defeasible reasoning with variable degrees of justification Artificial Intelligence 133 1-2 2001 233 282
57. H. Prakken, and G. Sartor Argument-based extended logic programming with defeasible priorities J. Appl. Non-Classical Logics 7 1997 25 75
58. H. Prakken Relating protocols for dynamic dispute with logics for defeasible argumentation Synthese 127 2001 187 219
59. H. Prakken, and G.A.W. Vreeswijk Logics for defeasible argumentation D.M. Gabbay F. Guenthner Handbook of Philosophical Logic second ed. 2001 Kluwer Academic Dordrecht
60. C. Reed Dialogue frames in agent communication Proceedings of the 3rd International Conference on Multi-Agent Systems (ICMAS-98), Paris, France 1998 246 253
61. F. Sadri, F. Toni, and P. Torroni Logic agents, dialogues and negotiation: An abductive approach K. Stathis M. Schroeder Proceedings of the Symposium on Information Agents for E-Commerce (AISB-01), York, United Kingdom 2001
62. K. Satoh, and K. Yamamoto Speculative computation with multi-agent belief revision M. Gini T. Ishida C. Castelfranchi W.L. Johnson Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy 2002 ACM Press New York 897 904
63. M. Schneider Self-stabilization ACM Comput. Surv. 25 1 1993 45 67
64. S.K. Shukla, D.J. Rosenkrantz, and S.S. Ravi Observations on self-stabilizing graph algorithms for anonymous networks Proceedings of the 2nd Workshop on Self-Stabilizing Systems (WSS-95), Las Vegas, NE 1995 7.1 7.15
65. C. Sierra, N.R. Jennings, P. Noriega, and S. Parsons A framework for argumentation-based negotiation M.P. Singh A. Rao M.J. Wooldridge Proceedings of the 4th International Workshop on Agent Theories, Architectures, and Languages (ATAL-97), Providence, RI Lecture Notes in Artificial Intelligence vol. 1365 1998 Springer Berlin 177 192
66. P. Torroni A study on the termination of negotiation dialogues M. Gini T. Ishida C. Castelfranchi W.L. Johnson Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy 2002 ACM Press New York 1223 1230
67. G.A.W. Vreeswijk Abstract argumentation systems Artificial Intelligence 90 1-2 1997 225 279
68. G.A.W. Vreeswijk, and H. Prakken Credulous and sceptical argument games for preferred semantics Proceedings of the 7th European Workshop on Logics in Artificial Intelligence (JELIA 2000), Malaga, Spain 2000 Springer Berlin 224 238
69. D. Walton, and E. Krabbe Commitment in Dialogue: Basic Concept of Interpersonal Reasoning 1995 State University of New York Press Albany, NY
70. S. Wong, and C. Butz Probabilistic reasoning in a distributed multi-agent environment I. Press Proceedings of the 3rd International Conference on Multi-Agent Systems (ICMAS-98), Paris, France 1998 341 348
71. Y. Xiang A probabilistic framework for cooperative multi-agent distributed interpretation and optimization of communication Artificial Intelligence 87 1-2 1996 295 342
72. M. Yokoo, E.H. Durfee, T. Ishida, and K. Kuwabara The distributed constraint satisfaction problem: Formalization and algorithms IEEE Trans. Knowledge Data Engrg. 10 5 1998 673 685
73. M. Yokoo, and K. Hirayama Algorithms for distributed constraint satisfaction: A review Autonomous Agents and Multi-Agent Systems 3 2 2000 185 207
74. X. Zhang, and V. Lesser Multi-linked negotiation in multi-agent systems M. Gini T. Ishida C. Castelfranchi W.L. Johnson Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy 2002 ACM Press New York 1207 1214