• 主题
高级搜索  >
历史搜索 清空历史
首页> 美国政府科技报告 >What is on the Machine's Mind: Models for Reasoning with Incomplete and UncertainKnowledge
【24h】

What is on the Machine's Mind: Models for Reasoning with Incomplete and UncertainKnowledge

机译：机器的思想是什么：不完全和不确定的知识推理模型

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The first part of the thesis describes a logic for reasoning with inconsistentknowledge. The second part of the thesis contains a proposal for to view a reasoning process as a process of constructing a partial model of the world we are reasoning about. The purpose of the logic described in the first part of the thesis is to be able to derive useful conclusions from inconsistent knowledge. Knowledge can be inconsistent for several reasons. Firstly, knowledge sources do not have to be completely reliable. Secondly, default reasoning can be viewed as a special case of reasoning with inconsistent knowledge. The logic is a logic that possesses all the properties an ideal non-monotonic logic should possess. The second part of the thesis contains a proposal to view a reasoning process as a process of constructing a partial model of the world we are reasoning about. The view on a reasoning process has some important advantages over the traditional view on a reasoning process. Firstly, constructing a partial model of the world is more intuitive than generating propositions by combining already derived propositions. Secondly, constructing a partial model is more efficient than searching for a proof of some fact. Thirdly, in a partial model the consistency problem is decidable. This makes it possible to guarantee the correctness of the conclusions derived, when default rules are being used.

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号