首页> 外文会议>International Joint Conference on Artificial Intelligence >Cancelling and Overshadowing Two Types of Defeasibility in Defensible Deontic Logic
【24h】

Cancelling and Overshadowing Two Types of Defeasibility in Defensible Deontic Logic

机译:取消和掩盖可防性地逻辑的两种类型的缺陷

获取原文
获取外文期刊封面目录资料

摘要

IN this paper we give a general analysis of dyadic, deontir logics that were introduced in the early even ties to formalize deontic reasoning about sub ideal behavior Recently it was observed that they are closely related to no monotonic logics, theories of diagnosis and decision theories In particular, we argue that two types of defeasibihty must be distinguished in a defensible deontic logic overridden defeasibihty that formalizes can calling of in obligation by other conditional obligations and factual defeasibility that formalizes, overshadowing of an obligation by a violating fact We also show that this, distinction is essential for an adequate analysis of notorious paradoxes of deontic logic such as the Chisholm and For rester Paradoxes.
机译:在本文中,我们对世代甚至联系中引入的Dyadir逻辑进行了一般性分析,以便正规化出版地推理关于潜在理想行为的最近,他们被观察到它们与无单调逻辑,诊断理论密切相关,诊断和决策理论密切相关 特别是,我们认为必须在可辩护的文学逻辑被覆盖的缺陷中区分两种类型的缺陷,以便通过其他条件义务和正式的义务呼吁义务,以违反事实的义务宣称我们也表明这一点, 区分对于对诸如Chisholm和休闲悖论的外语逻辑的臭名昭着的悖论是必不可少的。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号