Abstract
This paper argues that the critical work in deontic reasoning is better done in the knowledge representation rather than the reasoning of a normative system. It describes a way to formalize complex normative decisions using predicate logic and graph databases. Simple norms can be mechanized with IF/THEN statements. While often expressed in deontic logic, such statements can be expressed in simpler predicate logic. More complex normative decisions require the ability to make decisions where there are multiple clashing duties. Such decisions could be formalized in graph databases that express state-act transition relations, causal relations, classification relations and evaluation relations. When formalizing complex normative decisions it is more powerful and practical to draw upon concepts from multiple moral theories rather than restricting the system to a single theory. A normative system with extensive knowledge representation of complex relations might be able to pass a series of reasonable person tests. Passing such tests rather than implementing a particular moral theory should be the main design aim of normative systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Aristotle (c. 350 BC) Nichomachean ethics. MIT. http://classics.mit.edu/Aristotle/nicomachaen.html. Accessed 29 Nov 2015
Asimov I (1942) Runaround. In: Astounding science fiction. Street & Smith, New York
Bringsjord S, Arkoudas C, Bello P (2006) Toward a general logicist methodology for engineering ethical correct robots. IEEE Intell Syst 21(4):38–44
Castañeda H (1981) The paradoxes of deontic logic: the simplest solution to all of them in one fell swoop. In: Hilpinen R (ed) New studies in deontic logic, D. Reidel Publishing Company, Dordrecht, pp 37–86
Gabbay D, Horty J, Parent X, van der Mayden R, van der Torre L (2013) Handbook of deontic logic and normative systems, vol 1. College Publications, Milton Keynes
Hansson S (2013) The Varieties of Permission. In: Gabbay D, Horty J, Parent X, R V, Van der Torre L (eds) Handbook of deontic logic and normative systems, vol 1. College Publications, Milton Keynes, pp 195–240
Horty J (2001) Agency and deontic logic. Oxford University Press, Oxford
Jackson F (1992) Critical notice. Aust J Philos 70(4):475–488. doi:10.1080/00048409212345351
Krotzsch M, Simanzik F, Horrocks I (2012) A description logic primer. Computing Research Repository. http://arxiv.org/pdf/1201.4089.pdf. Accessed 12 Dec 2014
Maslow A (1954) Motivation and personality. Harper & Row, New York
McCune W (2010) Prover 9 and Mace 4. http://www.cs.unm.edu/~mccune/Prover9
Noddings N (1984) Caring: a feminine approach to ethics and moral education, 1st edn. University of California Press, Berkeley
Nozick R (1981) Philosophical explanations. Belknap Press, Cambridge, Mass
Pigden C (1989) Logic and the autonomy of ethics. Aust J Philos 67(2):127–151. doi:10.1080/00048408912343731
Reader S (2007) Needs and moral necessity. Routledge, London, New York
Robinson I, Webber J, Eifrem E (2015) Graph databases. O’Reilly, Sebastapol, CA
Ross W (1930) The right and the good. The Clarendon Press, Oxford
Sowa J (1992) Conceptual graphs. Knowl Based Syst 5(3):171–172. doi:10.1016/0950-7051(92)90028-E
Treiber M (2010) An introduction to object recognition: selected algorithms for a wide variety of applications. Springer, London
Acknowledgements
Jack Copeland, Michael-John Turp, Walter Guttmann, Christoph Bartneck, Diane Proudfoot, Andrew Withy, Carolyn Mason, Doug Campbell, Ron Arkin, Selmer Bringsjord.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Welsh, S. (2017). Formalizing Complex Normative Decisions with Predicate Logic and Graph Databases. In: Aldinhas Ferreira, M., Silva Sequeira, J., Tokhi, M., E. Kadar, E., Virk, G. (eds) A World with Robots. Intelligent Systems, Control and Automation: Science and Engineering, vol 84. Springer, Cham. https://doi.org/10.1007/978-3-319-46667-5_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-46667-5_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-46665-1
Online ISBN: 978-3-319-46667-5
eBook Packages: EngineeringEngineering (R0)