Abstract
The goal of this paper is twofold. First, a logic-based argumentation framework is introduced in the context of conditional logic, as conditional logic is often regarded as an appealing setting for knowledge representation and reasoning. Second, a concept of conditional contrariety is defined that covers usual inconsistency-based conflicts and puts in light a specific form of conflicts that often occurs in real-life: when an agent asserts an If then rule, it can be argued that additional conditions are actually needed to derive the conclusion.
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
Bench-Capon, T.J.M., Dunne, P.E.: Argumentation in artificial intelligence. Artificial Intelligence (Special Issue on Argumentation) 171(10-15) (2007)
Rahwan, I., Simari, G.R.: Argumentation in artificial intelligence. Springer (2009)
Verheij, B., Szeider, S., Woltran, S. (eds.): Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12. Frontiers in Artificial Intelligence and Applications, vol. 245. IOS Press (2012)
Prakken, H.: An argumentation framework in default logic. Annals of Mathematics and Artificial Intelligence 9(1-2), 93–132 (1993)
Prakken, H., Sartor, G.: A dialectical model of assessing conflicting arguments in legal reasoning. Artificial Intelligence and Law 4(3-4), 331–368 (1996)
Das, S.K., Fox, J., Krause, P.: A unified framework for hypothetical and practical reasoning (1): Theoretical foundations. In: Gabbay, D.M., Ohlbach, H.J. (eds.) FAPR 1996. LNCS, vol. 1085, pp. 58–72. Springer, Heidelberg (1996)
Parsons, S., Sierra, C., Jennings, N.R.: Agents that reason and negotiate by arguing. Journal of Logic and Computation 8(3), 261–292 (1998)
Ferguson, G., Allen, J.F., Miller, B.W.: Trains-95: Towards a mixed-initiative planning assistant. In: Proceedings of the Third International Conference on Artificial Intelligence Planning Systems (AIPS 1996), pp. 70–77 (1996)
Parsons, S., Wooldridge, M., Amgoud, L.: Properties and complexity of some formal inter-agent dialogues. Journal of Logic and Computation 13(3), 347–376 (2003)
McBurney, P., Parsons, S., Rahwan, I. (eds.): ArgMAS 2011. LNCS, vol. 7543. Springer, Heidelberg (2012)
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77(2), 321–358 (1995)
Pollock, J.L.: How to reason defeasibly. Artificial Intelligence 57, 1–42 (1992)
Krause, P., Ambler, S., Elvang-Gøransson, M., Fox, J.: A logic of argumentation for reasoning under uncertainty. Computational Intelligence 11, 113–131 (1995)
Chesnevar, C.I., Maguitman, A.G., Loui, R.P.: Logical models of argument. ACM Computing Surveys 32(4), 337–383 (2000)
Besnard, P., Hunter, A.: A logic-based theory of deductive arguments. Artificial Intelligence 128(1-2), 203–235 (2001)
Garcia, A.J., Simari, G.R.: Defeasible logic programming: An argumentative approach. Theory and Practice of Logic Programming 4(1-2), 95–138 (2004)
Santos, E., Martins, J.P.: A default logic based framework for argumentation. In: Proceedings of ECAI 2008, pp. 859–860 (2008)
Besnard, P., Grégoire, É., Piette, C., Raddaoui, B.: MUS-based generation of arguments and counter-arguments. In: Proceedings of the 11th IEEE Int. Conf. on Information Reuse and Integration (IRI 2010), pp. 239–244 (2010)
Gorogiannis, N., Hunter, A.: Instantiating abstract argumentation with classical logic arguments: Postulates and properties. Artif. Intell. 175(9-10), 1479–1497 (2011)
Crocco, G., Fariñas del Cerro, L., Herzig, A.: Conditionals: From philosophy to computer science. Studies in Logic and Computation. Oxford University Press (1995)
Giordano, L., Gliozzi, V., Olivetti, N.: Iterated belief revision and conditional logic. Studia Logica 70(1), 23–47 (2002)
Grahne, G.: Updates and counterfactuals. Journal of Logic and Computation (1), 87–117 (2002)
Nute, D.: Topics in conditional logic. Reidel. Dordrecht (1980)
Delgrande, J.P.: An approach to default reasoning based on a first-order conditional logic: Revised report. Artificial Intelligence 36(1), 63–90 (1988)
Kraus, S., Lehmann, D.J., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44(1-2), 167–207 (1990)
Giordano, L., Schwind, C.: Conditional logic of actions and causation. Artificial Intelligence 157(1-2), 239–279 (2004)
Gabbay, D.M., Giordano, L., Martelli, A., Olivetti, N., Sapino, M.L.: Conditional reasoning in logic programming. Journal of Logic Programming 44(1-3), 37–74 (2000)
Besnard, P., Hunter, A.: Elements of Argumentation. MIT Press (2008)
Chellas, B.F.: Basic conditional logic. Journal of Philosophical Logic 4(2), 133–153 (1975)
Besnard, P., Grégoire, É., Ramon, S.: Preemption operators. In: Raedt, L.D., Bessière, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F., Lucas, P.J.F. (eds.) ECAI. Frontiers in Artificial Intelligence and Applications, vol. 242, pp. 893–894. IOS Press (2012)
Besnard, P., Grégoire, É., Ramon, S.: Enforcing logically weaker knowledge in classical logic. In: Xiong, H., Lee, W.B. (eds.) KSEM 2011. LNCS, vol. 7091, pp. 44–55. Springer, Heidelberg (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Besnard, P., Grégoire, É., Raddaoui, B. (2013). A Conditional Logic-Based Argumentation Framework. In: Liu, W., Subrahmanian, V.S., Wijsen, J. (eds) Scalable Uncertainty Management. SUM 2013. Lecture Notes in Computer Science(), vol 8078. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40381-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-40381-1_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40380-4
Online ISBN: 978-3-642-40381-1
eBook Packages: Computer ScienceComputer Science (R0)