Logics for Games, Emotions and Institutions

We give an informal overview of the way logic and game theory have been used in the past and are currently used to model cognitive agents and multi-agent systems (MAS). In the first part of the paper we consider formal models of mental attitudes and emotions, while in the second part we move from mental attitudes to institutions via collective attitudes.

[1]  Kurt Konolige,et al.  A Representationalist Theory of Intention , 1993, IJCAI.

[2]  C. List.  Three Kinds of Collective Attitudes , 2014 .

[3]  Richmond H. Thomason,et al.  Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision , 1996, TARK.

[4]  Jörg Hansen,et al.  On a Fundamental Problem of Deontic Logic , 2008 .

[5]  Robert Stalnaker,et al.  Belief revision in games: forward and backward induction 1 Thanks to the participants in the LOFT2 m , 1998 .

[6]  Kevin D. Ashley.  Reasoning with Cases and Hypotheticals in HYPO , 1991, Int. J. Man Mach. Stud..

[7]  John-Jules Ch. Meyer,et al.  Coping with shame and sense of guilt: a Dynamic Logic Account , 2010, Autonomous Agents and Multi-Agent Systems.

[8]  Jan Odelstad,et al.  Intermediate Concepts in Normative Systems , 2006, DEON.

[9]  Guido Boella,et al.  Constitutive Norms in the Design of Normative Multiagent Systems , 2005, CLIMA.

[10]  D. R. Heise,et al.  Structure of Emotions , 1988 .

[11]  Lou Goble,et al.  Multiplex semantics for deontic logic , 2000 .

[12]  Robert Sugden,et al.  COMMON KNOWLEDGE, SALIENCE AND CONVENTION: A RECONSTRUCTION OF DAVID LEWIS' GAME THEORY , 2003, Economics and Philosophy.

[13]  Dov M. Gabbay,et al.  Intuitionistic Basis for Input/Output Logic , 2014 .

[14]  E. Durkheim,et al.  Rules of Sociological Method , 1964 .

[15]  Leon van der Torre,et al.  What an Agent Ought To Do , 2003, Artif. Intell. Law.

[16]  Guido Boella,et al.  A Logical Understanding of Legal Interpretation , 2010, KR.

[17]  Sébastien Konieczny,et al.  On the Difference between Merging Knowledge Bases and Combining them , 2000, KR.

[18]  R. L. Goodstein,et al.  An Essay in Modal Logic , 1953, The Mathematical Gazette.

[19]  Michael E. Bratman,et al.  Shared Cooperative Activity , 1991 .

[20]  Jörg Hansen,et al.  Deontic logics for prioritized imperatives , 2006, Artificial Intelligence and Law.

[21]  Henry Prakken,et al.  The ASPIC+ framework for structured argumentation: a tutorial , 2014, Argument Comput..

[22]  Guido Boella,et al.  A Logical Architecture of a Normative System , 2006, DEON.

[23]  Cristiano Castelfranchi,et al.  Reasons: belief support and goal dynamics , 1996 .

[24]  Sandip Sen,et al.  Exploring the Dimensions of Convention Emergence in Multiagent Systems , 2011, Adv. Complex Syst..

[25]  Leon van der Torre,et al.  Contextual Deontic Logic: Normative Agents, Violations and Independence , 2004, Annals of Mathematics and Artificial Intelligence.

[26]  Leon van der Torre.  Violation games: a new foundation for deontic logic , 2010, J. Appl. Non Class. Logics.

[27]  Xavier Parent,et al.  Moral particularism in the light of deontic logic , 2011, Artificial Intelligence and Law.

[28]  David Makinson,et al.  On the logic of theory change: Contraction functions and their associated revision functions , 2008 .

[29]  Robert Dunn.  Springs of Action. Understanding Intentional Behavior , 1993 .

[30]  Mirko Navara.  Triangular norms and conorms , 2007, Scholarpedia.

[31]  Henry Prakken,et al.  Formalising arguments about norms , 2013, JURIX.

[32]  Pierpaolo Battigalli,et al.  Strong Belief and Forward Induction Reasoning , 2002, J. Econ. Theory.

