Abstract
In my papers [2,7], I modelled the Chisholm paradox and generally Chisholm like sequences of contrary to duty obligations by using Reactive Kripke models [4]. Reactive Kripke frames have two types of arrows: ordinary single arrows x → y indicating accessibility relations and double arrows of the form \(( u \to v) \twoheadrightarrow ( x \to y)\), indicating reactive connections. In the frames where the ordering is a tree, as it is in the models for contrary to duty obligations, the double arrow \(( u\to v) \twoheadrightarrow ( x \to y)\) can be uniquely represented by \(v \twoheadrightarrow y\). We thus get a bipolar network where we interpret → as support and \(\twoheadrightarrow \) as attack. Of course the same reactive graph can be manipulated in the Deontic way [2], when we read it as modelling contrary to duty obligations and it can be manipulated in the argumentation way [1,3], when viewed as a bipolar network. The question arises, can we find a family of tree like graphs, (which do not sacrifice generality neither in the contrary to duty area nor in the bipolar argumentation area) for which the Deontic and the argumentation manipulations are the same. This paper shows that this is possible, and thus establishes a connection between the contrary to duty area and the bipolar argumentation area. Note the following:
-
1
This connection with bipolar argumentation frames is made possible because of the modelling of contrary to duty obligation using reactive Kripke models. The connection between Reactivity and Bipolarity is more easy to see.
-
2
The way the game is played in each area is different. So we have here a wide scope for interaction and exchange of ideas between argumentation and normative reasoning. These include:
-
1
Deontic like modelling and axiomatisations for bipolar argumentation
-
2
argumentation semantics for contrary to duty paradoxes which can especially handle contrary to duty loops (a subject hardly mentioned in the contrary to duty literature).
-
3
The equational approach to contrary to duty, imported from the equational approach to argumentation [8]
-
4
The fact that bipolar frames can be instantiated as contrary to duty obligation might shed some light on the polarised debate in the argumentation community on how to instantiate argumentation networks, see [5].
-
5
Settle quesions of how to model (what is) support in argumentation
-
1
-
6
Doing Modal Logic in Bipolar Argumentation Theory (compare with [6]).
This paper shows a connection between deontic contrary to duty obligations [2,7] and bipolar argumentation networks [1,3].We need to give a short introduction to each area.
I am grateful to M. Caminada, L. van der Torre and S. Villata for valuable comments. Research done under THE ISRAEL SCIENCE FOUNDATION Grant No 1321/10: Integrating Logic and Network reasoning.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Boella, G., Gabbay, D., van der Torre, L., Villata, S.: Support in abstract argumentation. In: Baroni, P., Cerutti, F., Giacomin, M., Simari, G. (eds.) Computational models of Argument, COMMA 2010, pp. 111–122. IOS Press (2010); Expanded version of this paper is to appear in special issue, AMAI (2012)
Gabbay, D.: Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations. In: Broersen, J. (ed.) DEON 2012. LNCS (LNAI), vol. 7393, pp. 91–107. Springer, Heidelberg (2012)
Cayrol, C., Lagasquie-Schiex, M.-C.: Coalitions of arguments: A tool for handling bipolar argumentation frameworks. Int. J. Intell. Syst. 25(1), 83–109 (2010)
Gabbay, D.M.: Introducing Reactive Kripke Semantics and Arc Accessibility. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Trakhtenbrot/Festschrift. LNCS, vol. 4800, pp. 292–341. Springer, Berlin (2008); Earlier version published in Proceeding of CombLog04 ( http://www.cs.math.ist.utl.pt/comblog04/ ); Carnielli, W., Dionesio, F.M., Mateus, P. (eds.) Centre of Logic and Computation University of Lisbon, pp 7–20 (2004), ftp://logica.cle.unicamp.br/pub/e-prints/comblog04/gabbay.pdf ; Also published as a book report, by CLC: Centre for Logic and Computation, Instituto Superior Technico, Lisbon 1 (2004) ISBN 972-99289-0-8
Modgil, S., Prakken, H.: A General Account of Argumentation with Preferences, http://www.dcs.kcl.ac.uk/staff/smodgil/GAP.pdf
Grossi, D.: Doing Argumentation Theory in Modal Logic, http://www.illc.uva.nl/Research/Reports/PP-2009-24.text.pdf
Gabbay, D.: Reactive Kripke Models and Contrary-to-duty Obligations Expanded version. original version (2008); Revised 2012 into two parts: Part A Semantics, to appear in Journal of Applied Logic; Part B Proof Theory, to be submitted to Journal of Applied Logic
Gabbay, D.: The equational approach to argumentation. Argumentation and Computation 3(203) (to appear in special issue 2012)
Gabbay, D.: The equational approach to CF2 semantics. In: Proceedings of COMMA 2012. IOS press (short version to appear 2012)
Barringer, H., Gabbay, D., Woods, J.: Temporal, Numerical and Metalevel Dynamics in Argumentation Networks. Argumentation and Computation 3(2-3) (to appear, 2012)
Barringer, H., Gabbay, D.M., Woods, J.: Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 59–98. Springer, Heidelberg (2005)
Tosatto, S.C., Boella, G., van der Torre, L., Villata, S.: Abstract Normative Systems: Semantics and Proof Theory. In: KR 2012 (2012)
Makinson, D., van der Torre, L.: Constrains for input/output logics. Journal of Philosophical Logic 30, 155–185 (2001)
Bochman, A.: Explanatory Nonmonotonic Reasoning. Advances in Logic. World Scientific (2005)
Makinson, D.: On a fundamental problem of deontic logic. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems, pp. 29–54. IOS Press (1999)
Prakken, H.: An abstract framework for argumentation with structured arguments. Arguement and Computation 1(2), 93–124 (2010)
Gabbay, D.: Fibring argumentation frames. Studia Logica 93(2-3), 231–295 (2009)
Gabbay, D.: Semantics for higher level attacks in extended argumentation frames Part 1: Overview. Studia Logica 93, 355–379 (2009)
Baroni, P., Cerutti, F., Giacomin, M., Guida, G.: Encompassing Attacks to Attacks in Abstract Argumentation Frameworks. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS, vol. 5590, pp. 83–94. Springer, Heidelberg (2009)
Boella, G., Gabbay, D.M., van der Torre, L., Villata, S.: Meta-argumentation modelling I: Methodology and techniques. Studia Logica 93(2-3), 297–355 (2009)
Boella, G., van der Torre, L., Villata, S.: Social Viewpoints for Arguing about Coalitions. In: Bui, T.D., Ho, T.V., Ha, Q.T. (eds.) PRIMA 2008. LNCS (LNAI), vol. 5357, pp. 66–77. Springer, Heidelberg (2008)
Boella, G., van der Torre, L., Villata, S.: On the acceptability of meta-arguments. In: Proc. of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2009, pp. 259–262. IEEE (2009)
Brewka, G., Woltran, S.: Abstract dialectical frameworks. In: Proc. of the 20th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), pp. 102–111 (2010)
Modgil, S., Bench-Capon, T.J.M.: Integrating object and meta-level value based argumentation. In: Besnard, P., Doutre, S., Hunter, A. (eds.) COMMA. Frontiers in Artificial Intelligence and Applications, vol. 172, pp. 240–251. IOS Press (2008)
Gabbay, D.: Meta-Logical Investigations in Argumentation Networks. Research Monograph. Springer (forthcoming 2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gabbay, D. (2012). Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report. In: Fisher, M., van der Torre, L., Dastani, M., Governatori, G. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2012. Lecture Notes in Computer Science(), vol 7486. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32897-8_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-32897-8_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32896-1
Online ISBN: 978-3-642-32897-8
eBook Packages: Computer ScienceComputer Science (R0)