loading
Papers Papers/2020

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Said Jabbour 1 ; Badran Raddaoui 2 and Lakhdar Sais 1

Affiliations: 1 University of Artois, France ; 2 University of Poitiers, France

Keyword(s): Knowledge Representation, Inconsistency Measure, Conflicting Variables, Prime Implicates, Compilation.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Knowledge Representation and Reasoning ; Symbolic Systems

Abstract: Measuring conflicts is recognized as an important issue for handling inconsistencies. Indeed, an inconsistency measure can be employed to support the knowledge engineer in building a consistent knowledge base or repairing an inconsistent one. Good measures are supposed to satisfy a set of rational properties. However, defining sound properties is sometimes problematic. In (Jabbour et al., 2014c), the authors proposed a new prime implicates based approach to identify the variables involved in the contradiction, and a refinement of the notion of minimal inconsistent subsets (MUSes) in propositional knowledge bases. In this article, we establish a bridge between the conflicting variables in knowledge bases and the three valued semantics by compiling each formula of the base into its prime implicates. We then extend hitting sets for MUSes to hitting sets of the set of deduced MUSes (DMUSes) based on prime implicates representation. This leads to an interesting family of inconsistency met rics. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.158.251.104

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Jabbour, S.; Raddaoui, B. and Sais, L. (2016). Knowledge Base Compilation for Inconsistency Measures. In Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-172-4; ISSN 2184-433X, pages 532-539. DOI: 10.5220/0005824305320539

@conference{icaart16,
author={Said Jabbour. and Badran Raddaoui. and Lakhdar Sais.},
title={Knowledge Base Compilation for Inconsistency Measures},
booktitle={Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2016},
pages={532-539},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005824305320539},
isbn={978-989-758-172-4},
issn={2184-433X},
}

TY - CONF

JO - Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Knowledge Base Compilation for Inconsistency Measures
SN - 978-989-758-172-4
IS - 2184-433X
AU - Jabbour, S.
AU - Raddaoui, B.
AU - Sais, L.
PY - 2016
SP - 532
EP - 539
DO - 10.5220/0005824305320539

0123movie.net