Addressing Moral Problems Through Practical Reasoning

In this paper, following the work of Hare, we consider moral reasoning not as the application of moral norms and principles, but as reasoning about what ought to be done in a particular situation, with moral norms perhaps emerging from this reasoning. We model this situated reasoning drawing on our previous work on argumentation schemes, here set in the context of Action-Based Alternating Transition Systems. We distinguish what prudentially ought to be done from what morally ought to be done, consider what legislation might be appropriate and characterise the differences between morally correct, morally praiseworthy and morally excusable actions.

[1]  Trevor J. M. Bench-Capon George C. Christie, The Notion of an Ideal Audience in Legal Argument , 2004, Artificial Intelligence and Law.

[2]  Trevor J. M. Bench-Capon,et al.  Action-Based Alternating Transition Systems for Arguments about Action , 2007, AAAI.

[3]  Jules L. Coleman,et al.  Risks and Wrongs. , 1995 .

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

[5]  Souhila Kaci,et al.  On the Generation of Bipolar Goals in Argumentation-Based Negotiation , 2004, ArgMAS.

[6]  Sven Ove Hansson,et al.  The Structure of Values and Norms , 2007, Cambridge Studies in Probability, Induction and Decision Theory.

[7]  D. Walton Argumentation Schemes for Presumptive Reasoning , 1995 .

[8]  Paul McNamara Doing well enough: Toward a logic for common-sense morality , 1996, Stud Logica.

[9]  Trevor J. M. Bench-Capon,et al.  A Dialogue Game Protocol for Multi-Agent Argument over Proposals for Action , 2004, Autonomous Agents and Multi-Agent Systems.

[10]  Elizabeth M. Pybus ‘Saints and Heroes’ , 1982, Philosophy.

[11]  Trevor J. M. Bench-Capon,et al.  A Dialogue Game Protocol for Multi-agent Argument over Proposals for Action , 2004, ArgMAS.

[12]  Michael Wooldridge Social Laws in Alternating Time , 2004, DEON.

[13]  Trevor J. M. Bench-Capon,et al.  Addressing moral problems through practical reasoning , 2008, J. Appl. Log..

[14]  Trevor J. M. Bench-Capon,et al.  Modelling State Intervention in Cases of Conflicting Interests , 2006, JURIX.

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

[16]  Trevor J. M. Bench-Capon,et al.  Computational Representation of Practical Argument , 2006, Synthese.

[17]  Yuya Hurtavenko,et al.  Saints and heroes , 1996 .

[18]  Katie Atkinson,et al.  What should we do? : computational representation of persuasive argument in practical reasoning , 2005 .

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

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

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

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

[23]  Moshe Tennenholtz,et al.  Artificial Social Systems , 1992, Lecture Notes in Computer Science.

[24]  Trevor J. M. Bench-Capon,et al.  Argumentation and standards of proof , 2007, ICAIL.

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

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