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 条
  • [1] Automatic diagnoses for properly stratified knowledge-bases
    Arieli, O
    Avron, A
    EIGHTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1996, : 392 - 399
  • [2] Four-valued knowledge augmentation for representing structured documents
    Lalmas, M
    Roelleke, T
    FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2002, 2366 : 158 - 166
  • [3] Four-valued knowledge augmentation for structured document retrieval
    Lalmas, M
    Rolleke, T
    INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2003, 11 (01) : 67 - 86
  • [4] Four-Valued Paradefinite Logics
    Arieli, Ofer
    Avron, Arnon
    STUDIA LOGICA, 2017, 105 (06) : 1087 - 1122
  • [5] Bitopology and Four-valued Logic
    Jakl, Tomas
    Jung, Achim
    Pultr, Ales
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2016, 325 : 201 - 219
  • [6] Four-Valued Paradefinite Logics
    Ofer Arieli
    Arnon Avron
    Studia Logica, 2017, 105 : 1087 - 1122
  • [7] FROM DATABASES TOWARDS KNOWLEDGE-BASES
    WATERS, S
    KNOWLEDGE-BASED MANAGEMENT SUPPORT SYSTEMS, 1989, : 334 - 340
  • [8] 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
  • [9] Four-valued extension of rough sets
    Vitoria, Aida
    Szalaa, Andrzej
    Maluszynski, Jan
    ROUGH SETS AND KNOWLEDGE TECHNOLOGY, 2008, 5009 : 106 - +
  • [10] The logical role of the four-valued bilattice
    Arieli, O
    Avron, A
    THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 118 - 126
12345