Judgment aggregation in nonmonotonic logic

Judgment aggregation studies how to aggregate individual judgments on logically correlated propositions into collective judgments. Different logics can be used in judgment aggregation, for which Dietrich and Mongin have proposed a generalized model based on general logics. Despite its generality, however, all nonmonotonic logics are excluded from this model. This paper argues for using nonmonotonic logic in judgment aggregation. Then it generalizes Dietrich and Mongin’s model to incorporate a large class of nonmonotonic logics. This generalization broadens the theoretical boundaries of judgment aggregation by proving that, even if these nonmonotonic logics are employed, certain typical impossibility results still hold.

[1]  Donald Nute,et al.  Counterfactuals , 1975, Notre Dame J. Formal Log..

[2]  P. Pettit.  Deliberative Democracy and the Discursive Dilemma , 2001 .

[3]  Philippe Mongin,et al.  Factoring out the impossibility of logical aggregation , 2008, J. Econ. Theory.

[4]  Sébastien Konieczny,et al.  DA2 merging operators , 2004, Artif. Intell..

[5]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[6]  V. Wiktor Marek,et al.  Nonmonotonic Logic , 1993, Artificial Intelligence.

[7]  Gabriella Pigozzi,et al.  Belief merging and the discursive dilemma: an argument-based account to paradoxes of judgment aggregation , 2006, Synthese.

[8]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[9]  Gabriella Pigozzi,et al.  On judgment aggregation in abstract argumentation , 2009, Autonomous Agents and Multi-Agent Systems.

[10]  David Makinson,et al.  General patterns in nonmonotonic reasoning , 1994 .

[11]  David Makinson,et al.  Bridges from classical to nonmonotonic logic , 2005, Texts in computing.

[12]  Philip Pettit,et al.  Groups with minds of their own , 2001 .

[13]  Grigoris Antoniou,et al.  Nonmonotonic Reasoning and Logic Programming , 1997 .

[14]  Franz Dietrich,et al.  The possibility of judgment aggregation on agendas with subjunctive implications , 2010, J. Econ. Theory.

[15]  David Makinson,et al.  General Theory of Cumulative Inference , 1988, NMR.

[16]  C. List,et al.  Aggregating Sets of Judgments: An Impossibility Result , 2002, Economics and Philosophy.

[17]  Christian List,et al.  A Model of Path-Dependence in Decisions over Multiple Propositions , 2002, American Political Science Review.

[18]  Lawrence G. Sager,et al.  Unpacking the Court , 1986 .

[19]  Sébastien Konieczny,et al.  Merging Information Under Constraints: A Logical Framework , 2002, J. Log. Comput..

[20]  Marcus Pivato,et al.  Majority Rule in the Absence of a Majority , 2013, J. Econ. Theory.

[21]  A. Tversky.  Intransitivity of preferences. , 1969 .

[22]  J. Horty.  Nonmonotonic Logic , 2001 .

[23]  Frederik Herzberg,et al.  Universal algebra for general aggregation theory: Many-valued propositional-attitude aggregators as MV-homomorphisms , 2015, J. Log. Comput..

[24]  Jérôme Lang.  Twenty-Five Years of Preferred Subtheories , 2015, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation.

[25]  Franz Dietrich,et al.  A generalised model of judgment aggregation , 2007, Soc. Choice Welf..

[26]  Gabriella Pigozzi,et al.  Introduction to Judgment Aggregation , 2010, ESSLLI.

[27]  Christian List,et al.  Introduction to Judgment Aggregation , 2010, J. Econ. Theory.

[28]  L. Kornhauser.  Modeling Collegial Courts. II. Legal Doctrine , 1992 .

[29]  Christian Klamler,et al.  A simple ultrafilter proof for an impossibility theorem in judgment aggregation , 2009 .

[30]  Davide Grossi,et al.  Unifying preference and judgment aggregation , 2009, AAMAS.

[31]  Daniel N. Osherson,et al.  Methods for distance-based judgment aggregation , 2009, Soc. Choice Welf..

[32]  Dieter Sondermann,et al.  Arrow's theorem, many agents, and invisible dictators☆ , 1972 .

[33]  Gabriella Pigozzi,et al.  Judgment Aggregation: A Primer , 2014, Judgment Aggregation.

[34]  Robert Stalnaker.  A Theory of Conditionals , 2019, Knowledge and Conditionals.

[35]  J. Etchemendy.  The Concept of Logical Consequence , 1991 .

[36]  Daniele Porello.  The Consistency of Majority Rule , 2012, ECAI.

[37]  Gerhard Brewka,et al.  Preferred Subtheories: An Extended Logical Framework for Default Reasoning , 1989, IJCAI.

[38]  Josep Maria Font,et al.  A Survey of Abstract Algebraic Logic , 2003, Stud Logica.

[39]  PETER GÄRDENFORS,et al.  Belief Revision: Belief revision: An introduction , 2003 .

[40]  Marc Pauly,et al.  Logical Constraints on Judgement Aggregation , 2006, J. Philos. Log..

[41]  Dietrich Franz,et al.  Judgment aggregation without full rationality , 2006 .

[42]  Christian List,et al.  Arrow’s theorem in judgment aggregation , 2005, Soc. Choice Welf..

[43]  Richmond H. Thomason,et al.  A semantic analysis of conditional logic1 , 2008 .

[44]  Christian List,et al.  The theory of judgment aggregation: an introductory review , 2012, Synthese.

[45]  Christian List,et al.  Propositionwise judgment aggregation: the general case , 2013, Soc. Choice Welf..

[46]  Daniele Porello,et al.  Ranking judgments in Arrow’s setting , 2010, Synthese.

[47]  Daniel Lehmann,et al.  Connectives in Cumulative Logics , 2008, Pillars of Computer Science.

[48]  Philippe Mongin,et al.  The premiss-based approach to judgment aggregation , 2010, J. Econ. Theory.

[49]  P. Gärdenfors.  A REPRESENTATION THEOREM FOR VOTING WITH LOGICAL CONSEQUENCES , 2006, Economics and Philosophy.

[50]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[51]  Gabriella Pigozzi,et al.  Judgment aggregation rules based on minimization , 2011, TARK XIII.

[52]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[53]  Philippe Mongin,et al.  The doctrinal paradox, the discursive dilemma, and logical aggregation theory , 2012 .

[54]  Peter Gärdenfors,et al.  Belief Revision: Contents , 1992 .