中国学术期刊网络出版总库
  关闭
系统L中τ(A→X)≥α型逻辑不等式的解问题  
   推荐 CAJ下载 PDF下载
【英文篇名】 Solution for logic inequality of τ(A→X)≥α type in system L
【下载频次】
【作者】 王廷明;
【英文作者】 WANG Tingming Teachers College of Qingdao University; Qingdao; Shandong 266071; China;
【作者单位】 青岛大学师范学院;
【文献出处】 计算机工程与应用 , Computer Engineering and Applications, 编辑部邮箱 2012年 16期  
期刊荣誉:中文核心期刊要目总览  ASPT来源刊  中国期刊方阵  CJFD收录刊
【中文关键词】 二值命题逻辑; 逻辑不等式; 真度; 极小项; 解集;
【英文关键词】 two-valued propositional logic; logic inequality; truth degree; minterm form; solution set;
【摘要】 二值命题逻辑L中τ(A→X)≥α型基于真度的逻辑不等式在二值命题逻辑系统L的近似推理研究中有着重要应用。通过F(Sn)中公式是逻辑不等式τ(A→X)≥α解的几个充要条件,给出了该逻辑不等式的解集表示及其按真度相等关系和逻辑等价关系的分类定理,得到了等价类的结构表示和等价类个数结论,为基于真度的逻辑不等式问题的进一步研究和应用提供结构性方法。
【英文摘要】 Based on the truth degree, the type of logic inequality τ(A X ) 3 α plays an important role in the study of the approximate reasoning in the two-valued propositional logic system L. According to several necessary and sufficient conditions for the solution of logic inequality τ(A X ) 3 α in F(Sn), the solution set expression of this kind of logic inequality is obtained, and the classification theory is suggested under the relations either equality of truth degree or logic equivalent. Meanwhile, the structura...
【更新日期】 2012-07-06
【分类号】 O141
【正文快照】 1引言以数值计算为主要特征的真度理论是王国俊教授于2001年首先提出的[1],此后的诸多文献对包括二值命题逻辑系统L在内的多种逻辑系统以真度理论为基础的程度化和近似推理问题进行了广泛研究。在二值命题逻辑系统L中,文献[1-4]以命题公式的真度概念以及相似度描述的伪距离概念

xxx
【读者推荐文章】中国期刊全文数据库
【相似文献】
中国期刊全文数据库
中国优秀硕士学位论文全文数据库
中国博士学位论文全文数据库
中国重要会议论文全文数据库
中国重要报纸全文数据库
中国学术期刊网络出版总库
点击下列相关研究机构和相关文献作者,可以直接查到这些机构和作者被《中国知识资源总库》收录的其它文献,使您全面了解该机构和该作者的研究动态和历史。
【文献分类导航】从导航的最底层可以看到与本文研究领域相同的文献,从上层导航可以浏览更多相关领域的文献。

数理科学和化学
  数学
   数理逻辑、数学基础
    数理逻辑(符号逻辑)
  
 
  CNKI系列数据库编辑出版及版权所有:中国学术期刊(光盘版)电子杂志社
中国知网技术服务及网站系统软件版权所有:清华同方知网(北京)技术有限公司
其它数据库版权所有:各数据库编辑出版单位(见各库版权信息)
京ICP证040431号    互联网出版许可证 新出网证(京)字008号