Prime Implicates Based Inconsistency Characterization - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

Prime Implicates Based Inconsistency Characterization

Said Jabbour
Yue Ma

Résumé

Measuring inconsistency is recognized as an important issue for handling inconsistencies. Based on prime implicates canonical representation, we first characterize the conflicting variables allowing us to refine an existing inconsistency measure. Secondly, we propose a new measure, to circumscribe the internal conflicts in a knowledge base. This measure is proved to satisfy a new but weaker form of dominance.
Fichier non déposé

Dates et versions

hal-01139219 , version 1 (03-04-2015)

Identifiants

  • HAL Id : hal-01139219 , version 1

Citer

Said Jabbour, Yue Ma, Badran Raddaoui. Prime Implicates Based Inconsistency Characterization. European Conference on Artificial Intelligence (ECAI'14), Aug 2014, Prague, Czech Republic. ⟨hal-01139219⟩
68 Consultations
0 Téléchargements

Partager

More