Abstract
Decentralised co-operative multi-agent systems are computational systems where conflicts are frequent due to the nature of the represented knowledge. Negotiation methodologies, in this case argumentation based negotiation methodologies, were developed and applied to solve unforeseeable and, therefore, unavoidable conflicts.
The supporting computational model is a distributed belief revision system where argumentation plays the decisive role of revision. The distributed belief revision system detects, isolates and solves, whenever possible, the identified conflicts. The detection and isolation of the conflicts is automatically performed by the distributed consistency mechanism and the resolution of the conflict, or belief revision, is achieved via argumentation.
We propose and describe two argumentation protocols intended to solve different types of identified information conflicts: context dependent and context independent conflicts. While the protocol for context dependent conflicts generates new consensual alternatives, the latter chooses to adopt the soundest, strongest argument presented. The paper shows the suitability of using argumentation as a distributed decentralised belief revision protocol to solve unavoidable conflicts.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Cohen, P. R.; Heuristic Reasoning about Uncertainty: an Artificial Intelligence Approach. Pitman, Boston (1985).
de Kleer, J.; An Assumption-Based Truth Maintenance System. Artificial Intelligence 28(2):127–224 (1986).
Dragoni, A. F. Giorgini, P. and Puliti, P.; Distributed Belief Revision versus Distributed Truth Maintenance. In Proceedings of the Sixth IEEE Conference on Tools with Artificial Intelligence, IEEE Computer Press (1994).
Dragoni, A. F. and Giorgini, P.; Belief Revision through the Belief Function Formalism in a Multi-Agent Environment. Third International Workshop on Agent Theories, Architectures and Languages, LNAI N. 1193, Springer-Verlag, (1997).
Galliers, R; Autonomous belief revision and communication, Gärdenfors, P. ed. Belief Revision. Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, N. 29 (1992).
Gaspar, G.; Communication and Belief Changes in a Society of Agents: Towards a Formal Model of an Autonomous Agent, Demazeau, Y. and Müller, J. P. eds. Decentralized A. I., Vol. 2, North-Holland Elsevier Science Publishers (1991).
Kinny, D. N. and George. M. P.; Commitment and effectiveness of situated agents. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI’91), Sydney, Australia (1991).
Jennings, N. R., Parsons, S., Noriega, P. and Sierra, C.; On Argumentation-Based Negotiation. In Proceedings of the International Workshop on Multi-Agent Systems, Boston, USA (1998).
Jung, H., Tambe, T., Parsons, S., and Kulkarni, S.; Argumentation as Distributed Constraint Satisfaction: Applications and Results. In Proceedings of the International Conference on Autonomous Agents (Agents’01), Montreal, Quebec, Canada (2001).
Kraus, S., Sycara, K., and Evenchik, A.; Reaching agreements through argumentation: a logical model and implementation. Artificial Intelligence, 104 (1998).
Malheiro, B. and Oliveira, E.; Consistency and Context Management in a Multi-Agent Belief Revision Tesbed. Wooldridge, M., Müller, J. P. and Tambe, M. eds. Agent Theories, Architectures and Languages, Lecture Notes in Artificial Intelligence, Vol. 1037. Springer-Verlag, Berlin Heidelberg New York (1996).
Malheiro, B., Oliveira, E.; Environmental Decision Support: a Multi-Agent Approach, The First International Conference on Autonomous Agents (Agents’97), Marina del Rey, California, USA (1997).
Malheiro, B., Oliveira, E.; Solving Conflicting Beliefs with a Distributed Belief Revision Approach, Monard, M. C., Sichman, J. S. eds. Proceedings of The International Joint Conference 7th Ibero-American Conference on AI 15th Brazilian Symposium on AI (IBERAMIA-SBIA’2000), Atibaia, S. Paulo, Brazil. Lecture Notes in Artificial Intelligence, Vol. 1952. Springer-Verlag, Berlin Heidelberg New York (2000).
Oliveira, E., Mouta, F. and Rocha, A. P.; Negotiation and Conflict Resolution within a Community of Cooperative Agents. In Proceedings of the International Symposium on autonomous Decentralized Systems, Kawasaki, Japan (1993).
Parsons, S., Sierra, C. and Jennings, N. R. 1998. Agents that reason and negotiate by arguing, Journal of Logic and computation 8(3)(1998), 261–292.
Sycara, K. 1990. Persuasive Argumentation in negotiation, Theory and Decision. 28:203–242.
Vreeswijk, A. W. 1997. Abstract argumentation systems. Artificial Intelligence 90(1–2).
Wittig, T. ed. 1992. ARCHON: An Architecture for Multi-Agent Systems, Ellis Horwood.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Malheiro, B., Oliveira, E. (2001). Argumentation as Distributed Belief Revision: Conflict Resolution in Decentralised Co-operative Multi-agent Systems. In: Brazdil, P., Jorge, A. (eds) Progress in Artificial Intelligence. EPIA 2001. Lecture Notes in Computer Science(), vol 2258. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45329-6_22
Download citation
DOI: https://doi.org/10.1007/3-540-45329-6_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43030-8
Online ISBN: 978-3-540-45329-1
eBook Packages: Springer Book Archive