[33]  Michael Wooldridge,et al.  Robust normative systems and a logic of norm compliance , 2010, Log. J. IGPL.

[34]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[35]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

[36]  H. Simon,et al.  Rational choice and the structure of the environment. , 1956, Psychological review.

[37]  Carlos E. Alchourrón,et al.  Hierarchies of Regulations and their Logic , 1981 .

[38]  H. Young,et al.  The Evolution of Conventions , 1993 .

[39]  Antonino Rotolo,et al.  Norm Compliance of Rule-Based Cognitive Agents , 2011, IJCAI.

[40]  Ronen I. Brafman,et al.  An axiomatic treatment of three qualitative decision criteria , 2000, JACM.

[41]  Guido Boella,et al.  A Game-Theoretic Approach to Normative Multi-Agent Systems , 2007, Normative Multi-agent Systems.

[42]  Cristiano Castelfranchi,et al.  A convention or (tacit) agreement betwixt us: on reliance and its normative consequences , 2012, Synthese.

[43]  Natalia Criado,et al.  Human-inspired model for norm compliance decision making , 2013, Inf. Sci..

[44]  C. Bicchieri.  The grammar of society: the nature and dynamics of social norms , 2005 .

[45]  G. Loewenstein,et al.  The Role of Emotion in Economic Behavior , 2007 .

[46]  Emiliano Lorini,et al.  Dynamic Context Logic , 2009, LORI.

[47]  Leon van der Torre,et al.  Constraints for Input/Output Logics , 2001, J. Philos. Log..

[48]  R. Sugden,et al.  Testing for Regret and Disappointment in Choice under Uncertainty , 1987 .

[49]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.

[50]  Leon van der Torre,et al.  Combining fuzzy logic and formal argumentation for legal interpretation , 2017, ICAIL.

[51]  John F. Horty,et al.  Moral dilemmas and nonmonotonic logic , 1994, J. Philos. Log..

[52]  B. V. Fraassen.  Values and the Heart's Command , 1973 .

[53]  Ronen I. Brafman,et al.  On the Foundations of Qualitative Decision Theory , 1996, AAAI/IAAI, Vol. 2.

[54]  Fred I. Dretske.  Explaining Behavior: Reasons in a World of Causes , 1990 .

[55]  Jan M. Broersen,et al.  Deontic epistemic stit logic distinguishing modes of mens rea , 2011, J. Appl. Log..

[56]  Michael Wooldridge,et al.  Quantified coalition logic , 2007, Synthese.

[57]  Martine De Cock,et al.  Fuzzy Argumentation Frameworks , 2008 .

[58]  Guido Boella,et al.  Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation , 2009, AICOL Workshops.

[59]  David Lewis,et al.  A Problem About Permission , 1979 .

[60]  Emiliano Lorini,et al.  A New Look at the Semantics and Optimization Methods of CP-Networks , 2003, IJCAI.

[61]  J. Horty.  Agency and Deontic Logic , 2001 .

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

[63]  Leon van der Torre,et al.  "Sing and Dance!" - Input/Output Logics without Weakening , 2014, DEON.

[64]  Rainer Reisenzein,et al.  Emotional Experience in the Computational Belief–Desire Theory of Emotion , 2009 .

[65]  N. Belnap,et al.  Facing the Future: Agents and Choices in Our Indeterminist World , 2001 .

[66]  T. J. Smiley.  Review: Erik Stenius, The Principles of a Logic of Normative Systems , 1971 .

[67]  Leon van der Torre,et al.  Combining Constitutive and Regulative Norms in Input/Output Logic , 2014, DEON.

[68]  Leon van der Torre,et al.  An Update Semantics for Prima Facie Obligations , 1998, ECAI.

[69]  C. John,et al.  Utilitarianism and beyond: Morality and the theory of rational behaviour , 1982 .

[70]  Davide Grossi,et al.  Constitutive Norms and Counts-as Conditionals , 2013 .

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

[72]  Doris Liebwald,et al.  Law’s Capacity for Vagueness , 2013 .

