首页> 外文会议>Deontic logic in computer science >The Logic of Obligation as Weakest Permission (Short Version)
【24h】

The Logic of Obligation as Weakest Permission (Short Version)

机译:最弱权限的义务逻辑(精简版)

获取原文
获取原文并翻译 | 示例

摘要

This paper studies the following interpretation of obligations: A person i ought to do A in a situation S just in case everything else i may (and can) do in S is consistent with A. In such a case A can be called the weakest permission that i has in S. We show that, under this interpretation, obligation and permission are not dual notions, and that it gives rise to an interesting interplay between deontic and alethic notions. We also discuss the logics adequacy w.r.t. the paradoxes of (classic) deontic logic and provide a sound and complete axiomatization for it. We finally show that practical, rational recommendations in games provide a natural, concrete application of such an understanding of obligations and permissions.
机译:本文研究了以下对义务的解释:一个人在情况S下我应该做A,以防万一我在S中可以(也可以做)的其他事情都与A相一致。在这种情况下,A可以称为最弱的允许我在S中所拥有的。我们表明,在这种解释下,义务和许可不是对偶概念,并且它引起了宗法观念和伦理观念之间的有趣相互作用。我们还将讨论w.r.t.的逻辑充分性。 (经典)宗法逻辑的悖论,并为其提供合理而完整的公理化。我们最终证明,游戏中的实用,合理的建议为这种对义务和许可的理解提供了自然而具体的应用。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号