基于信任半格的次协调逻辑领域本体公理表示方法的研究  

Resarch on Representation Methodology of Domain Ontology Axioms for the Based on Belief Semilattice of Paraconsistent Logic

作　　者：姜跃[1] 周凯[2] 赵榆琴[3] 夏幼明[4] 

机构地区：[1]云南财经大学高等职业技术学院,云南昆明650101 [2]昆明冶金高等专科学校测绘与计算机信息学院,云南昆明650033 [3]大理学院数学与计算机学院软件教研室,云南大理671000 [4]云南师范大学计算机科学与信息技术学院,云南昆明650092

出　　处：《云南民族大学学报（自然科学版）》2009年第3期260-263,共4页Journal of Yunnan Minzu University:Natural Sciences Edition

基　　金：云南省自然科学基金重点资助项目(04F0062)

摘　　要：非规范知识处理的最典型应用领域是因特网上知识的处理,因特网上知识以各种媒体形式存在,以自然语言为载体,它充满了各种矛盾的事实、数据和观点,体现了非规范知识的不确定性、不精确性和不协调性等特征.本文利用次协调逻辑的理论和方法,具体采用了注解谓词逻辑的信任半格来表示领域本体公理,为非规范知识的表示与逻辑推理问题的研究提供理论依据.The most typical the internet. Carried by natural application area of non - canonical knowledge is that of the knowledge processed on language, the knowledge on the internet exists various forms of the media,which is full of contradictory facts, data and views, revealing the features of the uncertainty, inaccuracy and incoordination of non - canonical knowledge. The paper provides some theoretical evidence concerning the representation and logic reasoning of non -canonical knowledge by utilizing the Paraconsistent logic theory and its methodology, and especially by using the trust semilattice of logical inference to express domain ontology axioms.

关 键 词：非规范知识 信任半格 领域本体 次协调逻辑 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]