[73]  Bart Ons,et al.  A varying abstraction model for categorization , 2005 .

[74]  Judea Pearl,et al.  Qualitative Probabilities for Default Reasoning, Belief Revision, and Causal Modeling , 1996, Artif. Intell..

[75]  J. Hage.  Reasoning with Rules: An Essay on Legal Reasoning and Its Underlying Logic , 1996 .

[76]  L. Armour.  Law and Reason , 1975 .

[77]  Michael Luck,et al.  Normative agent reasoning in dynamic societies , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[78]  Sarit Kraus,et al.  Knowledge, Belief and Time , 1986, Theor. Comput. Sci..

[79]  Éric Grégoire,et al.  Logic-based approaches to information fusion , 2006, Inf. Fusion.

[80]  John-Jules Ch. Meyer,et al.  A Logical Approach to the Dynamics of Commitments , 1999, Artif. Intell..

[81]  Craig Boutilier,et al.  Toward a Logic for Qualitative Decision Theory , 1994, KR.

[82]  R. Kirk.  CONVENTION: A PHILOSOPHICAL STUDY , 1970 .

[83]  Astrid Hopfensitz,et al.  *The Importance of Emotions for the Effectiveness of Social Punishment , 2005 .

[84]  J. Locke.  An Essay concerning Human Understanding , 1924, Nature.

[85]  Claudette Cayrol,et al.  Graduality in Argumentation , 2011, J. Artif. Intell. Res..

[86]  R Fox,et al.  Moral dilemmas. , 1998, Journal of the Royal Society of Medicine.

[87]  David Makinson,et al.  Five faces of minimality , 1993, Stud Logica.

[88]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[89]  Frank Dignum,et al.  Classificatory Aspects of Counts-as: An Analysis in Modal Logic , 2006, J. Log. Comput..

[90]  A. Maslow.  A Theory of Human Motivation , 1943 .

[91]  Pierpaolo Battigalli,et al.  Guilt in Games , 2007 .

[92]  Leon van der Torre,et al.  An Update Semantics for Defeasible Obligations , 1999, UAI.

[93]  Anthony Willing.  A note on Rescher's ‘Semantic Foundations for the Logic of Preference’ , 1976 .

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

[95]  Julian Padget,et al.  Formalizing a Language for Institutions and Norms , 2001, ATAL.

[96]  Emiliano Lorini,et al.  A Modal Logic of Epistemic Games , 2010, Games.

[97]  Antonino Rotolo,et al.  On the Logical Nature of Count-as Conditionals , 2004 .

[98]  Jan A. Plaza,et al.  Logics of public communications , 2007, Synthese.

[99]  Guido Boella,et al.  Permissions and obligations in hierarchical normative systems , 2003, ICAIL.

[100]  Sébastien Konieczny,et al.  Logic Based Merging , 2011, J. Philos. Log..

[101]  Serena Villata,et al.  An ASPIC-based legal argumentation framework for deontic reasoning , 2014, COMMA.

[102]  Serena Villata,et al.  Prioritized Norms and Defaults in Formal Argumentation , 2016, DEON.

[103]  Leon van der Torre.  Violated Obligations in a Defeasible Deontic Logic , 1994, ECAI.

[104]  J. Haidt,et al.  The Moral Emotions , 2009 .

[105]  D. Holdcroft.  Expression and Meaning. , 1982 .

[106]  Koen V. Hindriks,et al.  Agent reasoning for norm compliance: a semantic approach , 2013, AAMAS.

[107]  R. Hilpinen.  Deontic Logic: Introductory and Systematic Readings , 1981 .

[108]  Michal Araszkiewicz,et al.  Interpreting Agents , 2016, JURIX.

[109]  Frank Dignum,et al.  Designing a Deontic Logic of Deadlines , 2004, DEON.

[110]  Guido Boella,et al.  Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations , 2008, PRIMA.

[111]  Fengkui Ju,et al.  Imperatives and Logic ∗ , 2010 .

[112]  Dale T. Miller,et al.  Norm theory: Comparing reality to its alternatives , 1986 .

[113]  K. Scherer,et al.  Appraisal processes in emotion: Theory, methods, research. , 2001 .

