首页> 外文会议>Deontic Logic in Computer Science >Reactive Kripke Models and Contrary to Duty Obligations
【24h】

Reactive Kripke Models and Contrary to Duty Obligations

机译:反应性克里普克模型与义务义务相反

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

摘要

This is an intuitive description of our approach to modelling contrary to duty obligations. We shall describe our ideas through the analysis of typical problematic examples taken from Carmo and Jones [6], L. van der Torre [14] and Prakken and Sergot [5].
机译:这是对我们违反职责义务建模方法的直观描述。我们将通过对Carmo和Jones [6],L。van der Torre [14]和Prakken and Sergot [5]中典型问题示例的分析来描述我们的想法。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号