格值命题逻辑系统相关论文
首先给出了滤子的几个等价条件,接着定义了固执滤子,证明了固执滤子,极大关联滤子,极大正关联滤子相互等价,得出了超滤是固执滤子......
给出了格值命题逻辑系统L9P(X)上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断,L9P(X)上子句集S为M-可满足的自动推理算法(......
在格值命题逻辑中α-归结自动推理算法的基础上,给出了格值命题逻辑系统中的α-归结自动推理算法的流程图,并对该算法的计算效率进......
在格值命题逻辑系统L2n+1P(X)上,提出了半正则的正广义文字和半正则的负广义文字的概念,进一步给出了半正则广义子句和半正则广义予句集......
针对格值命题逻辑中归结自动推理算法的效率问题,在格值命题逻辑系统中的α-归结原理基础上,提出了格值命题逻辑系统LP(X)上的II-......
人的智能活动正是体现在对不确定性信息的获取、提炼、推理、判断和决策上,其中不确定性推理是关键的环节,也自然成为计算机科学和人......