[114]  Zenon W. Pylyshyn,et al.  Computation and Cognition: Toward a Foundation for Cognitive Science , 1984 .

[115]  Sandip Sen,et al.  Emergence of Norms through Social Learning , 2007, IJCAI.

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

[117]  Emiliano Lorini,et al.  A logic of emotions: from appraisal to coping , 2012, AAMAS.

[118]  Paul McNamara,et al.  Deontic logic , 2006, Logic and the Modalities in the Twentieth Century.

[119]  Robert Pargetter,et al.  Oughts, options, and actualism , 1986 .

[120]  Margaret Gilbert.  Modelling collective belief , 1987, Synthese.

[121]  Guido Governatori,et al.  Thou shalt is not you will , 2014, ICAIL.

[122]  Edwina L. Rissland,et al.  Arguments and cases: An inevitable intertwining , 1992, Artificial Intelligence and Law.

[123]  Guido Governatori,et al.  Changing legal systems: legal abrogations and annulments in Defeasible Logic , 2010, Log. J. IGPL.

[124]  Guido Boella,et al.  AGM Contraction and Revision of Rules , 2016, Journal of Logic, Language and Information.

[125]  Alan Ross Anderson.  On the logic of “commitment” , 1959 .

[126]  Bas C. van Fraassen,et al.  The logic of conditional obligation , 1972, J. Philos. Log..

[127]  Leon van der Torre,et al.  Reasoning about Norms, Obligations, Time and Agents , 2007, PRIMA.

[128]  Sanjay Modgil,et al.  Prioritised Default Logic as Rational Argumentation , 2016, AAMAS.

[129]  J. Benthem,et al.  Priority Structures in Deontic Logic , 2014 .

[130]  Joseph Y. Halpern,et al.  A logical characterization of iterated admissibility , 2009, TARK '09.

[131]  Mehdi Dastani,et al.  BDIOCTL: Obligations and the Specification of Agent Behavior , 2003, IJCAI.

[132]  Hans Kamp,et al.  Free Choice Permission , 2013 .

[133]  Henry Prakken,et al.  Contrary-to-duty obligations , 1996, Stud Logica.

[134]  N. Frijda,et al.  Relations among emotion, appraisal, and emotional action readiness , 1989 .

[135]  Guido Governatori,et al.  A computational framework for institutional agency , 2008, Artificial Intelligence and Law.

[136]  Andrew J. I. Jones,et al.  Deontic Logic and Contrary-to-Duties , 2002 .

[137]  J. Tangney,et al.  Recent Advances in the Empirical Study of Shame and Guilt , 1995 .

[138]  Deborah Tollefsen,et al.  Collective Intentionality and the Social Sciences , 2002 .

[139]  Zdzisław Ziemba.  Deontic syllogistics , 1971 .

[140]  John F. Horty,et al.  Deontic Modals: Why Abandon the Classical Semantics? , 2014 .

[141]  Jennifer Nacht,et al.  Modal Logic An Introduction , 2016 .

[142]  Julian Padget,et al.  Run-time norm compliance in BDI agents , 2014, AAMAS.

[143]  Roderick M. Chisholm,et al.  Contrary-To-Duty Imperatives and Deontic Logic , 1963 .

[144]  Paolo Mancarella,et al.  Argumentation for Propositional Logic and Nonmonotonic Reasoning , 2014, CILC.

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

[146]  R. A. Nelson,et al.  Common ground. , 2020, Lancet.

[147]  G. Sartor.  Legal Reasoning: A Cognitive Approach to Law , 2005 .

[148]  Hugh Mccann.  SETTLED OBJECTIVES AND RATIONAL CONSTRAINTS , 2016 .

[149]  Emiliano Lorini,et al.  The cognitive structure of surprise: looking for basic principles , 2007 .

[150]  Sarit Kraus,et al.  Combining Knowledge Bases Consisting of First Order Theories , 1991, ISMIS.

[151]  Sarit Kraus,et al.  Collaborative Plans for Complex Group Action , 1996, Artif. Intell..

[152]  Johan van Benthem,et al.  Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences , 2009, J. Philos. Log..

[153]  D. Lewis.  Desire as Belief II , 1996 .

[154]  G. Lakoff,et al.  Metaphors We Live by , 1982 .

[155]  Kevin D. Ashley.  Modeling legal argument - reasoning with cases and hypotheticals , 1991, Artificial intelligence and legal reasoning.

[156]  Jon Doyle,et al.  Preferential Semantics for Goals , 1991, AAAI.

[157]  Frank Dignum,et al.  The many faces of counts-as: A formal analysis of constitutive rules , 2008, J. Appl. Log..

[158]  Cristiano Castelfranchi,et al.  From conventions to prescriptions. Towards an integrated view of norms , 1999, Artificial Intelligence and Law.

[159]  Michal Araszkiewicz,et al.  Modeling teleological interpretation , 2013, ICAIL.

[160]  K. Taylor.  Natural justice. , 1998, The Lamp.

[161]  Emiliano Lorini,et al.  A minimal logic for interactive epistemology , 2015, Synthese.

[162]  J. Hintikka,et al.  Game-Theoretical Semantics , 1997 .

[163]  Trevor J. M. Bench-Capon.  The missing link revisited: The role of teleology in representing legal argument , 2002, Artificial Intelligence and Law.

[164]  Joseph Y. Halpern,et al.  Axiomatizing Rationality , 2014, KR.

[165]  T. Gordon.  The Pleadings Game , 1993, ICAIL '93.

[166]  Erich Grädel.  Model Checking Games , 2002, Electron. Notes Theor. Comput. Sci..

[167]  G. Postema,et al.  A Treatise of Legal Philosophy and General Jurisprudence , 2011 .

[168]  Sanjay Modgil,et al.  On the Graded Acceptability of Arguments , 2015, IJCAI.

[169]  Rohit Parikh,et al.  The Logic of Knowledge Based Obligation , 2006, Synthese.

[170]  H. Keisler,et al.  ADMISSIBILITY IN GAMES , 2008 .

[171]  Leon van der Torre,et al.  Aggregative Deontic Detachment for Normative Reasoning , 2014, KR.

[172]  Sean A. Spence,et al.  Descartes' Error: Emotion, Reason and the Human Brain , 1995 .

[173]  Douglas Walton,et al.  Legal reasoning with argumentation schemes , 2009, ICAIL.

[174]  D. M. Gabbaya.  Equational approach to argumentation networks , 2012 .

[175]  C. Aitken,et al.  The logic of decision , 2014 .

[176]  Mehdi Dastani,et al.  Programming norm-aware agents , 2012, AAMAS.

[177]  Yao-Hua Tan,et al.  Two-phase Deontic Logic , 2022 .

[178]  Alberto O. Mendelzon,et al.  Merging Databases Under Constraints , 1998, Int. J. Cooperative Inf. Syst..

[179]  Guido Governatori,et al.  Permissions in Deontic Event-Calculus , 2015, JURIX.

[180]  D. Cicchetti.  Emotion and Adaptation , 1993 .

[181]  Roger B. Myerson,et al.  Game theory - Analysis of Conflict , 1991 .

[182]  James William Forrester,et al.  Gentle Murder, or the Adverbial Samaritan , 1984 .

[183]  Éric Grégoire,et al.  Fusing legal knowledge , 2004, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004..

[184]  A. Perea.  Epistemic Game Theory: Reasoning and Choice , 2012 .

[185]  Emiliano Lorini,et al.  A logical analysis of responsibility attribution: emotions, individuals and collectives , 2014, J. Log. Comput..

[186]  John-Jules Ch. Meyer,et al.  Reasoning about emotional agents , 2004, Int. J. Intell. Syst..

[187]  Ruth Barcan Marcus,et al.  Moral Dilemmas and Consistency , 1980 .

[188]  George Lakoff,et al.  Women, Fire, and Dangerous Things , 1987 .

[189]  Claudette Cayrol,et al.  Integrating Preference Orderings into Argument-Based Reasoning , 1997, ECSQARU-FAPR.

[190]  Dominique Longin,et al.  C&L Intention Revisited , 2004, KR.

[191]  Edgar A. Whitley,et al.  The Construction of Social Reality , 1999 .

[192]  Barbara Dunin-Keplicz,et al.  Collective Intentions , 2002, Fundam. Informaticae.

[193]  Laurence Cholvy,et al.  An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties , 2001, Fundam. Informaticae.

[194]  Robert J. Aumann,et al.  Interactive epistemology I: Knowledge , 1999, Int. J. Game Theory.

[195]  Leon van der Torre,et al.  Rights, Duties and Commitments between Agents , 1999, IJCAI.

[196]  Mehdi Dastani,et al.  Goal generation in the BOID architecture , 2002 .

[197]  Peter Vanderschraaf,et al.  Convention as correlated equilibrium , 1995 .

[198]  D. North.  Institutions, Institutional Change and Economic Performance: Economic performance , 1990 .

[199]  Michael Wooldridge,et al.  Understanding the Emergence of Conventions in Multi-Agent Systems , 1995, ICMAS.

[200]  Leon van der Torre,et al.  The Temporal Analysis of Chisholm's Paradox , 1998, AAAI/IAAI.

[201]  J. Searle.  Rationality in Action , 2001 .

[202]  Guido Governatori,et al.  Interpretation Across Legal Systems , 2016, JURIX.

[203]  Lou Goble,et al.  A logic for deontic dilemmas , 2005, J. Appl. Log..

[204]  Jörg Hansen,et al.  Problems and results for logics about imperatives , 2004, J. Appl. Log..

[205]  Leon van der Torre,et al.  Input/Output Logics , 2000, J. Philos. Log..

[206]  Loes Olde Loohuis.  Obligations in a Responsible World , 2009, LORI.

[207]  Judea Pearl,et al.  From Conditional Oughts to Qualitative Decision Theory , 1993, UAI.

[208]  Dominique Longin,et al.  A logical formalization of the OCC theory of emotions , 2009, Synthese.

[209]  L. Åqvist.  Good Samaritans, Contrary-to-Duty Imperatives, and Epistemic Obligations , 1967 .

[210]  Cristiano Castelfranchi,et al.  Modeling Social Action for AI Agents , 1997, IJCAI.

[211]  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..

[212]  Christian List,et al.  Group Agency - The Possibility, Design, and Status of Corporate Agents , 2011 .

[213]  Xavier Parent,et al.  On the Strong Completeness of Åqvist's Dyadic Deontic Logic G , 2008, DEON.

[214]  Joseph Y. Halpern.  Beyond nash equilibrium: solution concepts for the 21st century , 2008, PODC '08.

[215]  Stacy Marsella,et al.  A domain-independent framework for modeling emotion , 2004, Cognitive Systems Research.

[216]  S. Brison.  The Intentional Stance , 1989 .

[217]  Eric Pacuit,et al.  Changing Types: Information Dynamics for Qualitative Type Spaces , 2014, Stud Logica.

[218]  Leila Amgoud,et al.  Postulates for logic-based argumentation systems , 2014, Int. J. Approx. Reason..

[219]  John F. Horty,et al.  Defaults with Priorities , 2007, J. Philos. Log..

[220]  Yoav Shoham,et al.  Logics of Knowledge and Belief , 2008 .

[221]  R. Sugden.  The Economics of Rights, Co-Operation, and Welfare , 1986 .

[222]  Jonathan A. Zvesper.  Playing with information , 2010 .

[223]  Hector-Neri Castañeda,et al.  The Paradoxes of Deontic Logic: The Simplest Solution to all of them in one Fell Swoop , 1981 .

[224]  Mehdi Dastani,et al.  Reasoning under compliance assumptions in normative multiagent systems , 2012, AAMAS.

[225]  Li-Yan Yuan,et al.  Nonmonotonic Reasoning as Prioritized Argumentation , 2001, IEEE Trans. Knowl. Data Eng..

[226]  Emiliano Lorini,et al.  A Logical Account of Institutions: From Acceptances to Norms via Legislators , 2008, KR.

