Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A World with RobotsFormalizing Complex Normative Decisions with Predicate Logic and Graph Databases

A World with Robots: Formalizing Complex Normative Decisions with Predicate Logic and Graph... [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.] http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

A World with RobotsFormalizing Complex Normative Decisions with Predicate Logic and Graph Databases

Editors: Aldinhas Ferreira, Maria Isabel; Silva Sequeira, Joao; Tokhi, Mohammad Osman; E. Kadar, Endre; Virk, Gurvinder Singh
A World with Robots — Jan 7, 2017

Loading next page...
 
/lp/springer-journals/a-world-with-robots-formalizing-complex-normative-decisions-with-2rEsLDbUbm

References (12)

Publisher
Springer International Publishing
Copyright
© Springer International Publishing AG 2017
ISBN
978-3-319-46665-1
Pages
35 –45
DOI
10.1007/978-3-319-46667-5_3
Publisher site
See Chapter on Publisher Site

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

Published: Jan 7, 2017

Keywords: Robot ethics; Normative systems; Ethical governor; Artificial moral agent; Knowledge representation; Machine ethics

There are no references for this article.