| 处理知识库中不一致性的超决定逻辑研究 |
| |
| 引用本文： | 王清毅,陈恩红,刘贵全,蔡庆生. 处理知识库中不一致性的超决定逻辑研究[J]. 软件学报, 1998, 9(4): 311-315 |
| |
| 作者姓名： | 王清毅 陈恩红 刘贵全 蔡庆生 |
| |
| 作者单位： | 中国科技大学计算机系,合肥,230027 |
| |
| 基金项目： | 本文研究得到国家自然科学基金和高等学校博士点基金资助. |
| |
| 摘 要： | 本文首先分析了现有的能够处理知识库中不一致性的逻辑的不足，然后定义了超决定结构、模型和语义的概念，具体描述了超决定语义的计算过程，从而给出了一种能够处理知识库中不一致性的逻辑,并对该逻辑进行了一些讨论.
|
| 关 键 词： | 知识库，不一致性，超决定逻辑. |
| 收稿时间： | 1996-12-04 |
| 修稿时间： | 1997-05-13 |
Research on Over-determined Logic for Handling the Inconsistency in Knowledge Bases |
| |
| WANG Qing-yi,CHEN En-hong,LIU Gui-quan and CAI Qing-sheng. Research on Over-determined Logic for Handling the Inconsistency in Knowledge Bases[J]. Journal of Software, 1998, 9(4): 311-315 |
| |
| Authors: | WANG Qing-yi CHEN En-hong LIU Gui-quan CAI Qing-sheng |
| |
| Affiliation: | Department of Computer Science University of Science and Technology of China Hefei 230027 |
| |
| 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. |
| |
| Keywords: | Knowledge bases inconsistency over-determined logic. |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
