摘要
非规范知识处理的最典型应用领域是因特网上知识的处理,因特网上知识以各种媒体形式存在,以自然语言为载体,它充满了各种矛盾的事实、数据和观点,体现了非规范知识的不确定性、不精确性和不协调性等特征.本文利用次协调逻辑的理论和方法,具体采用了注解谓词逻辑的信任半格来表示领域本体公理,为非规范知识的表示与逻辑推理问题的研究提供理论依据.
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.
出处
《云南民族大学学报（自然科学版）》
CAS
2009年第3期260-263,共4页
Journal of Yunnan Minzu University:Natural Sciences Edition
基金
云南省自然科学基金重点资助项目(04F0062)
关键词
非规范知识
信任半格
领域本体
次协调逻辑
non - canonical knowledge
trust semilattice
domain ontology
paraconsistent logic
