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 条
  • [21] 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
  • [22] A Four-Valued Dynamic Epistemic Logic
    Santos, Yuri David
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2020, 29 (04) : 451 - 489
  • [23] A framework for building knowledge-bases under uncertainty
    Santos, E
    Santos, ES
    JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 1999, 11 (02) : 265 - 286
  • [24] Boolean functions with four-valued Walsh spectra
    Sun Zhiqiang
    Hu Lei
    JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2015, 28 (03) : 743 - 754
  • [25] Boolean functions with four-valued Walsh spectra
    Zhiqiang Sun
    Lei Hu
    Journal of Systems Science and Complexity, 2015, 28 : 743 - 754
  • [26] New compounds of the four-valued cerium.
    Barbieri, GA
    Calzolari, J
    BERICHTE DER DEUTSCHEN CHEMISCHEN GESELLSCHAFT, 1910, 43 : 2214 - 2216
  • [27] Society semantics for four-valued Lukasiewicz logic
    Bezerra, Edson Vinicius
    LOGIC JOURNAL OF THE IGPL, 2020, 28 (05) : 892 - 911
  • [28] De Morgan clones and four-valued logics
    Prenosil, Adam
    ALGEBRA UNIVERSALIS, 2021, 82 (02)
  • [29] “Four-Valued” Semantics for the Relevant Logic R
    Edwin D. Mares
    Journal of Philosophical Logic, 2004, 33 : 327 - 341
  • [30] An algorithmic approach to recover inconsistent knowledge-bases
    Arieli, O
    LOGICS IN ARTIFICIAL INTELLIGENCE, 2000, 1919 : 148 - 162
12345