• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Artificial Intelligence (IC-AI'03) Vol.2; Jun 23-26, 2003; Las Vegas, Nevada, USA >A Logical Treatment of Scientific Anomalies or Artificial Intelligence Meets Philosophy of Science
【24h】

A Logical Treatment of Scientific Anomalies or Artificial Intelligence Meets Philosophy of Science

机译：科学异常或人工智能的逻辑处理符合科学哲学

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

摘要

A logical formalization to the process of theory revision when it is confronted by a scientific anomaly is presented. By "scientific anomaly" we mean an observed fact falling into the explanatory scope of a theory that cannot be explained by the theory and the accepted auxiliary hypotheses. As a first approach to restore the theory's explicative power, some tentative auxiliary hypotheses are proposed to replace the old ones. In order to capture this refutable character of auxiliary hypotheses we brought into play a nonmonotonic inferential mechanism. Also, since the several tentative auxiliary hypotheses are mutually exclusive and may produce conflicts, we took a paraconsistent inferential relation as the monotonic basis of our system. By representing laws and auxiliary hypotheses through this nonmonotonic and paraconsistent logic we are able to provide an inferential machinery in which the effects of both occurrence and solution of anomalies upon a theory can be represented.
机译：提出了面对科学异常时理论修订过程的逻辑形式化。所谓“科学异常”，是指观察到的事实属于该理论的解释范围，而该理论和公认的辅助假设无法解释该事实。作为恢复该理论解释力的第一种方法，提出了一些暂定的辅助假设来代替旧的假设。为了捕获辅助假设的这种可辩驳的特征，我们引入了非单调推理机制。而且，由于几个暂定的辅助假设是互斥的，并且可能产生冲突，因此我们将超一致的推论关系作为系统的单调基础。通过通过这种非单调和超一致的逻辑表示定律和辅助假设，我们能够提供一种推理机制，在其中可以表示异常发生和解决对理论的影响。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号