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 条
  • [31] Ordered binary decision diagrams as knowledge-bases
    Horiyama, T
    Ibaraki, T
    ALGORITHMS AND COMPUTATIONS, 2000, 1741 : 83 - 92
  • [32] On the expressive power of three-valued and four-valued languages
    Avron, A
    JOURNAL OF LOGIC AND COMPUTATION, 1999, 9 (06) : 977 - 994
  • [33] 'Four-valued' semantics for the relevant logic R
    Mares, ED
    JOURNAL OF PHILOSOPHICAL LOGIC, 2004, 33 (03) : 327 - 341
  • [34] The representation of gappy sentences in four-valued semantics
    Martinez-Fernandez, Jose
    Marti, Genoveva
    SEMIOTICA, 2021, (240) : 145 - 163
  • [35] Automated Construction of Knowledge-Bases from Examples
    Tam, Kar Yan
    INFORMATION SYSTEMS RESEARCH, 1990, 1 (02) : 144 - 167
  • [36] Design of Four-valued Counter Based on NeuMOS
    Zhang, Yuejun
    Wang, Pengjun
    Dai, Jing
    ITESS: 2008 PROCEEDINGS OF INFORMATION TECHNOLOGY AND ENVIRONMENTAL SYSTEM SCIENCES, PT 2, 2008, : 72 - 77
  • [37] Restricted Four-Valued Logic for Default Reasoning
    Chen, Chen
    Lin, Zuoquan
    KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, KSEM 2015, 2015, 9403 : 40 - 52
  • [38] Lukasiewicz, determinism, and the four-valued system of logic
    Rybarikova, Zuzana
    SEMIOTICA, 2021, (240) : 129 - 143
  • [39] A NEW FOUR-VALUED APPROACH TO MODAL LOGIC
    Beziau, Jean-Yves
    LOGIQUE ET ANALYSE, 2011, (213) : 109 - 121
  • [40] On Łukasiewicz's four-valued modal logic
    Font J.M.
    Hájek P.
    Studia Logica, 2002, 70 (2) : 157 - 182
12345