• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Artificial intelligence >A causal approach to nonmonotonic reasoning
【24h】

A causal approach to nonmonotonic reasoning

机译：非单调推理的因果方法

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

摘要

We introduce logical formalisms of production and causal inference relations based on input/output logics of Makinson and Van der Torre [J. Philos. Logic 29 (2000) 383-408]. These inference relations will be assigned, however, both standard semantics (giving interpretation to their rules), and natural nonmonotonic semantics based on the principle of explanation closure. The resulting nonmonotonic formalisms will be shown to provide a logical representation of abductive reasoning, and a complete characterization of causal nonmonotonic reasoning from McCain and Turner [Proc. AAAI-97, Providence, RI, 1997, pp. 460-465]. The results of the study suggest production and causal inference as general nonmonotonic formalisms providing an alternative representation for a significant part of nonmonotonic reasoning. (C) 2004 Elsevier B.V. All rights reserved.
机译：我们基于Makinson和Van der Torre的输入/输出逻辑，介绍了生产的逻辑形式主义和因果推理关系[J．菲洛斯逻辑29（2000）383-408]。但是，这些推理关系将被分配标准语义（根据其规则进行解释）和基于解释封闭原理的自然非单调语义。所得的非单调形式主义将被证明提供了归纳推理的逻辑表示，并由麦凯恩和特纳[Proc。 AAAI-97，RI，Providence，1997，pp.460-465]。研究结果表明，产生和因果推理是一般的非单调形式主义，为非单调推理的重要部分提供了另一种表示形式。 （C）2004 Elsevier B.V.保留所有权利。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号