Automatic diagnoses for properly stratified knowledge-bases

被引：1
|
作者：
Arieli, O
Avron, A
机构：
来源：
EIGHTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 1996年
关键词：
knowledge-based systems; non-standard logics for AI; reasoning under uncertainty; model-based diagnosis;
D O I：
10.1109/TAI.1996.560481
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing so automaticly. This method is nonmonotonic and paraconsistent. It is particularly useful for making diagnoses on faulty devices.
引用
收藏
页码：392 / 399
页数：8
相关论文
共 50 条
  • [1] Four-valued diagnoses for stratified knowledge-bases
    Arieli, O
    Avron, A
    COMPUTER SCIENCE LOGIC, 1997, 1258 : 1 - 17
  • [2] FROM DATABASES TOWARDS KNOWLEDGE-BASES
    WATERS, S
    KNOWLEDGE-BASED MANAGEMENT SUPPORT SYSTEMS, 1989, : 334 - 340
  • [3] Incomplete Information and Bayesian Knowledge-Bases
    Santos, Eugene, Jr.
    Gu, Qi
    Santos, Eunice E.
    2011 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2011, : 2989 - 2995
  • [4] KNOWLEDGE-BASES AND LOCATION OF SERVICES IN CZECHIA
    Zenka, Jan
    Slach, Ondrej
    Reichova, Vendula
    19TH INTERNATIONAL COLLOQUIUM ON REGIONAL SCIENCES, 2016, : 522 - 528
  • [5] Verification and validation of Bayesian knowledge-bases
    Santos, E
    DATA & KNOWLEDGE ENGINEERING, 2001, 37 (03) : 307 - 329
  • [6] Surface Realisation from Knowledge-Bases
    Gyawali, Bikash
    Gardent, Claire
    PROCEEDINGS OF THE 52ND ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, VOL 1, 2014, : 424 - 434
  • [7] A framework for building knowledge-bases under uncertainty
    Santos, E
    Santos, ES
    JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 1999, 11 (02) : 265 - 286
  • [8] An algorithmic approach to recover inconsistent knowledge-bases
    Arieli, O
    LOGICS IN ARTIFICIAL INTELLIGENCE, 2000, 1919 : 148 - 162
  • [9] Ordered binary decision diagrams as knowledge-bases
    Horiyama, T
    Ibaraki, T
    ALGORITHMS AND COMPUTATIONS, 2000, 1741 : 83 - 92
  • [10] Automated Construction of Knowledge-Bases from Examples
    Tam, Kar Yan
    INFORMATION SYSTEMS RESEARCH, 1990, 1 (02) : 144 - 167
12345