Toward Ethical Robots via Mechanized Deontic Logic ∗
Toward Ethical Robots via Mechanized Deontic Logic ∗
复制标题
通过机械化道义逻辑迈向道德机器人*
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Paul Bello
中科院分区：
文献类型：
--
作者：
Konstantine Arkoudas;S. Bringsjord;Paul Bello
我们建议，机械化的多代理道义逻辑可能是合适的车辆工程值得信赖的机器人。在这种逻辑中，经过机械检验的证明可以用来确立代理人行为的允许性（或强制性），而这种证明在翻译成英语时，也可以解释这些行为背后的基本原理。我们使用的逻辑框架雅典娜编码的道义逻辑最近提出的Horty推理代理应该做什么自然演绎系统。我们提出的语法和语义的逻辑，讨论其编码在雅典娜，并说明一个机械化的证明的例子。
We suggest that mechanized multi-agent deontic logics might be appropriate vehicles for engineering trustworthy robots. Mechanically checked proofs in such logics can serve to establish the permissibility (or obligatoriness) of agent actions, and such proofs, when translated into English, can also explain the rationale behind those actions. We use the logical framework Athena to encode a natural deduction system for a deontic logic recently proposed by Horty for reasoning about what agents ought to do. We present the syntax and semantics of the logic, discuss its encoding in Athena, and illustrate with an example of a mechanized proof.