模糊命题演算的一种形式演绎系统

Elkan1993年7月在美国第11届人工智能年会上作题为“模糊逻辑的似是而非的成功”的报告起了一场轩然大波,随即有15位从事人工智能与模糊系统研究的专家对其进行了反驳,最后Elkan又以“关于模糊逻辑的似是而非的争论”作答.吴望名教授就此作了专门分析.这一事实表明就模糊命题演算而言还没有一个严格的逻辑基础.本文首先指出,在模糊命题演算的范围内,希望保持所有的经典定理为重言式是不可能的;然后在放弃了个别经典公理的基础上引入了模糊命题演算的一种形式演绎系统,证明了相应的可靠性定理.1 模糊公式及其赋值定义1 设S是非空集,其元素称为原子命题或原子公式,“(?)”,“∨”,“→”是连接词,“(”与“)”是括号.规定