Abstract:
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New perceptions modify this agent’s current knowledge about the world, and consequently its beliefs about it also change. Such a revision and update process should be performed efficiently by the agent, particularly in the context of real-time constraints. In the last decade argumentation has evolved as a successful approach to formalize defeasible, commonsense reasoning, gaining wide acceptance in the MAS community by providing tools for designing and implementing features, which characterize reasoning capabilities in rational agents. In this paper we present a new argument-based formalism specifically designed for representing knowledge and beliefs of agents in dynamic environments, called Observation-based Defeasible Logic Programming (ODeLP). A simple but effective perception mechanism allows an ODeLP-based agent to model new incoming perceptions, and modify the agent’s knowledge about the world accordingly. In addition, in order to improve the reactive capabilities of ODeLP-based agents, the process of computing beliefs in a changing environment is made computationally attractive by integrating a “dialectical database” with the agent’s program, providing pre-compiled information about previous inferences. We present algorithms for managing dialectical databases as well as examples of their use in the context of real-world problems.
Article PDF
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
References
M. J. Wooldridge, Introduction to Multiagent Systems. Wiley, 2002.
C.I. Chesñevar A. Maguitman R. Loui (2000) ArticleTitle“Logical models of argument,” ACM Comput Surv., Vol 32 337–383
H. Prakken and G. Vreeswijk, “Logical systems for defeasible argumentation,” in D. Gabbay, (ed.), Handbook of Philosophical Logic, Vol. 4, Kluwer Academic Publisher: Dordrecht 2002, pp. 219–318.
M. Gelfond and V. Lifschitz, “Classical negation in logic programs and disjunctive databases,” New Generation Comput., pp. 365–385, 1991.
A. García G. Simari (2004) ArticleTitle“Defeasible logic programming: an argumentative approach.” Theory and Practice of Logic Programming 4 95–138 Occurrence Handle10.1017/S1471068403001674
C. Alchourrón P. Gärdenfors D. Makinson (1985) ArticleTitle“ On the logic of theory change: Partial meet contraction and revision functions.” Symbolic Logic J 50 510–530
H. Katsuno and A. Mendelzon, “On the difference between updating a knowledge base and revising it,” in P. Gardenfors (ed.), Belief Revision, Cambridge University Press, 1992, pp. 183–203.
P. Gäardenfors (1998) Knowledge in Flux: Modelling the Dynamics of Epistemic States The MIT Press, Bradford Books Cambridge MA
J. L. Pollock, “Taking perception seriously,” in: Proceedings of the 1st International Conference on Autonomous Agent, 1997, pp. 526–527.
J. Doyle (1979) ArticleTitle“A truth maintenance system.” Artif, Intell 12 231–272
J. Kleer Particlede (1986) ArticleTitle“An assumption-based TMS.” Artif, Intell 28 127–162
J. Kleer Particlede (1989) “A comparison of ATMS and CSP techniques.” N. S. Sridharan (Eds) Proceedings of the 11th IJCAI Workshop on Practical Reasoning and Rationality Detroit, USA 290–296
C. Elkan (1990) ArticleTitle“A rational reconstruction of nonmonotonic truth maintenance systems.” Artif, Intell 43 219–234
D. McAllester, “Truth maintenance,” in R. Smith and T. Mitchell (eds.), Proceedings of the 8th National Conference on Artificial Intelligence. vol. 2., American Association for Artificial Intelligence, AAAI Press, 1990, pp. 1109–1116.
K. Forbus J. Kleer Particlede (1993)) Building Problem Solvers MIT Press Cambridge, MA
A. L. Brown,“Modal propositional semantics for reason maintenance systems,” in: Proceedings of International Joint Conference on Artificial Intelligence, 1985, pp. 178–183.
C. Chesñevar A. Maguitman R. Loui (2000) ArticleTitle“Logical models of argument” ACM Comput Surv 32 337–383 Occurrence Handle10.1145/371578.371581
C. Reed and T. E. Norman, Argumentation Machines – New Frontiers in Argument and Computation, vol. 9 of Series Argumentation Library, Springer, 2005.
H. Prakken G. Sartor (1997) ArticleTitle“Argument-based extended logic programming with defeasible priorities” Appl, Non-classical Logics 7 25–752
I. Rahwan S. Ramchurn N. Jennings P. McBurney S. Parsons L. Sonenberg (2003) ArticleTitle“ Argumentation-based negotiation” Knowl. Eng. Rev 18 343–375 Occurrence Handle10.1017/S0269888904000098
D. Carbogim D. Robertson J. Lee (2000) ArticleTitle“Argument-based applications to knowledge engineering” Knowl. Eng. Rev 15 119–149 Occurrence Handle10.1017/S0269888900002058
C. I. Chesñevar, G. Simari, T. Alsinet and L. Godo,“A logic programming framework for possibilistic argumentation with vague knowledge,” in: Proceedings of the International Conference in Uncertainty in Artificial Intelligence (UAI 2004), Canada, 2004, pp. 76–84.
C. I. Chesñevar, G. Simari, T. Alsinet, and L. Godo, “Modelling agent reasoning in a logic programming framework for possibilistic argumentation,” in: Proceedings of the 2nd European Workshop on Multiagent Systems. Barcelona, Spain, 2004, pp. 135–142.
G.R. Simari P. Loui R. (1992) ArticleTitle“A mathematical treatment of defeasible reasoning and its implementation” Artif Intell 53 125–157 Occurrence Handle10.1016/0004-3702(92)90069-A
J. W. Lloyd, Foundations of Logic Programming. Springer–Verlag, 1987.
D. L. Poole, “On the comparison of theories: preferring the most specific explanation,” in: Proceedings of the 9th IJCAIs, 1985, pp. 144–147.
M. Capobianco (2003) “Argumentación rebatible en entornos dinámicos” Universidad Nacional del Sur Bahía Blanca Argentina
G. R. Simari, C. I. Chesñevar, and A. J. García, “The role of dialectics in defeasible argumentation,” in: Proceedings of the XIV Conferencia Internacional de la Sociedad Chilena para Ciencias de la Computación, 1994, pp. 111–121.
C. Chesñevar J. Dix F. Stolzenburg G. Simari (2003) ArticleTitle“Relating defeasible and normal logic programming through transformation properties” Theor Comput Sci 290 499–529 Occurrence Handle10.1016/S0304-3975(02)00033-6
J. J. Alferes and L. M. Pereira, “On logic program semantics with two kinds of negation,” in: Proceedings of the Joint International Conference and Symposium on Logic Programming, USA, 1992, pp. 574–588.
C. Chesñevar and G. R. Simari, “Distinguishing ground from nonground information in defeasible argumentation,” in: Proceedings del I Congreso Argentino en Ciencias de la Computación, Universidad Nacional del Sur, Argentina, 1995, pp. 527–538.
A. J. García, C. I. Chesñevar, and G. R. Simari,“ Making argumentative systems computationally attractive,” in: XIII International Conference of the Chilenean Computer Science Society, 1993, pp. 335–344.
C. Baral and M. Gelfond, “Reasoning agents in dynamic domains,” in: J. Minker, (ed.), Workshop on Logic-Based Artificial Intelligence, College Park, Maryland, Computer Science Department, University of Maryland, 1999.
L. Amgoud and C. Cayrol,“On the use of an atms for handling conflicting desires,” in: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004, pp. 194–202.
Dung. Phan Minh (1995) ArticleTitle“On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games” Artif. Intell 77 321–358 Occurrence Handle10.1016/0004-3702(94)00041-X
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Capobianco, M., Chesñevar, C.I. & Simari, G.R. Argumentation and the Dynamics of Warranted Beliefs in Changing Environments. Auton Agent Multi-Agent Syst 11, 127–151 (2005). https://doi.org/10.1007/s10458-005-1354-8
Issue Date:
DOI: https://doi.org/10.1007/s10458-005-1354-8