10.3969/j.issn.1001-8972.2008.08.017
一阶谓词公式集的一类内蕴模糊子集
在公式集中定义了每个公式的真度其实也就给出了公式集上的一个内蕴模糊子集.本文在二值谓词逻辑系统中引入一类特殊解释,即论域有限的解释,给出了一阶谓词公式A的相对于某一个特定解释下的相对真度定义,从而得到谓词公式集的一类内蕴模糊子集.并证明了这种相对真度也具有与命题逻辑系统中公式的真度相应的某些性质,如MP 规则与HS规则.本文为建立谓词逻辑系统中的近似推理理论提供了理论基础.
内蕴集、模糊子集、相对真度、有限解释
B81;O21
2008-07-28(万方平台首次上网日期,不代表论文的发表时间)
共2页
43-44