基于中介逻辑的近似推理  

Approximate reasoning based on medium logic

作　　者：程天笑[1] 潘正华[1] 王岑[1] 

机构地区：[1]江南大学理学院,江苏无锡214000

出　　处：《计算机工程与应用》2009年第21期163-166,共4页Computer Engineering and Applications

基　　金：基金项目:国家自然科学基金(No.60575038)~~

摘　　要：知识处理的发展对"否定知识"的认识提出了新的要求。中介逻辑是一个完全形式化的系统,其完整地反映了矛盾和对立等否定关系以及推理关系。文章针对模糊知识,在中介逻辑无穷值语义模型的基础上,研究了基于中介逻辑的近似推理问题。文章分析了模糊知识中的否定关系,并以中介逻辑及其无穷值语义模型给予其语形与语义描述。然后,扩展了近似推理的CRI算法。同时,给出了语义匹配度的度量,包括语义距离和相似度,进而提出了基于语义匹配度度量的近似推理方法。The development of knowledge processing requires a new cognition on negative knowledge.Based on an interpretation of infinite valued for medium logic,the paper studies the approximate reasoning of medium logic.It analyses the negative relation between fuzzy knowledge,which is described by medium logic and its interpretation of infinite valued for medium logic.The paper provides a new arithmetic which expands the CRI arithmetic.The semantic match degree and its formula which include semantic similarity and semantic distance are put forward.Further,the paper proposes an approximate reasoning approach based on the measures of the semantic match degree.

关 键 词：中介逻辑 近似推理 推理合成规则近似推理方法(CRI) 语义匹配 

分 类 号：O159[理学—数学]