关系数据库中信息空缺与多值逻辑的研究

研究了信息空缺问题中的多值逻辑，并讨论了多值逻辑对逻辑代数、关系数据库的影响以及SQL对多值逻辑的支持。     

部分多值逻辑函数集中准完备集的分类问题研究

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

逻辑系统H_t中三-I算法的另一种证明

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

多值逻辑网络的输出跟踪牵制控制

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

多值逻辑函数发生器的优化设计方法

将二值逻辑系统的设计方法巧妙地溶入了多值逻辑系统的设计当中,找到了实现多值逻辑系统设计的最优方法.并通过典型实例的分析,总结出三点结论,可望促进多值逻辑技术的普及与发展.     

多值逻辑研究的进展与动向

本文综述了近年来我国多值逻辑研究的进展,并对其中较有代表性的成果作了重点介绍.分析了国际上多值逻辑研究的新动向,重点讨论了多值逻辑研究与分子计算机、光计算机及人工智能等研究领域的关系.     

多值逻辑的矢量变换与二值器件实现的综合

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

部分K值逻辑函数中准完备集之最小覆盖的一些结果

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

CCD多值逻辑电路

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

多值逻辑量子置换门的酉矩阵表示

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

A method for acceleration of logical inference in the production knowledge model

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.     

A Fuzzy Inference Network Model for Search Strategy Using Neural Logic Network

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.     

A computational algorithm for the FFD transitive closure and a complete axiomatization of fuzzy functional dependence (FFD)

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.     

A fuzzy logic approach to experience‐based reasoning

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.     

利用不动点求解子句逻辑推演的Petri网模型

文章研究了子句逻辑推演的Petri网模型表示和不动点求解方法.基于四值逻辑和冲突变迁的概念,可用Horn子句的Petri网模型方法来构造非Horn子句的Petri网模型.逻辑推演的基本方法之一就是寻找逻辑赋值的不动点.该文显示了一种基于Petri网模型的子句逻辑不动点求解算法,比现有算法更为有效.     

Tuili实现系统中的多推理机结构

在逻辑型知识推理语言Tuili的实现中,基本核心是构造不同推能力的多个推理机并使之协同工作.针对这一问题,本文提出了实用的构造多推理机的方法和策略,并给出实现推理机的主要算法.     

一种PKI信任模型逻辑推理的改进方法

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