FOR BETTER OR FOR WORSE: DYNAMIC LOGICS OF PREFERENCE

In the last few years, preference logic and in particular, the dynamic logic of preference change, has suddenly become a live topic in my Amsterdam and Stanford environments. At the request of the editors, this article explains how this interest came about, and what is happening. I mainly present a story around some recent dissertations and supporting papers, which are found in the references. There is no pretense at complete coverage of preference logic (for that, see Hanson 2001) or even of preference change (Hanson 1995).

[1]  Leon van der Torre,et al.  From Belief Change to Preference Change , 2008, ECAI.

[2]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[3]  Soren Hallden,et al.  On the logic of "better" , 1957 .

[4]  Jan van Eijck,et al.  Logics of communication and change , 2006, Inf. Comput..

[5]  J. M. Larrazabal,et al.  Reasoning about change , 1991 .

[6]  Balder ten Cate,et al.  The partition semantics of questions, syntactically , 2002, ArXiv.

[7]  L. Kurzen.  A Logic for Cooperation , Actions and Preferences , 2008 .

[8]  Berislav Zarnic.  Validity of Practical Inference , 1999 .

[9]  Patrick Girard,et al.  Everything else being equal: A modal logic approach to ceteris paribus preferences , 2006 .

[10]  J. Doyle,et al.  Representing Preferences as Ceteris Paribus Comparatives , 1994 .

[11]  Plantage Muidergracht,et al.  Changing Preferences , 1995 .

[12]  Eric Pacuit,et al.  Preference based belief dynamics , 2006 .

[13]  Johan van Benthem,et al.  Handbook of Logic and Language , 1996 .

[14]  Ulle Endriss,et al.  Proceedings of the 1st International Workshop on Computational Social Choice (COMSOC-2006) , 2006 .

[15]  Joseph Y. Halpern.  Defining Relative Likelihood in Partially-Ordered Structures , 1997, J. Artif. Intell. Res..

[16]  Barteld Kooi,et al.  Dynamic Epistemic Logic , 2013 .

[17]  J. Benthem.  One is a Lonely Number: on the logic of communication , 2003 .

[18]  J. Benthem,et al.  Logics of communication and change , 2006 .

[19]  Craig Boutilier,et al.  Conditional Logics of Normality: A Modal Approach , 1994, Artif. Intell..

[20]  Alex Pentland,et al.  Facing the future , 2003, 2003 IEEE International SOI Conference. Proceedings (Cat. No.03CH37443).

[21]  Oliver J. Board,et al.  Belief Revision and Rationalizability , 1998, TARK.

[22]  Craig Boutilier,et al.  Revision by Conditional Beliefs , 1993, AAAI.

[23]  André Fuhrmann,et al.  Change, Choice and Inference , 2003 .

[24]  Lena Kurzen,et al.  Logics for Cooperation, Actions and Preferences , 2007 .

[25]  Pierre-Yves Schobbens,et al.  Operators and Laws for Combining Preference Relations , 2002, J. Log. Comput..

[26]  Patrick Blackburn,et al.  Modal logic: a semantic perspective , 2007, Handbook of Modal Logic.

[27]  Johan van Benthem,et al.  Dynamic logic for belief revision , 2007, J. Appl. Non Class. Logics.

[28]  Olivier Roy,et al.  Preference logic, conditionals and solution concepts in games , 2005 .

[29]  A. Baltag,et al.  Dynamic Belief Revision over Multi-Agent Plausibility Models , 2006 .

[30]  Joseph Y. Halpern.  Defining Relative Likelihood in Partially-Ordered Preferential Structures , 1996, UAI.

[31]  Johan van Benthem,et al.  The Tree of Knowledge in Action: Towards a Common Perspective , 2006, Advances in Modal Logic.

[32]  David I. Beaver,et al.  The Handbook of Logic and Language , 1997 .

[33]  Yao-Hua Tan,et al.  An update semantics for deontic reasoning , 1999 .

[34]  Richard Bradley,et al.  The kinematics of belief and desire , 2007, Synthese.

[35]  P. Smolensky,et al.  Optimality Theory: Constraint Interaction in Generative Grammar , 2004 .

[36]  Guillaume Aucher,et al.  A Combined System for Update Logic and Belief Revision , 2004, PRIMA.

[37]  Eduardo L. Fermé,et al.  Belief Revision , 2007, Inteligencia Artif..

[38]  Dag Westerståhl,et al.  Logic, rational agency, and intelligent interaction , 2009 .

[39]  J. Gerbrandy.  Bisimulations on Planet Kripke , 1999 .

[40]  Sieuwert Maarten van Otterloo,et al.  A strategic analysis of multi-agent protocols , 2005 .

[41]  Frank Veltman,et al.  Defaults in update semantics , 1996, J. Philos. Log..

[42]  N. Rescher.  The Logic of Preference , 1968 .

[43]  Frank Wolter,et al.  Handbook of Modal Logic , 2007, Studies in logic and practical reasoning.

[44]  Jonathan A. Zvesper,et al.  Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets , 2007, ArXiv.

[45]  Fenrong Liu,et al.  Optimality, Belief and Preference , 2006 .

[46]  Johan van Benthem,et al.  Dynamic logic of preference upgrade , 2007, J. Appl. Non Class. Logics.

[47]  Johan van Benthem,et al.  Exploring logical dynamics , 1996, Studies in logic, language and information.

[48]  Liu.  Changing for the better : preference dynamics and agent diversity , .

[49]  C. Judd,et al.  Pragmatism. A new name for some old ways of thinking. , 1908 .

[50]  Johan van Benthem,et al.  Extensive Games as Process Models , 2002, J. Log. Lang. Inf..

[51]  S. Hansson.  Changes in preference , 1995 .

[52]  H. Maturana.  The tree of knowledge , 1987 .

[53]  A. Baltag,et al.  EPISTEMIC LOGIC AND INFORMATION UPDATE , 2008 .

[54]  Tomoyuki Yamada,et al.  Acts of Commanding and Changing Obligations , 2006, CLIMA.

[55]  D. Lewis.  Desire as Belief , 1988 .

[56]  Leon van der Torre,et al.  Hidden Uncertainty in the Logical Representation of Desires , 2003, IJCAI.

[57]  J.F.A.K. van Benthem.  Rationalizations and Promises in Games , 2007 .

[58]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[59]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .