Norms and value based reasoning: justifying compliance and violation

There is an increasing need for norms to be embedded in technology as the widespread deployment of applications such as autonomous driving, warfare and big data analysis for crime fighting and counter-terrorism becomes ever closer. Current approaches to norms in multi-agent systems tend either to simply make prohibited actions unavailable, or to provide a set of rules (principles) which the agent is obliged to follow, either as part of its design or to avoid sanctions and punishments. In this paper we argue for the position that agents should be equipped with the ability to reason about a system’s norms, by reasoning about the social and moral values that norms are designed to serve; that is, perform the sort of moral reasoning we expect of humans. In particular we highlight the need for such reasoning when circumstances are such that the rules should arguably be broken, so that the reasoning can guide agents in deciding whether to comply with the norms and, if violation is desirable, how best to violate them. One approach to enabling this is to make use of an argumentation scheme based on values and designed for practical reasoning: arguments for and against actions are generated using this scheme and agents choose between actions based on their preferences over these values. Moral reasoning then requires that agents have an acceptable set of values and an acceptable ordering on their values. We first discuss how this approach can be used to think about and justify norms in general, and then discuss how this reasoning can be used to think about when norms should be violated, and the form this violation should take. We illustrate how value based reasoning can be used to decide when and how to violate a norm using a road traffic example. We also briefly consider what makes an ordering on values acceptable, and how such an ordering might be determined.

[1]  P. Foot Virtues and Vices and Other Essays in Moral Philosophy , 1978 .

[2]  Trevor J. M. Bench-Capon,et al.  Argument schemes for two-phase democratic deliberation , 2011, ICAIL.

[3]  Moshe Tennenholtz,et al.  Power in normative systems , 2009, AAMAS.

[4]  Randolph Sloof,et al.  Cultural Differences in Ultimatum Game Experiments: Evidence from a Meta-Analysis , 2001 .

[5]  Michael F. Malone,et al.  Feasibility and synthesis of hybrid reactive distillation systems , 2002 .

[6]  R. Lipsey,et al.  The General Theory of Second Best , 1956 .

[7]  Trevor J. M. Bench-Capon,et al.  Fostering co-operative behaviour through social intervention , 2014, 2014 4th International Conference On Simulation And Modeling Methodologies, Technologies And Applications (SIMULTECH).

[8]  Trevor J. M. Bench-Capon,et al.  Statement Types in Legal Argument , 2016, JURIX.

[9]  George Loewenstein,et al.  Experimental Economics From the Vantage‐point of Behavioural Economics , 1999 .

[10]  H. Simon,et al.  Rationality as Process and as Product of Thought , 1978 .

[11]  Trevor J. M. Bench-Capon,et al.  Automating Argumentation for Deliberation in Cases of Conflict of Interest , 2006, COMMA.

[12]  Alvin E. Roth,et al.  Equilibrium behavior and repeated play of the prisoner's dilemma , 1978 .

[13]  E. Ullmann-Margalit The Emergence Of Norms , 1977 .

[14]  Toshiharu Sugawara,et al.  Emergence and Stability of Social Conventions in Conflict Situations , 2011, IJCAI.

[15]  Bart Verheij,et al.  Arguments about Values , 2013 .

[16]  Csr Young,et al.  How to Do Things With Words , 2009 .

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

[18]  Giovanni Sartor,et al.  Doing justice to rights and values: teleological reasoning and proportionality , 2010, Artificial Intelligence and Law.

[19]  Maureen B. Collins Rules are Made to Be Broken , 1996 .

[20]  A. Martinich Leviathan , 2005, A Jewish Bestiary.

[21]  Henry Prakken,et al.  Modelling Reasoning with Precedents in a Formal Dialogue Game , 1998 .

[22]  R. M. Hare Freedom and reason , 1964 .

[23]  Trevor J. M. Bench-Capon Value-Based Reasoning and Norms , 2016, ECAI.

[24]  Michael Wooldridge,et al.  Optimal social laws , 2010, AAMAS.

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

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

[27]  Dragan Bosnacki,et al.  Discrete-Time Promela and Spin , 1998, FTRTFT.

[28]  Henry Prakken,et al.  Multi-criteria Argument Selection in Persuasion Dialogues , 2011, ArgMAS.

[29]  Edgar Bodenheimer,et al.  Justice, Law, and Argument. Essays on Moral and Legal Reasoning , 1981 .

[30]  Trevor J. M. Bench-Capon,et al.  An empirical investigation of reasoning with legal cases through theory construction and application , 2005, Artificial Intelligence and Law.

[31]  Trevor J. M. Bench-Capon,et al.  A Methodology for Action-Selection using Value-Based Argumentation , 2008, COMMA.

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

[33]  A. Rapoport,et al.  Prisoner's Dilemma: A Study in Conflict and Co-operation , 1970 .

[34]  Trevor J. M. Bench-Capon Persuasion in Practical Argument Using Value-based Argumentation Frameworks , 2003, J. Log. Comput..

[35]  H. Oosterbeek,et al.  Cultural Differences in Ultimatum Game Experiments: Evidence from a Meta-Analysis , 2001 .

[36]  R. Axelrod An Evolutionary Approach to Norms , 1986, American Political Science Review.

[37]  Henry Prakken Preferring the Most Specific Argument , 1997 .

[38]  C. Engel Dictator games: a meta study , 2010 .

[39]  George C. Christie The Notion of an Ideal Audience in Legal Argument , 2000 .

[40]  Michael Fisher,et al.  Formal verification of ethical choices in autonomous systems , 2016, Robotics Auton. Syst..

[41]  D. Dennett Darwin's Dangerous Idea , 1995 .

[42]  Trevor J. M. Bench-Capon,et al.  Establishing norms with metanorms in distributed computational systems , 2015, Artificial Intelligence and Law.

[43]  Joris Hulstijn,et al.  Value-Based Argumentation for Justifying Compliance , 2010, DEON.

[44]  B. Skyrms Evolution of the social contract , 1996 .

[45]  Michael E. Bratman,et al.  Intention, Plans, and Practical Reason , 1991 .

[46]  Iyad Rahwan,et al.  The social dilemma of autonomous vehicles , 2015, Science.

[47]  Trevor J. M. Bench-Capon,et al.  A model of legal reasoning with cases incorporating theories and values , 2003, Artif. Intell..

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

[49]  Theo Tryfonas,et al.  Frontiers in Artificial Intelligence and Applications , 2009 .

[50]  Katie Atkinson,et al.  Algorithms for decision problems in argument systems under preferred semantics , 2014, Artif. Intell..

[51]  Marc Esteva,et al.  ISLANDER: an electronic institutions editor , 2002, AAMAS '02.

[52]  Trevor J. M. Bench-Capon,et al.  Did he jump or was he pushed? , 2009, Artificial Intelligence and Law.

[53]  Maryam Purvis,et al.  Social norm emergence in virtual agent societies (Short Paper) , 2008 .

[54]  George Loewenstein,et al.  FROM THE VANTAGEPOINT OF BEHAVIOURAL ECONOMICS , 1999 .

[55]  Hector J. Levesque,et al.  On Acting Together , 1990, AAAI.

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

[57]  Trevor J. M. Bench-Capon,et al.  Metalevel argumentation , 2011, J. Log. Comput..

[58]  Bastin Tony Roy Savarimuthu,et al.  Social Norm Emergence in Virtual Agent Societies , 2008, DALT.

[59]  Jaap Hage,et al.  An Integrated View on Rules and Principles , 1998, Artificial Intelligence and Law.

[60]  Trevor J. M. Bench-Capon,et al.  Argumentation for Decision Support , 2006, DEXA.

[61]  Sarah Hutton,et al.  Cambridge Texts in the History of Philosophy , 1996 .

[62]  Marek J. Sergot,et al.  Deontic logic in the representation of law: Towards a methodology , 2004, Artificial Intelligence and Law.

[63]  Iyad Rahwan,et al.  An Argumentation-Based Approach for Practical Reasoning , 2006, ArgMAS.

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

[65]  Trevor J. M. Bench-Capon,et al.  Addressing Moral Problems Through Practical Reasoning , 2006, DEON.

[66]  Sanjay Modgil,et al.  Reasoning about preferences in argumentation frameworks , 2009, Artif. Intell..

[67]  Bart Verheij,et al.  Formalizing value-guided argumentation for ethical systems design , 2016, Artificial Intelligence and Law.

[68]  P. Foot,et al.  Virtues and Vices , 1982 .

[69]  Ch. Perelman Justice, Law, and Argument: Essays on Moral and Legal Reasoning , 2011 .

[70]  Ch. Perelman The New Rhetoric , 1957 .

[71]  Trevor J. M. Bench-Capon,et al.  Rules are Made to be Broken , 2016 .

[72]  Trevor J. M. Bench-Capon Relating Values in a Series of Supreme Court Decisions , 2011, JURIX.

[73]  Hendrik Prakken,et al.  From Knowledge Representation to Argumentation in AI, Law and Policy Making , 2013 .

[74]  Trevor J. M. Bench-Capon,et al.  Persuasion and Value in Legal Argument , 2005, J. Log. Comput..

[75]  Trevor J. M. Bench-Capon Transition systems for designing and reasoning about norms , 2015, Artificial Intelligence and Law.

[76]  James H. Moor,et al.  The Nature, Importance, and Difficulty of Machine Ethics , 2006, IEEE Intelligent Systems.

[77]  J. Launer Darwin's dangerous idea. , 2002, QJM : monthly journal of the Association of Physicians.

[78]  Gert-Jan C. Lokhorst,et al.  Deontic Logic and Computer‐Supported Computer Ethics , 2002 .

[79]  R. Boyd,et al.  In Search of Homo Economicus: Behavioral Experiments in 15 Small- Scale Societies , 2001 .

[80]  Trevor J. M. Bench-Capon,et al.  Legal Case-based Reasoning as Practical Reasoning , 2005, Artificial Intelligence and Law.

[81]  Ken Binmore The Complexity of Cooperation by Robert Axelrod , 1998, J. Artif. Soc. Soc. Simul..

[82]  Thomas Frei,et al.  An Artificial Intelligence Approach To Legal Reasoning , 2016 .

[83]  Vincent A. W. M. M. Aleven,et al.  Teaching case-based argumentation through a model and examples , 1997 .

[84]  Trevor J. M. Bench-Capon,et al.  Emotion as an Enabler of Co-operation , 2012, ICAART.

[85]  Trevor J. M. Bench-Capon,et al.  Taking the Long View: Looking Ahead in Practical Reasoning , 2014, COMMA.

[86]  Trevor J. M. Bench-Capon,et al.  Integrating Object and Meta-Level Value Based Argumentation , 2008, COMMA.

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

[88]  Renata Vieira,et al.  An Extended Value-Based Argumentation Framework for Ontology Mapping with Confidence Degrees , 2007, ArgMAS.

[89]  Michael Wooldridge,et al.  Social laws in alternating time: effectiveness, feasibility, and synthesis , 2006, Synthese.

[90]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[91]  Wesley Longhofer,et al.  The Division of Labor in Society , 2016 .

[92]  Ronald Prescott Loui,et al.  Rationales and argument moves , 1995, Artificial Intelligence and Law.

[93]  Michael Wooldridge,et al.  On obligations and normative ability: Towards a logical analysis of the social contract , 2005, J. Appl. Log..

[94]  Thomas G. Dietterich,et al.  Letter to the Editor: Research Priorities for Robust and Beneficial Artificial Intelligence: An Open Letter , 2015, AI Mag..

[95]  J. O. Urmson The Interpretation of the Moral Philosophy of J. S. Mill , 1953 .

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

[97]  Trevor J. M. Bench-Capon,et al.  Understanding narratives with argumentation , 2014, COMMA.

[98]  Trevor J. M. Bench-Capon,et al.  When and How to Violate Norms , 2016, JURIX.

[99]  Dov M. Gabbay,et al.  Value-based Argumentation Frameworks as Neural-symbolic Learning Systems , 2005, J. Log. Comput..

