Automated Reasoning for Robot Ethics
This work addresses ethical reasoning in multi-agent systems, but it is incremental as it applies existing methods to a new domain.
The paper tackled the problem of modeling ethical codes for multi-agent systems using standard deontic logic and demonstrated how the Hyper theorem prover can be used to prove properties of these codes, but did not provide concrete numerical results.
Deontic logic is a very well researched branch of mathematical logic and philosophy. Various kinds of deontic logics are considered for different application domains like argumentation theory, legal reasoning, and acts in multi-agent systems. In this paper, we show how standard deontic logic can be used to model ethical codes for multi-agent systems. Furthermore we show how Hyper, a high performance theorem prover, can be used to prove properties of these ethical codes.