命题逻辑公式相关论文
逻辑公式的满足性问题是理论计算机科学和人工智能中的著名问题。命题逻辑公式的满足性判定方法和一阶逻辑公式有限模型构造技术在......
命题逻辑公式是由命题变元和逻辑连结词(Φ)(否定)、∧(合取)、∨(析取)、→ (蕴涵)以及括号按照一定的规则组成的表达式.其中命题......
会议
本文给出了区间值模糊命题逻辑公式的概率(-α)-真度的定义,并对它的性质进行了系统的研究,使用这种概率真度可获得与王国俊教授n......
本文给出了适用于任何模糊蕴含算子的n值命题逻辑公式真度的新定义.在n值命题逻辑系统Wn中,得到了公式p,p∨q,p∧q,p→q真度的计算......
Survey propagation是一种新生的SAT(CSP)算法.它基于统计物理的spin glass模型,针对具体问题进行纵览(survey),从而极大地降低求......
定理机器证明是通过计算机实现定理自动证明。自上世纪五十年代以来定理自动证明一直是计算机科学研究的热点之一,在数学、硬件测......
