检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:廉师友[1]
出 处:《计算机工程与应用》2001年第21期70-72,共3页Computer Engineering and Applications
摘 要:以全新的思想和视角,把蕴涵式p→q看作一种真度变换,并提出了真度变换率和真度变换差的概念,然后在此基础上给出了一组称为肯定前件式和否定后件式真度假言推理的推理规则,从而得到了一种命题近似推理的新方法。把该方法推广到谓词逻辑,就得到一种基于谓词逻辑的近似推理新方法。因此,文章的思想和方法可作为模糊推理的理论基础。With sprang-new thought and perspective,the logic implication p→q is regarded as a transformation on truth degree.The concepts of the rate and difference of truth degree transformation are presented at the same time.Then a group of inference rules called truth degree-oriented modus ponens and modus tollendo ponens is given.Thus It gets a new approach of propositional approximate inference.Extending the approach to predicate logic,It will obtain a new ap-proach to approximate inference based on predicate logic.Therefore,the thought and way of this paper may be treated as a theory base of Fuzzy reasoning.
分 类 号:TP18[自动化与计算机技术—控制理论与控制工程]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.3