Measuring and repairing inconsistency in probabilistic knowledge bases

被引:29
|
作者
Muino, David Picado [1 ]
机构
[1] Inst Diskrete Math & Geometrie, A-1040 Vienna, Austria
关键词
Probabilistic knowledge bases; Probabilistic satisfiability; Inconsistency; Measures of inconsistency; CADIAG-2; CADIAG;
D O I
10.1016/j.ijar.2011.02.003
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In this paper we present a family of measures aimed at determining the amount of inconsistency in probabilistic knowledge bases. Our approach to measuring inconsistency is graded in the sense that we consider minimal adjustments in the degrees of certainty (i.e., probabilities in this paper) of the statements necessary to make the knowledge base consistent. The computation of the family of measures we present here, in as much as it yields an adjustment in the probability of each statement that restores consistency, provides the modeler with possible repairs of the knowledge base. The case example that motivates our work and on which we test our approach is the knowledge base of CADIAG-2, a well-known medical expert system. (C) 2011 Elsevier Inc. All rights reserved.
引用
收藏
页码:828 / 840
页数:13
相关论文
共 36 条
  • [31] The possibilistic horn non-clausal knowledge bases
    Imaz, Gonzalo E.
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2023, 152 : 357 - 389
  • [32] Integrity Constraints for General-Purpose Knowledge Bases
    Cruz-Filipe, Luis
    Nunes, Isabel
    Schneider-Kamp, Peter
    FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016), 2016, 9616 : 235 - 254
  • [33] Deriving information from inconsistent knowledge bases:: A completeness theorem for ηΔη
    Paris, Jeff
    LOGIC JOURNAL OF THE IGPL, 2004, 12 (05) : 345 - 353
  • [34] Active integrity constraints for general-purpose knowledge bases
    Cruz-Filipe, Luis
    Gaspar, Graca
    Nunes, Isabel
    Schneider-Kamp, Peter
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2018, 83 (3-4) : 213 - 246
  • [35] A multi-agent cooperative reasoning system for amalgamated knowledge bases
    He, LF
    Chao, YY
    Kato, S
    Araki, T
    Seki, H
    Itoh, H
    MULTI-AGENT SYSTEMS: METHODOLOGIES AND APPLICATIONS, 1997, 1286 : 92 - 105
  • [36] Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: the Flat Case
    Benferhat S.
    Dubois D.
    Prade H.
    Studia Logica, 1997, 58 (1) : 17 - 45