您好、欢迎来到现金彩票网!
当前位置:如意彩票 > 非单调推理 >

推理机的主要内容

发布时间:2019-04-25 05:39 来源:未知 编辑:admin

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

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

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

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

http://mj-sports.net/feidandiaotuili/19.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有