首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 834 毫秒
1.
研究了信息空缺问题中的多值逻辑,并讨论了多值逻辑对逻辑代数、关系数据库的影响以及SQL对多值逻辑的支持。  相似文献   

2.
Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题。根据部分多值逻辑函数的完备性理论,研究了部分多值逻辑函数集中准完备集的分类问题,从而为解决部分多值逻辑中Sheffer函数的判定问题提供了研究基础。  相似文献   

3.
在讨论Ht代数的一些性质的基础上,得到系统Ht中的三I算法的另一种证明。指出多值逻辑系统Ht中的三I算法是P还原算法,并解决了Ht中的FMT问题。在多值逻辑系统Ht中,若令t=1,则得到多值逻辑系统W。所以多值逻辑系统Ht中的结论在t=1的情况下就是多值逻辑系统W中的结论。  相似文献   

4.
本文利用代数状态空间方法,研究了多值逻辑控制网络的输出跟踪牵制控制.首先利用矩阵的半张量积给出了带牵制控制的多值逻辑控制网络的代数表示.其次基于该代数表示,定义了一组合适的能达集,并建立了多值逻辑控制网络输出跟踪牵制控制器的设计方法.再次,利用多值逻辑哑算子的性质,给出了多值逻辑控制网络分布式输出跟踪控制问题可解的充要条件.最后将所得的理论结果应用于网络演化博弈的演化行为分析.  相似文献   

5.
多值逻辑函数发生器的优化设计方法   总被引:1,自引:0,他引:1  
将二值逻辑系统的设计方法巧妙地溶入了多值逻辑系统的设计当中,找到了实现多值逻辑系统设计的最优方法.并通过典型实例的分析,总结出三点结论,可望促进多值逻辑技术的普及与发展.  相似文献   

6.
多值逻辑研究的进展与动向   总被引:2,自引:2,他引:0  
胡谋 《计算机学报》1992,15(1):55-60
本文综述了近年来我国多值逻辑研究的进展,并对其中较有代表性的成果作了重点介绍.分析了国际上多值逻辑研究的新动向,重点讨论了多值逻辑研究与分子计算机、光计算机及人工智能等研究领域的关系.  相似文献   

7.
本文利用逻辑代数的矢量变换法分析了多值逻辑函数的展开问题,提出了分量递椎式的建立方法,举例说明了用二值元件实现多值逻辑函数的综合过程。本文结果表明,利用矢量变换法,可以用类似于二值逻辑的方法来处理多值逻辑问题。  相似文献   

8.
多值逻辑是计算机科学与技术的一个重要分支。目前的计算机结构和计算机程序大多基于二值逻辑,但由于多值逻辑有着许多独特的功能和广阔的应用前景,随着计算机科学与技术的不断进步,多值逻辑得到了前所未有的发展。  相似文献   

9.
作者提出了一种采用电荷耦合器件(CCD)的多值逻辑电路,它输出的数字信息稳定可靠,并可借以实现所需基数值(由二值直到数百值以上)的多值逻辑。文中介绍了CCD器件的有关原理和基本结构,和据此设计的多值逻辑电路,讨论了其性质及几种应用。  相似文献   

10.
多值逻辑量子置换门的酉矩阵表示   总被引:1,自引:0,他引:1  
理论上量子可逆电路不存在能量耗散问题,因此量子计算系统对环境产生的负面影响可以达到最低.多值逻辑量子置换门是构建多值逻辑量子电路的基本单元.该文从数学的角度研究多值逻辑量子置换门的酉矩阵,提出了一种构造多值逻辑量子置换门酉矩阵的方法,并对其正确性进行了讨论.在此基础之上,又给出了构造混合多值逻辑量子置换门酉矩阵的框架,利用此框架可以方便地构造任何混合逻辑量子置换门的酉矩阵.酉矩阵是量子门的数学模型,可以清晰地反映出量子门的数学性质.研究量子门的酉矩阵对验证量子门的正确性和可靠性,分析量子状态在电路中的演化过程及发展趋势具有一定的意义.  相似文献   

