Four-valued diagnoses for stratified knowledge-bases

被引：0
|
作者：
Arieli, O [1 ]
Avron, A [1 ]
机构：
[1] Tel Aviv Univ, Sch Math Sci, Dept Comp Sci, IL-69978 Tel Aviv, Israel
来源：
COMPUTER SCIENCE LOGIC | 1997年 / 1258卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present a four-valued approach 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 particularly useful for making model-based diagnoses.
引用
收藏
页码：1 / 17
页数：17
相关论文
共 50 条
  • [41] Extending Ideal Paraconsistent Four-Valued Logic
    Kamide, Norihiro
    2017 IEEE 47TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2017), 2017, : 49 - 54
  • [42] Boolean Functions with Four-Valued Walsh Spectra
    SUN Zhiqiang
    HU Lei
    Journal of Systems Science & Complexity, 2015, 28 (03) : 743 - 754
  • [43] De Morgan clones and four-valued logics
    Adam Přenosil
    Algebra universalis, 2021, 82
  • [44] Fuzzy set based on four-valued logic
    Patrascu, Vasile
    INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2006, 1 : 360 - 365
  • [45] Automated construction of knowledge-bases from examples
    Tam, Kar Yan
    1600, INFORMS Inst.for Operations Res.and the Management Sciences (01):
  • [46] APPLYING CONCEPTUAL CLUSTERING TO KNOWLEDGE-BASES CONSTRUCTION
    TAM, KY
    DECISION SUPPORT SYSTEMS, 1993, 10 (02) : 173 - 198
  • [47] Ordered binary decision diagrams as knowledge-bases
    Horiyama, T
    Ibaraki, T
    ARTIFICIAL INTELLIGENCE, 2002, 136 (02) : 189 - 213
  • [48] Consistency of test cases in validation of Bayesian knowledge-bases
    Santos, E
    Dinh, HT
    ICTAI 2004: 16TH IEEE INTERNATIONALCONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, : 468 - 475
  • [49] Three-valued and four-valued approach to logic programming with negation
    Ying, Ming-sheng
    Liu, Fu-chun
    Chinese Journal of Advanced Software Research, 1999, 6 (01): : 71 - 83
  • [50] Quantum computer with mixed states and four-valued logic
    Tarasov, VE
    JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 2002, 35 (25): : 5207 - 5235
12345