一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

基于FI-代数的一阶模糊谓词演算逻辑系统

在模糊命题逻辑系统FMI的基础上,建立了一个基于FI-代数的一阶模糊谓词演算形式系统.主要给出了该系统的一些语义概念,并基于安全的M-解释研究了其可靠性.这些结果将有利于在一个更加广泛的逻辑框架下来研究模糊推理的逻辑基础问题.     

管理信息本体需求的谓词演算有限集构造

由于管理信息需求的不确定性、多样性和动态性,管理信息系统（包括ERP）的开发一直被认为是一项高风险的投资项目．通过管理信息本体的研究,构建基于本体需求的管理信息本体描述框架及其谓词演算集,无疑可以进一步降低管理信息系统的开发成本,缩短开发周期,提高开发效率,并且易于维护,从而延长管理信息系统的生命周期．     

中介逻辑演算系统MPN及MFN

为满足不完全信息系统应用的需要,本文构造了基于命题联结词∧、∨、→、ヲ、～和～的中介逻辑命题演算系统ＭＰＮ和中介逻辑谓词演算系统ＭＦＮ,并证明了ＭＰＮ与ＭＰ＊、ＭＦＮ与ＭＦ＊的表达能力等价。ＭＦＮ将为进一步讨论不完全信息数据库作准备     

一阶形式系统K*及其完备性

模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一阶形式系统K*,并证明了这个系统的完备性.