基于括号表示法的4值逻辑自然演绎系统

运用括号表示法来构建4值逻辑,其形式语言非常简洁,公式表达准确、无歧义,也更加简短。使用符合4值逻辑推理直觉的16条推理规则,可以建立4值逻辑自然演绎系统PD 4;基于4值语义可以证明该系统具有可靠性和完全性。通过语形、语义方法可以严格证明4值逻辑自然演绎系统PD 4是经典2值逻辑、卢卡西维茨3值逻辑以及一般3值逻辑系统的扩充。

几种真值集为非线性序集的4值逻辑系统

介绍了 3种真值集为非线性序集的 4值逻辑系统的┐ ,∨ ,∧运算及蕴含算子→ ,并研究了它们的性质及重言式理论、准重言式理论 ,得到一些结论 .

四值非链格值命题逻辑系统LP_4(X)的归结原理

基于格蕴涵代数的格值命题逻辑系统LP4(X)的相关概念和结果,给出了LP4(X)上的归结原理,并证明了其可靠性和完备性.四值命题逻辑系统LP4(X)作为含有不可比真值的一种基本且重要的格蕴涵代数结构,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持.

4值广义Bent函数的一种递归构造方法

本文利用代数学中p -基分解的方法 ,研究了 4值广义Bent函数的代数结构问题 ,给出了一元 4值逻辑函数为广义Bent函数的一个充要条件 ,同时利用多值逻辑函数的循环谱分解式 ,给出了

对称逻辑公式在L4＊逻辑度量空间中的分布

在四值逻辑系统L*4中引入了对称逻辑公式。运用Matla软件研究了对称逻辑公式在L*4逻辑度量空间中的计数问题,给出了3n元、3n+1元、3n+2元对称逻辑公式的个数。证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋于零。

一种解决次协调数据库中无限关系的方法

次协调数据库的数据模型是用来处理数据库中两类不确定信息,即不完全信息和不一致信息(矛盾信息).次协调关系模型上的代数运算是普通关系上的代数运算的扩展,但由于次协调关系的特殊性,在其上的代数运算会产生无限关系,因此,以次协调关系为基础的DBMS必须能够表示和操纵无限关系.首先介绍了无限关系以及几种常见的解决方法,然后提出了一种新的元组扩展的方法以避免无限关系的出现,从而为次协调数据库的应用打下坚实的基础.

次协调数据库中的域关系演算

次协调数据库的数据模型是用来处理数据库中两类不确定信息,即不完全信息和不一致信息(矛盾信息)。关系演算语言是表达关系数据模型中的数据操作的一种方式。域关系演算是以域为变量进行的关系演算。文中提出了一种4值的域关系演算来查询次协调数据库,它的语法与普通关系上的2值域关系演算相似,但是这种新的4值语义能够有效的查询不完全信息和不一致信息。这为次协调数据库中的类SQL语言及实现提供了理论依据,进而为次协调数据库的应用打下坚实基础。

不相容逻辑程序的矛盾处理及其语义AFSX

Gelfond和Lifschitz将逻辑程序扩展,使其包含两种否定:经典否定和缺省否定,这种扩展逻辑程序的知识表达能力有了很大的提高,本文在多值逻辑的基础之上,提出了处理不相容扩展逻辑程序的方法,并且给出了它的一种构造性语义AFSX。