To design and engineer ethical and legal reasoners and responsible systems, Benzm\"{u}ller, Parent and van der Torre introduce LogiKEy methodology based on the semantical embedding of deontic logics into classic higher-order logic. In this paper, we considerably extend the LogiKEy deontic logics and dataset using an algebraic approach. We develop theory of input/output operations for normative reasoning on top of Boolean algebras.
翻译：为了设计和设计道德和法律理性及负责任的系统,Benzm\"{u}ller, Pacent and van der Torre, 和van der Torre, 引入了基于理论逻辑的语义嵌入经典更高阶逻辑的LogiKEy方法。 在本文中, 我们使用代数法, 大大扩展了LogiKEy 的逻辑和数据集。 我们开发了输入/输出操作理论, 用于布尔伦代数之上的规范性推理 。
相关内容
《工程》是中国工程院（CAE）于2015年推出的国际开放存取期刊。其目的是提供一个高水平的平台，传播和分享工程研发的前沿进展、当前主要研究成果和关键成果；报告工程科学的进展，讨论工程发展的热点、兴趣领域、挑战和前景，在工程中考虑人与环境的福祉和伦理道德，鼓励具有深远经济和社会意义的工程突破和创新，使之达到国际先进水平，成为新的生产力，从而改变世界，造福人类，创造新的未来。
期刊链接：https://www.sciencedirect.com/journal/engineering
专知会员服务
31+阅读 · 2020年2月21日
专知会员服务
53+阅读 · 2020年1月30日
Arxiv
6+阅读 · 2020年11月10日
Arxiv
9+阅读 · 2020年9月26日
Arxiv
3+阅读 · 2019年5月10日
相关主题
相关VIP内容
专知会员服务
31+阅读 · 2020年2月21日
专知会员服务
53+阅读 · 2020年1月30日
相关资讯
相关论文
Arxiv
6+阅读 · 2020年11月10日
Arxiv
9+阅读 · 2020年9月26日
Arxiv
3+阅读 · 2019年5月10日
微信扫码咨询专知VIP会员