[227]  Yao-Hua Tan,et al.  The Many Faces of Defeasibility in Defeasible Deontic Logic , 1997 .

[228]  Guido Governatori,et al.  Legal contractions: a logical analysis , 2013, ICAIL.

[229]  J. Eccles.  The emotional brain. , 1980, Bulletin et memoires de l'Academie royale de medecine de Belgique.

[230]  B. Hansson.  An analysis of some deontic logics , 1969 .

[231]  N. Aplin.  PSYCHOLOGICAL EXPECTED UTILITY THEORY AND ANTICIPATORY FEELINGS * A , 1997 .

[232]  B. Schweizer,et al.  Statistical metric spaces. , 1960 .

[233]  A. Tversky.  Features of Similarity , 1977 .

[234]  Phan Minh Dung,et al.  An axiomatic analysis of structured argumentation with priorities , 2016, Artif. Intell..

[235]  Torsten Schaub,et al.  A Comparative Study of Logic Programs with Preference: Preliminary Report , 2001, Answer Set Programming.

[236]  Jörg Hansen.  Sets, Sentences, and Some Logics about Imperatives , 2001, Fundam. Informaticae.

[237]  Leon van der Torre,et al.  Permission from an Input/Output Perspective , 2003, J. Philos. Log..

[238]  Moshe Tennenholtz,et al.  On the Emergence of Social Conventions: Modeling, Analysis, and Simulations , 1997, Artif. Intell..

[239]  A. Manstead,et al.  On bad decisions and disconfirmed expectancies: The psychology of regret and disappointment , 2000 .

[240]  Guido Governatori,et al.  Deontic defeasible reasoning in legal interpretation: two options for modelling interpretive arguments , 2015, ICAIL.

[241]  Stephen D. Schwarz.  The Right and the Good , 1992 .

[242]  Emiliano Lorini,et al.  The Logic of Acceptance: Grounding Institutions on Agents' Attitudes , 2009, J. Log. Comput..

[243]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[244]  Trevor J. M. Bench-Capon.  Value-based argumentation frameworks , 2002, NMR.

[245]  Emiliano Lorini,et al.  Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces , 2016, Synthese.

[246]  Madalina Croitoru,et al.  A quantitative preference-based structured argumentation system for decision support , 2014, 2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE).

[247]  John F. Horty,et al.  Nonmonotonic Foundations for Deontic Logic , 1997 .

[248]  Gabriella Pigozzi,et al.  Ten Philosophical Problems in Deontic Logic , 2007, Normative Multi-agent Systems.

[249]  Wolfgang Spohn,et al.  An analysis of Hansson's dyadic deontic logic , 1975, J. Philos. Log..

[250]  Emiliano Lorini,et al.  A logic of intention and attempt , 2008, Synthese.

[251]  Munindar P. Singh,et al.  A logic of intentions and beliefs , 1993, J. Philos. Log..

[252]  Ira J. Roseman.  Appraisal Determinants of Emotions: Constructing a More Accurate and Comprehensive Theory , 1996 .

[253]  Audun Stolpe.  Normative Consequence: The Problem of Keeping It Whilst Giving It up , 2008, DEON.

[254]  Johan van Benthem,et al.  Rational Dynamics and Epistemic Logic in Games , 2007, IGTR.

[255]  John F. Horty,et al.  Reasoning with Moral Conflicts , 2003 .

[256]  Michal Araszkiewicz,et al.  Comprehensive Framework Embracing the Complexity of Statutory Interpretation , 2015, JURIX.

[257]  Gabriella Pigozzi,et al.  Arguing about constitutive and regulative norms , 2018, J. Appl. Non Class. Logics.

[258]  Serena Villata,et al.  Changing One ’ s Mind : Erase or Rewind ? Possibilistic Belief Revision with Fuzzy Argumentation based on Trust , 2011 .

[259]  R. Baumeister,et al.  Guilt: an interpersonal approach. , 1994, Psychological bulletin.

[260]  Jörg Hansen.  Conflicting imperatives and dyadic deontic logic , 2005, J. Appl. Log..

