Benzmüller, Christoph ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories
Publication date :
23 August 2019
Event name :
PRICAI 2019: Trends in Artificial Intelligence. PRICAI 2019.
Event date :
from 26-09-2019 to 30-09-2019
Audience :
International
Main work title :
PRICAI 2019: Trends in Artificial Intelligence
Editor :
Nayak, A.
Sharma, A.
Publisher :
Springer International Publishing, Cham, Switzerland
Benzmüller, C., Andrews, P.: Church’s type theory. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University (2019). https://plato.stanford.edu/entries/type-theory-church/
Benzmüller, C., Paulson, L.: Quantified multimodal logics in simple type theory. Logica Univers. 7(1), 7–20 (2013). https://doi.org/10.1007/s11787-012-0052-y. (Special Issue on Multimodal Logics)
Benzmüller, C., Farjami, A., Parent, X.: A dyadic deontic logic in HOL. In: Broersen, J., Condoravdi, C., Nair, S., Pigozzi, G. (eds.) Deontic Logic and Normative Systems – 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3–6 July 2018, pp. 33–50. College Publications (2018). ISBN 978-1-84890-278-7. John-Jules Meyer Best Paper Award
Benzmüller, C., Parent, X., van der Torre, L.W.N.: Designing normative theories of ethical reasoning: formal framework, methodology, and tool support. CoRR, abs/1903.10187 (2019). http://arxiv.org/abs/1903.10187
Beyleveld, D.: The dialectical necessity of morality: an analysis and defense of Alan Gewirth’s argument to the principle of generic consistency. University of Chicago Press (1991)
Beyleveld, D.: The principle of generic consistency as the supreme principle of human rights.Hum.RightsRev.13(1), 1–18 (2012). ISSN 1874-6306
Blanchette, J.C., Nipkow, T.: Nitpick: a counterexample generator for higher-order logic based on a relational model finder. In: Kaufmann, M., Paulson, L.C. (eds.) ITP 2010. LNCS, vol. 6172, pp. 131–146. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-14052-5 11. ISBN 978-3-642-14051-8
Bringsjord, S., Arkoudas, K., Bello, P.: Toward a general logicist methodology for engineering ethically correct robots. IEEE Intell. Syst. 21(4), 38–44 (2006)
Carmo, J., Jones, A.J.I.: Deontic logic and contrary-to-duties. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, pp. 265–343. Springer, Dordrecht (2002). https://doi.org/10.1007/978-94-010-0387-2 4
Carnap, R.: Meaning postulates. Philos. Stud. 3(5), 65–73 (1952)
Dennis, L.A., Fisher, M., Slavkovik, M., Webster, M.: Formal verification of ethical choices in autonomous systems. Robot. Auton. Syst. 77, 1–14 (2016). https://doi.org/10.1016/j.robot.2015.11.012
Dignum, V.: Responsible autonomy. In: IJCAI 2017, pp. 4698–4704 (2017)
Dignum, V: Special issue: ethics and artificial intelligence. Ethics Inf. Technol. 20(1) (2018)
Fuenmayor, D., Benzmüller, C.: Formalisation and evaluation of Alan Gewirth’s proof for the principle of generic consistency in Isabelle/HOL. Archive of Formal Proofs (2018). https://www.isa-afp.org/entries/GewirthPGCProof.html
Fuenmayor, D., Benzmüller, C.: Isabelle/HOL sources associated with this PRICAI 2019 paper (2019). http://bit.ly/Appendix-PRICAI-19
Furbach, U., Schon, C.: Deontic logic for human reasoning. In: Eiter, T., Strass, H., Truszczyński, M., Woltran, S. (eds.) Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. LNCS (LNAI), vol. 9060, pp. 63–80. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-14726-0 5
Gewirth, A.: Reason and Morality. University of Chicago Press, Chicago (1981)
Govindarajulu, N.S., Bringsjord, S.: On automating the doctrine of double effect. In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, pp. 4722–4730 (2017). https://doi.org/10.24963/ijcai.2017/658
Hooker, J.N., Kim, T.W.N.: Toward non-intuition-based machine and artificial intelligence ethics: a deontological approach based on modal logic. In: Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, pp. 130–136. ACM (2018)
Kaplan, D.: Demonstratives. In: Almog, J., Perry, J., Wettstein, H. (eds.) Themes from Kaplan, pp. 481–563. Oxford University Press, Oxford (1989a)
Kaplan, D.: Afterthoughts. In: Almog, J., Perry, J., Wettstein, H. (eds.) Themes from Kaplan, pp. 565–612. Oxford University Press, Oxford (1989b)
Kornai, A.: Bounding the impact of AGI. J. Exp. Theor. Artif. Intell. 26(3), 417–438 (2014)
Malle, B.F.: Integrating robot ethics and machine morality: the study and design of moral competence in robots. Ethics Inf. Technol. 18(4), 243–256 (2016)
Moor, J.: Four kinds of ethical robots. Philos. Now 72, 12–14 (2009)
Nipkow, T., Wenzel, M., Paulson, L.C. (eds.): Isabelle/HOL: A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45949-9
Van Orman Quine, W.: Word and Object. MIT Press, Cambridge (1960)
Scheutz, M.: The case for explicit ethical agents. AI Mag. 38(4), 57–64 (2017)
Schroeter, L.: Two-dimensional semantics. In: Zalta, E.N. (eds.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University (2017)
Wallach, W., Allen, C., Smit, I.: Machine morality: bottom-up and top-down approaches for modelling human moral faculties. AI Soc. 22(4), 565–582 (2008)