命题逻辑系统理论的广义根与Fuzzy推理

摘要：

在经典命题逻辑系统，Lukasiewicz命题逻辑系统，C(o)del命题逻辑系统和R0-命题逻辑系统上定义了理论Γ的广义根并讨论其性质，证明了当一个理论Γ有广义根时它的结论集D(Γ)的结构完全由广义根所确定，证明了这些命题逻辑系统的每一个有限理论Γ都有广义根，并且给出了广义根的构造。应用广义根的性质，从语构观点讨论Fuzzy推理的逻辑形式，获得了Fuzzy推理的非模糊形式和几个FMP形式的计算公式。

关键词： 命题Fuzzy逻辑 广义根 Fuzzy推理 FMP形式 计算公式

作者: 张建成

作者单位: (泉州师范学院 理工学院，福建 泉州 362000)

会议类型: 国内会议

会议名称: 中国系统工程学会模糊数学与模糊系统专业委员会第十四届学术会议

会议地点: 福建武夷山

会议语种:中文

页码: 339-343

在线出版日期: 2008-10-31（万方平台首次上网日期，不代表论文的发表时间）