首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 15 毫秒
1.
不精确推理和非单调推理是人工智能中两个重要的研究方面.分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性,将论据的优先级和可信度引入ATMS,提出了结合优先级和可信度的非单调真值维护系统,并给出其算法.它能有效地处理不完全领域知识下的推理,结合不精确推理和非单调推理的优点,克服两者的局限性.  相似文献   

2.
分析了常规非单调逻辑的局限性,通过介绍带优先级的非单调逻辑和累积缺省逻辑,指出非单调逻辑不仅需引入优先级而且须基于论据.提出了带优先级的基于论据的非单调逻辑,从而能更有效地处理非单调推理.  相似文献   

3.
一种在非单调和不完全领域知识下的EBL方法   总被引:1,自引:1,他引:1  
基于解释的学习(EBL)克服了基于相似性的学习中的一些局限性,但是由于领域知识的不完全性和非单调法,在EBL过程中会出现等多重解释问题,运用分层ATMS(基于解释的真值维护系统)来实现EBL方法,由于分民支ATMS能处理非单调推理和多重假设集,因而它能根据不同原因解决了EBL中的多重解释问题。  相似文献   

4.
研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统L^*,在L^*系统中定义了后承关系|~:A|~B当且仅当A^2┠B,证明了在L^*系统中的这种后承关系满足累积单调推理系统CM,非单调优先推理系统P的全部规则,但这种后承关系不满足单调推理系统M的逆否律规则,从而在L^*系统中建立了一个介于非单调推理系统和单调推理系统之间的逻辑系统,这为两种系统的理论研究建立一个桥梁以及为模糊控制提供了一种新的思路。  相似文献   

5.
研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统L ,在L 系统中定义了后承关系|~:A|~B当且仅当A2├B,证明了在L 系统中的这种后承关系满足累积单调推理系统CM,非单调优先推理系统P的全部规则,但这种后承关系不满足单调推理系统M的逆否律规则,从而在L 系统中建立了一个介于非单调推理系统和单调推理系统之间的逻辑系统.这为两种系统的理论研究建立一个桥梁以及为模糊控制提供了一种新的思路.  相似文献   

6.
采用基于知识的正向推理方法,建立了电视机故障诊断系统,其中运用了MYCIN的不精确推理型求解结论的可信度值。  相似文献   

7.
 基于时间逻辑的基本推理,描述了人工智能专家系统的非精确推理中时间命题的相关运算,并由若干前提的可信度推导得出结论的可信度.理论分析和实例表明,所给出的算法是合理有效的.  相似文献   

8.
非单调推理多见于日常生活中。比如无证据证实B的反面,我们得出结论B。这种逻辑在计算机科学中的知识库,超大数据库和推理库中有许多运和。本案例是著名 的“耶鲁枪击案”据此介绍非单调推理。  相似文献   

9.
针对切削加工过程中切屑折断随机性较大,切屑折断过程所获得的知识带有不恶性循环 或不精确性这一特点,在刀片槽型专家系统DPCXES-1中,利用专家系统开发工具OPS83所提供的数学模型,实现了不精确推理,并设计了带有可信度的事实和规则的表,不精确推理冲突消解策略和记忆推理链,相同事实的可信度归一。  相似文献   

10.
研究模糊推理的问题,提出了一种真值传播的计算公式与方法。这种计算方法可以区别精确推理和模糊推理,也可以区别推理条件多与寡的推理。真值的修正值部分满足有界性、可行性;同时,随着对客观世界认识的不断深入,推理结论的真实性不断提高。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号