• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of Intelligent Information Systems >Consequence finding and computing answers with defaults
【24h】

Consequence finding and computing answers with defaults

机译：结果查找和默认答案的计算

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

摘要

Consequence finding has been recognized as an important technique in many intelligent systems involving inference. In previous work, propositional or first-order clausal theories have been considered for consequence finding. In this paper, we consider consequence finding from a default theory, which consists of a first-order clausal theory and a set of normal defaults. In an extension of a default theory, consequence finding can be done with the generating defaults for the extension. Alternatively, all extensions can be represented at once with the conditional answer format, which represents how a conclusion depends on which defaults. We also propose a procedure for consequence finding and query answering in a default theory using the first-order consequence-finding procedure SOL. In computing consequences from default theories efficiently, the notion of TCS-freeness is most important to prune a large number of irrational tableaux induced by the generating defaults for an extension. In order to simulate the TCS-freeness, the refined SOL calculus called SOL-S(Γ) is adopted using skip preference and complement checking.
机译：结果发现已被认为是许多涉及推理的智能系统中的一项重要技术。在先前的工作中，命题或一阶从句理论已被考虑用于结果发现。在本文中，我们考虑从违约理论中寻找结果，该违约理论由一阶从句理论和一组正常违约构成。在默认理论的扩展中，可以通过为扩展生成默认值来进行结果查找。或者，可以使用条件答案格式一次表示所有扩展名，该格式表示结论如何取决于哪个默认值。我们还提出了使用一阶结果查找程序SOL的默认理论中的结果查找和查询回答程序。在有效地计算默认理论的后果时，TCS-freeness的概念对于减少因扩展名的默认生成而引起的大量非理性现象是最重要的。为了模拟无TCS的情况，采用了跳过优先级和补码检查的经过改进的SOL演算SOL-S（Γ）。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号