• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>PRICAI'98 : Topics in artificial intelligence >Reasoning with Sets of Preferences in Default Logic
【24h】

Reasoning with Sets of Preferences in Default Logic

机译：在默认逻辑中使用首选项集进行推理

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

摘要

We address the problem of representing preferences among sets of properties (outcomes, desiderata, etc.) in default logic. In this approach, an ordered default theory consists of default rules, world knowledge, and preferences on sets of default rules. An ordered theory is transformed into a second, standard default theory wherein the preferences are respected, in that defaults are applied in the specified order and a set of order-equivalent defaults is applied only en masse. This translation is accomplished via the naming of defaults, so that reference may be made to default rules and sets of default rules from within a theory. The approach differs from previous work in that we obtain standard default theories, and do not rely on prioritised versions as do other approaches. In practical terms this means we can immediately use existing default logic theorem provers for an implementation. From a theoretical point of view, this shows that the explicit representation of priorities among sets of defaults adds nothing to the overall expressibility of default logic.
机译：我们解决了用默认逻辑在属性集（结果，需求等）中表示偏好的问题。在这种方法中，有序默认理论由默认规则，世界知识和默认规则集的首选项组成。有序理论被转换为第二种标准默认理论，其中尊重了首选项，因为默认值以指定顺序应用，而一组等效顺序的默认值仅整体应用。这种转换是通过默认名称的命名来完成的，因此可以从理论上参考默认规则和默认规则集。该方法与以前的工作不同之处在于，我们获得了标准的默认理论，并且不像其他方法那样依赖优先版本。实际上，这意味着我们可以立即使用现有的默认逻辑定理证明者进行实现。从理论的角度来看，这表明默认组中优先级的显式表示不会增加默认逻辑的整体可表达性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号