关于格蕴涵代数和格值命题逻辑系统LP(X)的研究

摘要

不确定性推理是人工智能和专家系统研究的核心内容之一,而非经典逻辑是不确定性推理的理论基础,因此它的研究具有重要的理论意义和实用价值.该文讨论真值域是由有限个有限链的乘积构成的格蕴涵代数的格值命题逻辑系统LP(X),主要作了如下三个方面的工作:1.关于格蕴涵代数中蕴涵运算的研究;2.关于蕴涵不等式的研究;3.关于基于由有限个限链构成的格蕴涵代数的格值命题逻辑系统LP(X)的研究.

目录

文摘

英文文摘

第一章绪论

§1.1引言

§1.2预备知识

第二章格蕴涵代数和蕴涵不等式

§2.1格蕴涵代数

§2.2格蕴涵代数中的蕴涵运算

§2.3一类蕴涵不等式的解的性质

第三章基于有限链乘积的格值命题逻辑系统

§3.1 LP(X)中的语义

§3.2LP(X)中的语法

第四章总结与展望

§4.1总结

§4.2展望

致谢

参考文献