基于中介逻辑的模糊知识表示及应用

《基于中介逻辑的模糊知识表示及应用》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、CN43-1258／TPISSN1007-130X计算机工程与科学COMPUTERENGINEERING＆SCIENCE2008年第30卷第11期V01．30．No．11，2008文章编号：1007—130X(2008)11-0080-03基于中介逻辑的模糊知识表示及应用’FuzzyKnowledgeRepresentationBasedonMediumLogicandItsApplication王岑．潘正华WANGCen．PANZbeng-hna【江南大学理学院，江苏无锡214122)(SchoolofScience-JiangnanUniversity-Wuxi2141

2、22-China)摘要：本文基于中介逻辑理论，在知识描述中区分知识的“矛盾”与“对立”，肯定对立的模糊概念之间存在中介对象(中介概念)，将矛盾否定与对立否定运用于知识表示中；并以一金融决策实际问题为例，采用距离比率函数为模糊谓词表达式赋予属于[o，1]区间的真值，结合中介谓词逻辑的无穷值语义模型与具体情形，给出了模型中变量(取值的一种确定方法及其意义，最后通过一具体实例讨论了模糊知识推理。Abstract：Basedonthetheoryofr／础uIn109ic，thepaperdifferentmtescontradictoryfromoppositioninknowl

3、edgerepresenta-tion．affirmsthatthereexistsan'lediLIn'lconceptbetweenapairofoppositefuzzyconcepts，andintroducesfuzzyprivativeandopposi—donprivativeintraditionalknowledgempmsentafiorLIttakesafinancialdedsion-mak堍programforexample，adoptsaratiofunc-tionofdistanceto印doweachfuzzypredicateexpress

4、ionwithatruthvaluewhichbelongstotheinterval[o，1]．BasedOiltheinfi-nite-valuedmodelofMF，itgivesamethodtoascertainthevalueofvariable入inthenxxtdaccorcUngtosped／icc越璐，fromwhichtheeffectandmeaningofXaleshown．F'mallyitd正K．uss葛fuzzyknowledgereasoningbyaspecificexample．关键词：模糊知识表示；中介逻辑；无穷值模型；真值程度Key

5、words：fuzzyknowledgerepresentation；mediumlogic；infinite-valuedmodel；truthvalue中图分类号：0159文献标识码：A1引言在知识研究中，知识的区分、表示以及处理等是知识处理的基础。然而，在关于不确定知识及其否定的表示和处理上，经典逻辑以及带一种否定的逻辑已不满足知识处理发展的需求。对此，许多研究者提出了一些不同的研究思想与方法。1999年，WagnerG在知识推理中提出带有两种否定的局部逻辑；2005年，KaneiwaK在描述逻辑中主张两种否定；上世纪80年代，朱梧顿和肖奚安建立了中介逻辑系统；200

6、4年，潘正华提出中介逻辑的无穷值语义模型，用来研究知识处理。2中介逻辑系统自Aristotle以来，形式逻辑在概念意义上就区分了“矛盾”否定和“对立”否定。若两个概念中的一个内涵否定另一个内涵，则称它们是一对矛盾否定概念，如好与不好；若两个概念都有其自身的肯定内容，并在同一内涵的一个更高级的概念中它们之间存在着最大差异，则此两个概念就是一对对立否定概念，如好与坏。然而，自然界所有事物并不都是“非此即彼”，也存在(而且大量存在)“亦此亦彼”的现象，中介逻辑就是以此为背景而创立的。在中介谓词逻辑中，设P为一个一元谓词，P的对立记为1P，所以P、1P表示一对具有“对立”关系的谓词

7、。在MF中无条件承认：存在这样的谓词P，有对象z，使得P(z)和1P(z)都部分地真，这样的工称为P和1P的中介对象，z具有的这种性质记为～P，称～P为P与1P的中介谓词(或P的模糊否定谓词)，所以P、～P表示一对具有“模糊否定”关系的谓词。限于篇幅，关于中介逻辑详见文献[1，3]．定义l中介谓词逻辑MF中合式公式A的一个卜赋·收稿日期：2008—05—10；修订日期：2008-07-12荐喜蓄异；里毒宕1然98壁5蓑萎毫墨巽琶星怨薯

8、j：i骂虢方向为多值逻辑理论及其在信息学科中的应用。作者简介：王岑(一)，男，江