11.
The paper considers the problem of combinatorial complexity of logical inference in knowledge bases constructed on the base of the production model. A method for logical inference relying on a relational algebra of facts located in a DBMS medium is described. Results of experiments for test knowledge bases, which demonstrate acceleration of logical inference, are presented.  相似文献   

12.
In this paper, a fuzzy inference network model for search strategy using neural logic network is presented. The model describes search strategy, and neural logic network is used to search. Fuzzy logic can bring about appropriate inference results by ignoring some information in the reasoning process. Neural logic networks are powerful tools for the reasoning process but not appropriate for the logical reasoning. To model human knowledge, besides the reasoning process capability, the logical reasoning capability is equally important. Another new neural network called neural logic network is able to do the logical reasoning. Because the fuzzy inference is a fuzzy logical reasoning, we construct a fuzzy inference network model based on the neural logic network, extending the existing rule inference network. And the traditional propagation rule is modified.  相似文献   

13.
This article focuses on the axiomatization of fuzzy functional dependency (FFD) in a fuzzy relational data model, which is considered as a fundamental issue towards building a theory of fuzzy relational database design. As an inference basis, the FFD axiomatic system composed of four FFD inference rules is established, and proven to be correct in terms of FFD logical implication with respect to the relation scheme. Consequently, the concept of the FFD transitive closure is defined, and correspondingly a computational algorithm is developed. This helps to tell whether a specific FFD can be derived from a given FFD set using those inference rules. In addition, some details of the algorithm as well as the aspects of the computational complexity and correctness are investigated. Finally, the soundness and completeness of the axiomatic system are discussed. It is proven that the system is both sound and complete. Importantly, this result enables us to “equate” the concept of FFD logical implication to the concept of FFD derivation using the inference rules. © 1994 John Wiley & Sons, Inc.  相似文献   

14.
15.
Experience‐based reasoning (EBR) is a reasoning paradigm that has been used in almost every human activity such as business, military missions, and teaching activities since early human history. However, EBR has not been seriously studied from either a logical or mathematical viewpoint, although case‐based reasoning (CBR) researchers have paid attention to EBR to some extent. This article will attempt to fill this gap by providing a unified fuzzy logic‐based treatment of EBR. More specifically, this article first reviews the logical approach to EBR, in which eight different rules of inference for EBR are discussed. Then the article proposes fuzzy logic‐based models to these eight different rules of inference that constitute the fundamentals for all EBR paradigms from a fuzzy logic viewpoint, and therefore will form a theoretical foundation for EBR. The proposed approach will facilitate research and development of EBR, fuzzy systems, intelligent systems, knowledge management, and experience management. © 2007 Wiley Periodicals, Inc. Int J Int Syst 22: 867–889, 2007.  相似文献   

16.
17.
18.
利用不动点求解子句逻辑推演的Petri网模型   总被引:6,自引:0,他引:6  
林闯  吴建平 《软件学报》1999,10(4):359-365
文章研究了子句逻辑推演的Petri网模型表示和不动点求解方法.基于四值逻辑和冲突变迁的概念,可用Horn子句的Petri网模型方法来构造非Horn子句的Petri网模型.逻辑推演的基本方法之一就是寻找逻辑赋值的不动点.该文显示了一种基于Petri网模型的子句逻辑不动点求解算法,比现有算法更为有效.  相似文献   

19.
Tuili实现系统中的多推理机结构   总被引:2,自引:2,他引:0  
高全泉 《计算机学报》1991,14(10):781-789
在逻辑型知识推理语言Tuili的实现中,基本核心是构造不同推能力的多个推理机并使之协同工作.针对这一问题,本文提出了实用的构造多推理机的方法和策略,并给出实现推理机的主要算法.  相似文献   

20.
为了简化PKI信任模型的逻辑推理,本文对Bakkali H E和他dtouni B I提出的两种推理方法进行了改进。首先通过使用三个谓词和三个约束条件给出与信任模型相关的定义和推理规则,并在此基础上提出了两个推论。可以证明,该方法能够有效地简化逻辑推理。最后,在层次结构模型中分析其推理过程。  相似文献   

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

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