命题模糊逻辑系统中公式的理论可证度-河北师范大学学报.PDFVIP

第3 1卷/第4 期/ 河北师范大学学报/自然科学版/ Vol.31 No.4 2007 年7 月 JOURNALOFHEBEI NORMAL UNIVERSITY/Natural Science Edition/ Jul.2007 命题模糊逻辑系统中公式的理论可证度 张 兴 芳 (聊城大学 数学科学学院, 山东 聊城　252059) ＊ 摘 要: 命题模糊逻辑系统M TL 的扩张系统 Luk, Göd, ∏和L 中, 探讨出了一种基于标准 MTL-代数L = [0, 1] 判定理论 Γ是否推出公式Β的新思路.首先引入了刻画理论 Γ推出公式Β的程度的一种指标———称为公式 Β的理论 Γ可证度, 然后研究了它的性质.最后给出了命题模糊逻辑系统 Luk 中公式的理论可证度的计算公式. 关键词:命题模糊逻辑;理论;可证度;计算公式 中图分类号:O 141.1　　　文献标识码:A 　　　文章编号:1000-5854(2007)04-0421-06 逻辑演算系统QPC(＊)(＊是t-模, 参见文献[1～3] )中, 称公式集F (S )的子集 Γ为QPC(＊)的理 论, 其 Γ推理占有重要的地位.若理论 Γ推出公式B ∈F (S ), 则称B 为 Γ-结论, 记作 Γ -B .人们自然考 虑给定一个公式B ∈F (S ), 是否能由 Γ推出.利用形式演绎固然是一种方法, 但是比较复杂, 甚至有时难以 找到证明的思路.对于固定的左连续t-模 ＊确定一个完备的逻辑演算系统QPC (＊), 同时也产生一个相应 [4] 的MTL -代数, 根据强完备性 , Γ -B 当且仅当对于任意线性序 MTL -代数L 的任意 Γ的模型e, 有 e (B )=1.显然由于线性序MTL -代数的任意性, 按照此法证明 Γ -B 是难于实现的.为此, 设想能否仅仅 基于最简单的MTL -代数L=[0, 1]达到探求 Γ能否推出Β之目的. 一个确定的QPC(＊)中, 若 Γ -B, 则对于 Γ的任意[0, 1] -模型e, 有e(B )=1, 但是反之不一定成立.于是 基于MT L 逻辑扩张的4 个命题模 ＊ 糊逻辑系统Luk, Göd, ∏和L 中, 探讨出了一种基于标准MTL -代数L =[0, 1]判定 Γ -B 的新思路.首先 引入了刻画理论 Γ推出公式B 的程度的一种指标———称为公式B 的理论 Γ可证度, 然后研究了其性质, 从 而提出了一种模糊逻辑的新理论, 同时得到了证明 Γ -B 的一个易于实现的新方法.逻辑公式B 的理论 Γ 可证度理论的建立具有重要的意义, 因为它不仅可以看作是王国俊所建立的命题逻辑公式真度理论[5～7] 的 推广, 而且更重要的是说明了其所建立的命题逻辑公式真度理论的应用价值. 1　准　备 定义1　设S={p , p , …, p , …}是一个可数集, 0 是真值常元, ∧, 和※都是S 上的二元连接词, 1 2 n F (S )是由S ∪{0}生成的(※, , ∧)型自由代数, 则称F (S )中的元素为命题或公式, S 中的元素p , p , 1 2 …,p , …为原子命题或原子公式, 0 称为零元. n 由0, ∧和※定义的新连接词」及∨如下: 　　　　 A =A※0, A ∨B=((A※B )※B )∧((B※A )※A ). 」 定义2　设A ∈F (S ), X S, M=[0, 1] . 1)称映射 :X※M 为X 上的赋值, X 上的赋值的全体记作Ψ(X ).特别地, 当X =S 时, 简记作 Ψ;当 p , p , …, p 是公式A 中出现的所有原子公式时, 记作Var(A )={p , p , …,