...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Theory and Practice of Logic Programming >Relative expressiveness of defeasible logics
【24h】

Relative expressiveness of defeasible logics

机译：可行逻辑的相对表达

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We address the relative expressiveness of defeasible logics in the framework DL. Relative expressiveness is formulated as the ability to simulate the reasoning of one logic within another logic. We show that such simulations must be modular, in the sense that they also work if applied only to part of a theory, in order to achieve a useful notion of relative expressiveness. We present simulations showing that logics in DL with and without the capability of team defeat are equally expressive. We also show that logics that handle ambiguity differently -ambiguity blocking versus ambiguity propagating - have distinct expressiveness, with neither able to simulate the other under a different formulation of expressiveness.
机译：我们解决了框架DL中可废止逻辑的相对表达。相对表达被定义为在另一个逻辑中模拟一个逻辑推理的能力。我们展示了这样的模拟必须是模块化的，从某种意义上说，如果仅将其应用于理论的一部分，它们也将起作用，以便获得相对表达的有用概念。我们提供的模拟结果表明，具有和不具有团队失败能力的DL中的逻辑同样具有表达力。我们还表明，以不同方式处理歧义的逻辑（歧义阻止与歧义传播）具有独特的表达能力，两者都无法在表达方式不同的情况下互相模仿。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号