基于公式真度的公式集约简

摘要：

基于经典命题逻辑的真度理论,讨论了经典命题逻辑系统当中公式集的约简问题.提出了真度约简及α-真度约简的概念,为公式集的约简提供了一种可行的操作方法.

关键词：Boole函数、公式真度、公式集约简、α-真度约简、近似推理

所属期刊栏目：24

分类号：O235;O153(控制论、信息论（数学理论）)

资助基金：陕西科技大学自然科学基金资助项目ZX07-37;陕西省教育厅科研研究计划项目08JK236

在线出版日期：2010-05-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：66-70