我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:管家婆六肖中特 > 非单调推理 >

推理机的主要内容

归档日期:04-30       文本归类:非单调推理      文章编辑:爱尚语录

  可选中1个或多个下面的关键词,搜索相关资料。也可直接点“搜索资料”搜索整个问题。

  (1)演绎推理:根据公理系统把一个问题中包含在已知事实中的事实作为结论推导出来。

  (2)非单调推理:常识推理大量地依赖于默认信息,这种默认信息是指:当且仅当没有事实证明S不成立时,S总是成立的。这种基于默认信息的推理称为默认推理。默认推理是一种非单调推理。除了默认推理,还有约束推理。约束推理可以表示为“当且仅当没有事实证明S在更大范围内成立时,S只在指定的范围内成立”。

  (3)定性推理:定性推理主要起源于现实世界中物理系统的研究。人们发现,为了搞清一个物理系统的行为,往往不需要使用严格的定量方法,而且在许多问题环境下难以使用严格的定量方法。定性方法从人类的直观思维出发,它不依赖于定量数值的描述。

本文链接:http://meghanmbiro.com/feidandiaotuili/262.html