One Formalization of Virtue Ethics via Learning

Given that there exist many different formal and precise treatments of deontologi- cal and consequentialist ethics, we turn to virtue ethics and consider what could be a formalization of virtue ethics that makes it amenable to automation. We present an embroyonic formalization in a cognitive calculus (which subsumes a quantified first-order logic) that has been previously used to model robust ethical principles, in both the deontological and consequentialist traditions.

[1]  Gerhard Gentzen,et al.  Investigations into Logical Deduction , 1970 .

[2]  Selmer Bringsjord,et al.  Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task , 2008, PRICAI.

[3]  Selmer Bringsjord,et al.  Akratic robots and the computational logic thereof , 2014, 2014 IEEE International Symposium on Ethics in Science, Technology and Engineering.

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

[5]  Nissim Francez,et al.  Proof-theoretic semantics for a natural language fragment , 2007, MOL.

[6]  Avram Hiller.  The Unusual Logic of Hurka's Recursive Account , 2017 .

[7]  Selmer Bringsjord,et al.  On Automating the Doctrine of Double Effect , 2017, IJCAI.

[8]  Shan-Hwei Nienhuys-Cheng,et al.  Foundations of Inductive Logic Programming , 1997, Lecture Notes in Computer Science.

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

[10]  Linda Zagzebski,et al.  EXEMPLARIST VIRTUE THEORY , 2010 .

[11]  Selmer Bringsjord,et al.  Beyond the Doctrine of Double Effect: A Formal Model of True Self-sacrifice , 2019, Robotics and Well-Being.

[12]  T. Hurka.  Virtue, Vice, and Value , 2000 .

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

[14]  J. K. Miles,et al.  Against the Recursive Account of Virtue , 2013 .

[15]  Erik T. Mueller,et al.  Commonsense Reasoning: An Event Calculus Based Approach , 2006 .