###
DOI:
Journal of Software:1998.9(4):311-315

处理知识库中不一致性的超决定逻辑研究
王清毅,陈恩红,刘贵全,蔡庆生
(中国科技大学计算机系,合肥,230027)
Research on Over-determined Logic for Handling the Inconsistency in Knowledge Bases
WANG Qing-yi,CHEN En-hong,LIU Gui-quan,CAI Qing-sheng
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3263   Download 3049
Received:December 04, 1996    Revised:May 13, 1997
> 中文摘要: 本文首先分析了现有的能够处理知识库中不一致性的逻辑的不足,然后定义了超决定结构、模型和语义的概念,具体描述了超决定语义的计算过程,从而给出了一种能够处理知识库中不一致性的逻辑,并对该逻辑进行了一些讨论.
Abstract:In this paper, the authors discuss some drawbacks of several kinds of existing logic to handle inconsistency in knowledge bases at first, and then give the definition of over-determined structure, over-determined model and over-determined semantics. They also describe in detail the computation procedure for over-determined-semantics. As a result, a kind of logic for handling inconsistency is presented. Finally, a discussion on the over-determined logic is concluded with.
文章编号:     中图分类号:    文献标志码:
基金项目:本文研究得到国家自然科学基金和高等学校博士点基金资助. 本文研究得到国家自然科学基金和高等学校博士点基金资助.
Foundation items:
Reference text:

王清毅,陈恩红,刘贵全,蔡庆生.处理知识库中不一致性的超决定逻辑研究.软件学报,1998,9(4):311-315

WANG Qing-yi,CHEN En-hong,LIU Gui-quan,CAI Qing-sheng.Research on Over-determined Logic for Handling the Inconsistency in Knowledge Bases.Journal of Software,1998,9(4):311-315