Prime implicates based inconsistency characterization

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Measuring inconsistency is recognized as an important issue for handling inconsistencies [5, 6]. 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.

Original languageEnglish
Title of host publicationECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings
EditorsTorsten Schaub, Gerhard Friedrich, Barry O'Sullivan
PublisherIOS Press BV
Pages1037-1038
Number of pages2
ISBN (Electronic)9781614994183
DOIs
Publication statusPublished - 1 Jan 2014
Externally publishedYes
Event21st European Conference on Artificial Intelligence, ECAI 2014 - Prague, Czech Republic
Duration: 18 Aug 201422 Aug 2014

Publication series

NameFrontiers in Artificial Intelligence and Applications
Volume263
ISSN (Print)0922-6389
ISSN (Electronic)1879-8314

Conference

Conference21st European Conference on Artificial Intelligence, ECAI 2014
Country/TerritoryCzech Republic
CityPrague
Period18/08/1422/08/14

Fingerprint

Dive into the research topics of 'Prime implicates based inconsistency characterization'. Together they form a unique fingerprint.

Cite this