基于三值语义的非单调逻辑

本文给出一种三值非单调逻辑形式，它一方面可推广标准非单调逻辑到三值情形，另一方面它能捕捉各种非单调逻辑作为特殊形式，特别地，我们证明了三值非单调逻辑与模态非单调逻辑具有密切的关系．     

评“中介逻辑ML的一种模型”

近年来,朱梧槚、肖溪安等发表了名为“中介逻辑”的形式命题演算系统MP,并在系统内作了大量形式推演。由于起初“中介逻辑”没有语义解释,使得一段时间以来人们对“中介逻辑”是否为普通三值逻辑发生争议。有的作者试图为其建立模糊解释,然而最终导致失败。研究结果表明,“中介逻辑”确是三值逻辑,李祥、李广元在“科学通报”1988年第22期和1989年第5期的两篇文章中对此作了明确的回答。笔者就潘正华发表在《南京师大学报》1989年第一期上的文章“中介逻辑ML的一种模型”一文中出现的有关错误进行讨论。     

基于对称三值逻辑的集合

本文的目的是建立与对称三值逻辑相应的集合概念,定义它们的一些运算,并讨论其若干性质.     

/p∧乛p/=0与/p∧乛p/=1/2能使我们陷入“两难”吗?

在卢卡西维茨的三值逻辑理论L3 中 ,当 /p/=1/2时 ,/p/=1/2 ,所以 ,/p∧p/=1/2。但是 ,在人们的“逻辑直觉”中 ,/p∧p/=0。本文指出这种“逻辑直觉” ,其实是以二值逻辑暗中取代了三值逻辑 ,从而得出 /p∧p/=0这样的结果。 /p∧p/=1/2与 /p∧p/=0由于不是以同样的逻辑理论为基础 ,而是分别以三值逻辑和二值逻辑为基础的结果 ,因而 ,它们并不能使人陷入“二难”的境地     

/p∧→p/=0与/p∧→p/=1/2能使我们陷入"两难"吗?

在卢卡西维茨的三值逻辑理论L3中,当/P/=1/2时,/→p/=1/2,所以,p∧→p/=1/2.但是,在人们的"逻辑直觉"中,/p∧→p/=0.本文指出这种"逻辑直觉",其实是以二值逻辑暗中取代了三值逻辑,从而得出/p∧→p/=0这样的结果./p∧→p/=1/2与/p∧→p/=0由于不是以同样的逻辑理论为基础,而是分别以三值逻辑和二值逻辑为基础的结果,因而,它们并不能使人陷入"二难"的境地.     

关于“中介逻辑ML的一种模型”一文中的一些问题

本文针对[1]给出的中介逻辑ML的模型中出现的有关错误进行讨论并修改,修改结果表明,该模型实质上与Woodruff三值逻辑模型等价。     

基于Dirchlet分布的扩展主观逻辑

针对基于二值逻辑的主观逻辑中存在的一些问题,提出了基于Dirichlet分布的扩展主观逻辑．在利用三值逻辑代替原来二值逻辑的基础上,扩展主观逻辑重新定义了事实空间与观念空间之间的映射关系和映射函数,并给出了新的扩展合意规则．扩展主观逻辑保留了主观逻辑基于统计推断和概率理论的优点,并考虑了事件结果不确定时的情况,从而可更好地建模和处理信任中的主观性和不确定性．实例分析表明,扩展主观逻辑具有合理的事实根据和理论基础．     

三值逻辑神经元模型及其不确定性推理应用

针对二值神经元在不确定性知识表示和推理中的不足,提出了一种具有三值逻辑表达能力的神经元模型:三值逻辑与神经元和三值逻辑或神经元。采用这种三值逻辑神经元来表示规则和真值状态的不确定性,由这种逻辑神经元连接而成的神经元链能够实现三值逻辑推理系统,可以对三值关联规则进行表示和推理。     

／p∧-p／=0与／p∧-p／=1／2能使我们陷入“两难”吗？

在卢卡西维茨的三值逻辑理论L3中，当／p／=1／2时，／-p／=1／2，所以，／p∧-p／=1／2。但是，在人们的“逻辑直觉”中，／p∧-p／=0。本指出这种“逻辑直觉”，其实是以二值逻辑暗中取代了三值逻辑，从而得出／p∧-p／=0这样的结果。／p∧-p／=1／2与／p∧-p／=0由于不是以同样的逻辑理论为基础，而是分别以三值逻辑和二值逻辑为基础的结果，因而，它们并不能使人陷入“二难”的境地。     

四值逻辑代数及触发器

本文讨论了四值逻辑代数和T运算,指出四值模代数运算不是完备系。文中给出了四值D,T,JK以及全功能触发器的逻辑设计及性能。     

多值逻辑的全功能触发器

本文讨论了多值逻辑的全功能触发器.特别讨论了对称三位触发器的各种功能,并指出全功能的pqr触发器具有27种函数变换.     

对称三进制乘法算法

本文根据对称三进制编码原理，提出对称三进制乘法的算法，以及对称三进 制乘法器的设计方法。     

反链在正则三值逻辑函数个数计算中的应用

正则三值逻辑函数个数的计算十分复杂，本文将这一问题与ｎ维三元偏序集Ｅｎ以及的幂集中反链的计算联系起来，得到了两个有用的计数公式和，从而为解决这一问题提供了一种新的途径．     

一类代数上的诱导代数及广义Kleene—Dienes三值系统

引入诱导代数与广义Ｋｌｅｅｎｅ－Ｄｉｅｎｅｓ三值系统等概念，研究一类代数及其诱导代数的性质，得到若干有用结果。     

对称逻辑函数的零级核计算问题

对对称逻辑函数的零级核计算问题进行了讨论,并给出了一个计算对称逻辑函数零级核的定理,该定理表明,对称逻辑函数的对称逻辑变量之和恰好构成了该逻辑函数的一个零级核。实际应用显示,应用该定理计算对称逻辑函数的零级核,在计算时间和存储容量上都优于传统的核理论。     

完善三值维持阻塞触发器

对三值维持阻塞D型和T型触发器的设计进行了改进，使它们具有完善的预置功能。     

三值主从JK触发器的研究

本文提出一种具有三轨铺出的三值主从JK触发器的电路设计，经计算机模拟和通过测试由TTL门组成的实验电路表明，该触发器能实现预定的逻辑功能。     

归纳逻辑程序设计综述

归纳逻辑程序设计是逻辑程序设计和机器学习的一个交叉研究领域。先概述了归纳逻辑程序设计的历史及发展现状;对归纳逻辑程序设计学习器进行了分类和形式化定义,并给出了学习器的质量标准;按划分的类型分别讨论了归纳逻辑程序设计学习器的主要求解算法;进一步指出了归纳逻辑程序设计未来的发展前景,提出了归纳逻辑程序设计领域需要深入研究的若干问题。