共查询到18条相似文献,搜索用时 156 毫秒
1.
中介逻辑系统完整地反映了知识中的矛盾和对立等否定关系。针对具体处理模糊知识的需要,本文首先改进了中介无穷值语义模型,对其进行了语义描述;在此基础上扩展了Zadeh提出的近似推理方法即CRI算法,给出了基于中介逻辑思想的一种更为具体的算法,并通过一具体的例子进行了说明分析。 相似文献
2.
为使上近似蕴含的近似信息得到延伸,特将近似空间进行了扩充,从而得到树型近似空间,在其中经上近似与树的融合,引出了不同于其他方式的近似推理。通过分析研究,描述了近似推理的特性,获得了相关的结论。此即表明近似推理不仅保持路径中结点间精确的关联信息,而且拓宽了结点间相互推出的渠道,是一种宽泛性的推理模式。同时树型近似空间及近似推理为实际问题的处理建立了数学方法。 相似文献
3.
本文中近似推理的理论阐述的是从一组不精确前提推演出可能是不精确的结论。近似推理的理论是建立在模糊逻辑(FL)基础上的。它的真值是语言性的,即是像真,不真,很真,或多或少为真,假,不很假等这种形式的真值。推理的法则是近似的而不是精确的,并且假定前提采取下列模糊命题的形式。例如:“(X is much smaller than Y)is quite true”,“If X is small is possiblethen Y is very large is very likely。”等。通过使用可能性分布(而不是概率分布)的概念,这种命题被翻译成 PRUF 的、表达式。PRUF 是(Possibilistic Rela-tional Universal Fuzzy)的缩写,它是一个目然语言的意义表示语言。一个 PRUF 的表达式是一个过程,它是用于计算由一个用目然语言表示的命题引入的可能性分布。通过对这种分布应用 PRUF 的推理法则,我们得到其它的可能性分布,它们是从模糊前提出发演绎得到的结论,然后对它们进行再翻译,用语言近似地表示出来。模糊逻辑推理的基本法则是投影原理,特指/合取原理和必含原理。最后通过一些例子来说明这些法则在近似推理中的应用。 相似文献
4.
针对车载导航系统研究中,由于定位传感器存在漂移误差,导航误差随时间逐步增加。因此,需要引入其它高精度稳定测量环节,用以修正漂移误差,提高导航精度。电子地图是车载定位定向系统中的重要组成部分。借助电子地图特殊的空间分析功能,按照"正常情况下车辆总是行驶在道路上"的假设,可以通过仿真验证证明采用的方法可有效地校正导航系统的定位误差,并提出了一种基于近似推理的地图匹配算法,根据算法需要对电子地图数据库的建立提出了构想,并通过跑车试验进行了验证可行性。 相似文献
5.
6.
7.
6 推理法则和近似推理像在其它逻辑中一样,在模糊逻辑中,一个命题q从一组前提{p_2,…p_n}出发的演绎也是由推理法则支配的。所不同的是,在模糊逻辑中,前提和结论均允许是模糊命题。而且由于在再翻译的过程中使用了语言近似,所以从前提p_1,…p_n得出的最终结论,一般是p_1,…p_n的近似的而不是精确的结果。在模糊逻辑中的基本推理法则是下列几个。 相似文献
8.
模湖性是自然语言的一个固有性质,它也是产生不确定性的一个重要原因,因此能够有效地处理这种不确定性的近似推理方法,正在受到越来越多的人的重视。本文简要地介绍了这个理论产生的背景及其主要内容,并且对近似推理理论的重要特征以及它在人工智能等域领将起什么样的作用,提出一些初步看法,仅供参考。 相似文献
9.
刘清 《计算机应用与软件》1999,16(4):6-13,45
本文在Rough集上定义模态逻辑,并将这种逻辑的真值解释在Rough集上,使得古黄模态逻辑的必然和可能真值统一为Roughly真值。文章还阐述了这种真值在近似推理中的应用。 相似文献
10.
11.
王廷明 《计算机工程与应用》2009,45(9):51-52
以公式真度为基础,给出了二值命题逻辑中基于条件真度的逻辑度量的真度表示式,提出了两类在信息Г下的误差不大于ε结论模式,证明了两类结论模式的等价性,并讨论了基于条件真度和真度的近似推理及其关系问题。 相似文献
12.
中介逻辑是一种区分矛盾否定与对立否定、肯定一些对立知识间存在中介对象的逻辑系统。基于中介谓词逻辑描述模糊知识,合理修改与或图,将每一谓词表达式视为状态结点,把逻辑规则集合表示为状态搜索空间。在传统与或图搜索算法的基础上,修改启发函数,将模糊知识的推理问题转化为状态空间中的搜索问题,并给出了一种否定信息的处理方法。 相似文献
13.
14.
In the paper we introduce a variant of autoepistemic logic that is especially suitable for expressing default reasonings. It is based on the notion of iterative expansion. We show a new way of translating default theories into the language of modal logic under which default extensions correspond exactly to iterative expansions. Iterative expansions have some attractive properties. They are more restrictive than autoepistemic expansions, and, for some classes of theories, than moderately grounded expansions. At the same time iterative expansions avoid several undesirable properties of strongly grounded expansions, for example, they are grounded in the whole set of the agent's initial assumptions and do not depend on their syntactic representation.Iterative expansions are defined syntactically. We define a semantics which leads to yet another notion of expansion — weak iterative expansion — and we show that there is an important class of theories, that we call -programs, for which iterative and weak iterative expansions coincide. Thus, for -programs, iterative expansions can be equivalently defined by semantic means.This work was partially supported by Army Research Office under grant DAAL03-89-K-0124, and by National Science Foundation and the Commonwealth of Kentucky EPSCoR program under grant RII 8610671. 相似文献
15.
16.
给出由有限论域上的Vague集导出的分拆真模糊向量和分拆非假模糊向量的定义。进而得到Vague集近似推理的真近似推理模型和非假近似推理模型。最后得到Vague集正向近似推理结论和逆向近似推理结论。实例表明这种Vague集双向近似推理方法是可行的。 相似文献
17.
在二值逻辑系统中,初步给出了计量逻辑学中的误差累计理论。证明了逻辑结论(作为Γ结论)的误差不会超过各前提误差的和。 相似文献