Applications Of Paraconsistency In Data And Knowledge Bases

被引：0
作者：
John Grant
V. S. Subrahmanian
机构：
[1] Towson University,Department of Mathematics
[2] University of Maryland,Department of Computer Science, Institute for Advanced Computer Studies and Institute for Systems Research
来源：
Synthese | 2000年 / 125卷
关键词：
Knowledge Base; Paraconsistent Logic; Inconsistent Database;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The study of paraconsistent logic as a branch of mathematics and logic has been pioneered by Newton da Costa. With the growing advent of distributed and often inconsistent databases over the last ten years, there has been growing interest in paraconsistency amongst researchers in databases and knowledge bases. In this paper, we provide a brief survey of work in paraconsistent databases and knowledge bases affected by Newton da Costa's important and lasting contributions to the field.
引用
收藏
页码：121 / 132
页数：11
相关论文
共 30 条
[1]  
Abe J.(1991)Remarks on Annotated Logics Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 37 561-570
[2]  
da Costa N. C. A.(1991)Combining Multiple Knowledge Bases IEEE TKDE 3 208-220
[3]  
Subrahmanian V. S.(1992)Combining Knowledge Bases Consisting of First Order Theories Computational Intelligence 8 45-71
[4]  
Baral C.(1989)Paraconsistent Logic Programming Theoretical Computer Science 68 135-154
[5]  
Kraus S.(1995)A Paraconsistent Relational Data Model Inter. J. of Computer Math. 55 39-55
[6]  
Minker J.(1990)Paraconsistent Logics as a Formalism for Reasoning about Inconsistent Knowledge Bases Journal of Artificial Intelligence in Medicine 1 167-174
[7]  
Baral C.(1991)The Paraconsistent Logics Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 37 139-148
[8]  
Kraus S.(1978)' Notre Dame J. of Formal Logic XIX 435-444
[9]  
Minker J.(1995)Classifications for Inconsistent Theories IEEE TKDE 7 177-189
[10]  
Subrahmanian V. S.(1995)Reasoning About Inconsistent Knowledge Bases Acta Cybernetica 12 37-55
123