[100]  Guillermo Ricardo Simari,et al.  A Mathematical Treatment of Defeasible Reasoning and its Implementation , 1992, Artif. Intell..

[101]  Trevor J. M. Bench-Capon,et al.  PADUA: a protocol for argumentation dialogue using association rules , 2009, Artificial Intelligence and Law.

[102]  Valentina A. M. Tamma,et al.  Using Preferences in Negotiations over Ontological Correspondences , 2015, PRIMA.

[103]  Iyad Rahwan,et al.  An argumentation based approach for practical reasoning , 2006, AAMAS '06.

[104]  Trevor J. M. Bench-Capon,et al.  States, goals and values: Revisiting practical reasoning , 2016, Argument Comput..

[105]  Floriana Grasso,et al.  Dialectical argumentation to solve conflicts in advice giving: a case study in the promotion of healthy nutrition , 2000, Int. J. Hum. Comput. Stud..

[106]  Trevor J. M. Bench-Capon,et al.  Arguments as a new perspective on character motive in stories , 2014, Lit. Linguistic Comput..

[107]  Floris Bex,et al.  Computational Models of Argument, Proceedings of COMMA , 2008, COMMA 2008.

[108]  Agnar Aamodt,et al.  Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches , 1994, AI Commun..

[109]  Jan M. Broersen Responsible Intelligent Systems , 2014, KI - Künstliche Intelligenz.

[110]  Trevor J. M. Bench-Capon,et al.  Value Based Reasoning and the Actions of Others , 2016, ECAI.

[111]  Stuart J. Russell,et al.  Research Priorities for Robust and Beneficial Artificial Intelligence , 2015, AI Mag..

[112]  W. Hamilton,et al.  The evolution of cooperation. , 1984, Science.

[113]  Trevor J. M. Bench-Capon,et al.  Autonomous Agents and Multi-agent Systems Manuscript No. Using Argumentation to Model Agent Decision Making in Economic Experiments , 2022 .

[114]  Carole D. Hafner,et al.  Representing teleological structure in case-based legal reasoning: the missing link , 1993, ICAIL '93.

[115]  Mehdi Dastani,et al.  The BOID architecture: conflicts between beliefs, obligations, intentions and desires , 2001, AGENTS '01.

[116]  蔡森昌 饒斯對功效主義(Utilitarianism)的批評 , 1994 .

[117]  Katie Atkinson,et al.  Using Computational Argumentation to Support E-participation , 2009, IEEE Intelligent Systems.

[118]  Marek J. Sergot,et al.  The British Nationality Act as a logic program , 1986, CACM.

[119]  A. Valente,et al.  Legal Knowledge Engineering - A Modelling Approach , 1995 .

[120]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 1999 .

[121]  Tomasz Zurek,et al.  Goals, values, and reasoning , 2017, Expert Syst. Appl..

[122]  Jeremy Bentham,et al.  The Rationale of Reward , 2008 .

[123]  K. Harding I, Robot , 2017, Practical Neurology.

[124]  J. Kemp,et al.  The Concept of Law , 1962 .

[125]  Trevor J. M. Bench-Capon,et al.  Audiences in argumentation frameworks , 2007, Artif. Intell..

[126]  Irène Abi-Zeid,et al.  Value-based argumentation for policy decision analysis: methodology and an exploratory case study of a hydroelectric project in Québec , 2016, Ann. Oper. Res..

[127]  Alexander Boer Punishments, Rewards, and the Production of Evidence , 2014, JURIX.

[128]  Michael Luck,et al.  Leveraging New Plans in AgentSpeak(PL) , 2008, DALT.

[129]  John K. Pugh,et al.  The Nicomachean Ethics of Aristotle , 1989 .

[130]  Nancy E. Reed,et al.  Practical Reasoning , 1996, Lecture Notes in Computer Science.

[131]  Paul E. Dunne,et al.  Tractability in Value-based Argumentation , 2010, COMMA.

[132]  Trevor J. M. Bench-Capon,et al.  Practical reasoning as presumptive argumentation using action based alternating transition systems , 2007, Artif. Intell..