• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Annals of Mathematics and Artificial Intelligence >Restricted semantics for default reasoning
【24h】

Restricted semantics for default reasoning

机译：默认推理的受限语义

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

摘要

In nonmonotonic reasoning there are the problems of inconsistency and incoherence in general, and in default reasoning there may be only one trivial extension or no extension in special. We propose the restricted semantics of four-valued logic for default reasoning to resolve the problems of inconsistency and incoherence and in the meantime retain classical extensions in the presence of consistency and coherency. The restricted semantics can maintain both the expressiveness and reasoning ability of default logic. We provide a transformation approach to compute the restricted extensions by reducing them into classical ones.
机译：在非单调推理中，通常存在不一致和不连贯的问题，在默认推理中，可能只有一个琐碎的扩展，或者没有特殊的扩展。我们提出了默认值推理的四值逻辑的受限语义，以解决不一致和不连贯的问题，同时在存在一致性和连贯性的同时保留了经典扩展。受限制的语义可以保持默认逻辑的表达性和推理能力。我们提供了一种转换方法，通过将受限扩展简化为经典扩展来计算受限扩展。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号