Abstract
One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’s current knowledge about the world, and consequently its beliefs. Such revision and updating process should be performed efficiently by the agent, particularly in the context of real time constraints.
This paper introduces an argument-based logic programming language called Observation-based Defeasible Logic Programming (ODeLP). An ODeLP program is used to represent an agent’s knowledge in the context of a multiagent system. The beliefs of the agent are modeled with warranted goals computed on the basis of the agent’s program. New perceptions from the environment result in changes in the agent’s knowledge handled by a simple but effective updating strategy. The process of computing beliefs in a changing environment is made computationally attractive by integrating a “dialectical database” with the agent’s program, providing precompiled information about inferences. We present algorithms for creation and use of dialectical databases.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Wooldridge., M.J.: Introduction to Multiagent Systems. John Wiley and Sons, Chichester (2002)
Chesñevar, C.I., Maguitman, A., Loui, R.: Logical Models of Argument. ACM Computing Surveys 32, 337–383 (2000)
Prakken, H., Vreeswijk, G.: Logical systems for defeasible argumentation. In: Gabbay, D. (ed.) Handbook of Philosophical Logic, vol. 4, pp. 219–318. Kluwer Academic Publisher, Dordrecht (2002)
Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing, 365–385 (1991)
García, A., Simari, G.: Defeasible Logic Programming: An Argumentative Approach. Theory and Practice of Logic Programming 4, 95–138 (2004)
Chesñevar, C., Simari, G., Alsinet, T., Godo, L.: A logic programming framework for possibilistic argumentation with vague knowledge. In: Proc. of Uncertainty in Artificial Intelligence Conference (UAI 2004), Banff, Canada (2004) (to appear)
Gomez, S., Chesñevar, C.: A Hybrid Approach to Pattern Classification Using Neural Networks and Defeasible Argumentation. In: Proc. of Intl. 17th FLAIRS Conference, pp. 393–398. AAAI, Palm Beach (2004)
Chesñevar, C., Maguitman, A.: ArgueNet: An Argument-Based Recommender System for Solving Web Search Queries. In: Proc. of Intl. IEEE Conference on Intelligent Systems IS-2004. Varna, Bulgaria (2004) (to appear)
Chesñevar, C., Maguitman, A.: An argumentative approach to assesing natural language usage based on the web corpus. In: Proc. of European Conference on Artificial Intelligence (ECAI 2004). Valencia, Spain, ECCAI (2004) (to appear)
Pollock, J.L.: Taking Perception Seriously. In: Proceedings of the 1st International Conference on Autonomous Agents, pp. 526–527 (1997)
Simari, G.R., Loui, R.P.: A Mathematical Treatment of Defeasible Reasoning and its Implementation. Artificial Intelligence 53, 125–157 (1992)
Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-classical Logics 7, 25–752 (1997)
Poole, D.L.: On the Comparison of Theories: Preferring the Most Specific Explanation. In: Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI, pp. 144–147 (1985)
Capobianco, M.: Argumentación rebatible en entornos dinámicos. PhD thesis, Universidad Nacional del Sur, Bahía Blanca, Argentina (2003)
Simari, G.R., Chesñevar, C.I., García, A.J.: The Role of Dialectics in Defeasible Argumentation. In: Proceedings of the XIV Conferencia Internacional de la Sociedad Chilena para Ciencias de la Computación, 111–121 (1994), http://cs.uns.edu.ar/giia.html
Alferes, J.J., Pereira, L.M.: On logic program semantics with two kinds of negation. In: Proceedings of Joint International Conference and Symposium on Logic Programm, Washington, USA, 574–588 (1992)
Katsuno, H., Mendelzon, A.: On the difference between updating a knowledge base and revising it. In: Gardenfors, P. (ed.) Belief Revision, pp. 183–203. Cambridge University Press, Cambridge (1992)
Doyle, J.: A Truth Maintenance System. Artificial Intelligence 12, 231–272 (1979)
Baral, C., Gelfond, M.: Reasoning Agents in Dynamic Domains. In: Minker, J. (ed.) Workshop on Logic-Based Artificial Intelligence, College Park, Maryland, Computer Science Department, University of Maryland (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Capobianco, M., Chesñevar, C.I., Simari, G.R. (2005). An Argument-Based Framework to Model an Agent’s Beliefs in a Dynamic Environment. In: Rahwan, I., Moraïtis, P., Reed, C. (eds) Argumentation in Multi-Agent Systems. ArgMAS 2004. Lecture Notes in Computer Science(), vol 3366. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32261-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-32261-0_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24526-1
Online ISBN: 978-3-540-32261-0
eBook Packages: Computer ScienceComputer Science (R0)