排序方式: 共有19条查询结果,搜索用时 0 毫秒
1.
2.
The technique of forcing created by Cohen is adopted to discuss the semantics of medium logic program without closed-world assumption (CWA).The fixed point and complete-meet semilattice property ofprogram generic set is proved. 相似文献
3.
4.
中介真值程度的度量及其应用(Ⅰ) 总被引:13,自引:0,他引:13
以中介数学系统为背景,为处理工程实践和科学研究中普遍存在的模糊现象提供一种度量逻辑真值程度的方法.在建立了谓词的ε标准度概念后,描述了对一般应用的数值区域与对应谓词的真值之间的关系;采用距离概念,并以对应谓词真值的数值区域的长度为基准,定义了距离比率函数及距离比率的特殊变换,并由此建立了一维情形下个体真值程度函数.又在提出关于n维情形的分支谓词、幂集逆映射和标准度向量概念后,描述了真值程度和函数、极值分支函数等n维情形的应用形式.应用示例表明:由于提出超态概念,所以理论上能把真值程度域从[0,1]拓宽到(-∞,+∞);真值程度函数的定义具有计算机可以处理的定量形式且具有客观性和普适性的特点.因此,真值程度的度量将在涉及模糊现象的领域得到有效的应用. 相似文献
5.
用于不完全信息数据库的多值逻辑研究 总被引:1,自引:0,他引:1
1引言 自20世纪70年代末以来,用多值逻辑处理空值问题已成为数据库理论的一个重要研究方向[1~3].不完全信息数据库中引入多值逻辑(MVL)的研究是和空值的语义有关的.数据库中引起信息缺失的原因有十几种,根据语义可分成三种类型:不存在型空值、存在型空值和占位型空值.若在空值的处理中,这三种解释都采用,不作简化,这将导致七值逻辑(7VL). 相似文献
6.
7.
剖析了直觉主义学派的数学观、无穷观和逻辑观,从而论证了构造性是直觉主义学派在数学工作中的最基本出发点,同时叙述了构造性观点于计算机科学中的体现和对计算机科学的影响。 相似文献
8.
中介真值程度的度量及其应用(I) 总被引:2,自引:0,他引:2
以中介数学系统为背景,为处理工程实践和科学研究中普遍存在的模糊现象提供一种度量逻辑真值程度的方法.在建立了谓词的ε标准度概念后,描述了对一般应用的数值区域与对应谓词的真值之间的关系;采用距离概念,并以对应谓词真值的数值区域的长度为基准,定义了距离比率函数及距离比率的特殊变换,并由此建立了一维情形下个体真值程度函数.又在提出关于n维情形的分支谓词、幂集逆映射和标准度向量概念后,描述了真值程度和函数、极值分支函数等n维情形的应用形式.应用示例表明:由于提出超态概念,所以理论上能把真值程度域从[0,1]拓宽到(-∞, ∞);真值程度函数的定义具有计算机可以处理的定量形式且具有客观性和普适性的特点.因此,真值程度的度量将在涉及模糊现象的领域得到有效的应用. 相似文献
9.
一个改进的指数双向联想存储器及性能分析 总被引:1,自引:2,他引:1
通过分析Wang的修正指数双向联想存储器(MeBAM),本文提出了一个新的指数式双向联想存储器.该存储器不仅保持了MeBAM的优点,如放宽了Kosko对BAM的连续性假定的限制,排除了BAM的补码问题,同时还大大改善了现有BAM的存储性能和纠错能力.通过定义一个随状态变化而减少的能量函数严格证明了改进的eBAM(IeBAM)在同步与异步方式下的稳定,从而保证了所有要存的模式对成为其稳定点.此外,借助信噪比分析方法给出了IeBAM和MeBAM的信噪比估计.理论分析和计算机模拟结果证实了IeBAM的性能确实优于MeBAM和eBAM. 相似文献
10.
中介真值程度的度量及其应用(Ⅱ) 总被引:4,自引:0,他引:4
结合中介逻辑中的模糊否定词和真值程度词的语义,论述了研究中介真值程度的度量对于应用的必要性;在对个体研究的基础之上,从离散型和连续型两个方面讨论了集合的真值程度的度量;在建立中介标准度后,提出模糊程度概念,提出中介熵定义,并讨论了中介熵的最大值.针对反对对立强调两个概念之间存在"最大的差异",提出弱化"两极",突出"过渡"的观点.在对过渡与对立进行了一般性讨论后,建立了标准数值化映射和广义数值化映射概念,构造性地证明了过渡情形能转换为反对对立情形的充分条件.这表明在处理工程实践和科学研究中的模糊现象时,可以把所有存在过渡的情形作为反对对立处理,从而使中介真值程度的度量可以在更加广阔的领域得到应用. 相似文献