Abstract
In this paper we propose a model that allows agents to deliberate using defeasible argumentation, to share knowledge with other agents, and to represent individual knowledge privately. We describe the design and implementation of a Defeasible Logic Programming Server that handles queries from several remote client agents. Queries will be answered using public knowledge stored in the Server and individual knowledge that client agents can send as part of a query, providing a particular context for it. The Server will answer these contextual queries using a defeasible argumentative analysis. Different types of contextual queries are presented and analyzed.
Partially supported by Universidad Nacional del Sur, CONICET (PIP 5050), and Agencia Nacional de Promoción Científica y Tecnológica.
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
García, A.J., Simari, G.R.: Defeasible logic programming: An argumentative approach. Theory and Practice of Logic Programming 4(1), 95–138 (2004)
Chesñevar, C.I., Maguitman, A.G., Loui, R.P.: Logical Models of Argument. ACM Computing Surveys 32(4), 337–383 (2000)
Prakken, H., Vreeswijk, G.: Logical systems for defeasible argumentation. In: Handbook of Philosophical Logic, 2nd edn., Kluwer Academic Pub., Dordrecht (2000)
Stolzenburg, F., García, A.J., Chesñevar, C.I., Simari, G.R.: Computing generalized specificity. Journal of Aplied Non-Classical Logics 13(1), 87–113 (2003)
(SWI-Prolog), http://www.swi-prolog.org
Tarau, P.: (Jinni 2002: A High Performance Java and .NET based Prolog for Object and Agent Oriented Internet Programming) (2002), http://www.cs.unt.edu/~tarau/
Bryant, D., Krause, P.J., Vreeswijk, G.: Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications. In: COMMA 2006. Proc. of 1st Int. Conference on Computational Models of Argument, pp. 27–32. IOS Press, Amsterdam (2006)
Maher, M., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient defeasible reasoning systems. Int. Journal on Artificial Intell. Tools 10(4), 483–501 (2001)
Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 355–395. Oxford University Press, Oxford (1994)
Governatori, G., Maher, M., Antoniou, G., Billington, D.: Argumentation semantics for defeasible logic. Journal of Logic and Computation 14, 675–702 (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
García, A.J., Rotstein, N.D., Tucat, M., Simari, G.R. (2007). An Argumentative Reasoning Service for Deliberative Agents. In: Zhang, Z., Siekmann, J. (eds) Knowledge Science, Engineering and Management. KSEM 2007. Lecture Notes in Computer Science(), vol 4798. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76719-0_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-76719-0_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76718-3
Online ISBN: 978-3-540-76719-0
eBook Packages: Computer ScienceComputer Science (R0)