[261]  Jon Doyle,et al.  Background to Qualitative Decision Theory , 1999, AI Mag..

[262]  Henry Prakken,et al.  A general account of argumentation with preferences , 2013, Artif. Intell..

[263]  R. Rob,et al.  Learning, Mutation, and Long Run Equilibria in Games , 1993 .

[264]  Henry Prakken,et al.  A dialectical model of assessing conflicting arguments in legal reasoning , 1996, Artificial Intelligence and Law.

[265]  Trevor J. M. Bench-Capon,et al.  Argumentation in Legal Reasoning , 2009, Argumentation in Artificial Intelligence.

[266]  Leonie Kohl.  The Concept Of Law , 2016 .

[267]  Syed Shariq,et al.  Learning, Institutions, and Economic Performance , 2004, Perspectives on Politics.

[268]  Henry Prakken,et al.  Towards a Formal Account of Reasoning about Evidence: Argumentation Schemes and Generalisations , 2003, Artificial Intelligence and Law.

[269]  Jörg Hansen.  Prioritized conditional imperatives: problems and a new proposal , 2007, Autonomous Agents and Multi-Agent Systems.

[270]  Laurence Cholvy,et al.  Reasoning About Norms Provided By Conflicting Regulations , 1998 .

[271]  Henry Prakken,et al.  An exercise in formalising teleological case-based reasoning , 2002, Artificial Intelligence and Law.

[272]  Jonathan A. Zvesper,et al.  Keep ‘hoping’ for rationality: a solution to the backward induction paradox , 2009, Synthese.

[273]  Michael Wooldridge,et al.  Weighted argument systems: Basic definitions, algorithms, and complexity results , 2011, Artif. Intell..

[274]  Giacomo Sillari,et al.  A Logical Framework for Convention , 2005, Synthese.

[275]  Jan Odelstad,et al.  The theory of joining-systems , 2013 .

[276]  Audun Stolpe,et al.  Norm-system revision: theory and application , 2010, Artificial Intelligence and Law.

[277]  John MacFarlane,et al.  Ifs and Oughts , 2010 .

[278]  Guido Governatori,et al.  Algorithms for tractable compliance problems , 2014, Frontiers of Computer Science.

[279]  J. Searle.  Intentionality: An Essay in the Philosophy of Mind , 1983 .

[280]  C. E. Alchourrón,et al.  The Expressive Conception of Norms , 1981 .

[281]  Henry Prakken,et al.  A logical framework for modelling legal argument , 1993, International Conference on Artificial Intelligence and Law.

[282]  Hajime Yoshino,et al.  The systematization of legal meta-inference , 1995, ICAIL '95.

[283]  Bart Verheij,et al.  Dialectical Argumentation with Argumentation Schemes: An Approach to Legal Logic , 2003, Artificial Intelligence and Law.

[284]  R. Tuomela.  The Philosophy of Sociality , 2007 .

[285]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[286]  Barbara Dunin-Keplicz,et al.  Teamwork in Multi-Agent Systems - A Formal Approach , 2010, Wiley series in agent technology.

[287]  Thomas Eiter,et al.  Preferred Answer Sets for Extended Logic Programs , 1999, Artif. Intell..

[288]  Andrew Ortony,et al.  The Cognitive Structure of Emotions , 1988 .

[289]  Lou Goble,et al.  Normative Conflicts and The Logic of ‘Ought’ , 2009 .

[290]  Leon van der Torre,et al.  Merging Rules: Preliminary Version , 2006 .

[291]  Raimo Tuomela,et al.  The Philosophy of Social Practices: A Collective Acceptance View , 2002 .

[292]  Giulia Andrighetto,et al.  The Complex Loop of Norm Emergence: A Simulation Model , 2008, WCSS.

[293]  Leon van der Torre,et al.  The pragmatic oddity in norm-based deontic logics , 2017, ICAIL.

[294]  Marc Pauly,et al.  A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..

[295]  A. D'Amato,et al.  Legal Uncertainty , 2000 .

[296]  David Lewis,et al.  Semantic Analyses for Dyadic Deontic Logic , 1974 .