Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
LATPub479
Abstract Measuring inconsistency degrees of knowled
Measuring inconsistency degrees of knowledge bases (KBs) provides important context information for facilitating inconsistency handling. Several semantic and syntax based measures have been proposed separately. In this paper, we propose a new way to define inconsistency measurements by combining semantic and syntax based approaches. It is based on counting the variables of minimal unsatisfiable subsets (MUSes) and minimal correction subsets (MCSes), which leads to two equivalent inconsistency degrees, named IDMUS and IDMCS. We give the theoretical and experimental comparisons between them and two purely semantic-based inconsistency degrees: 4-valued and the Quasi Classical semantics based inconsistency degrees. Moreover, the computational complexities related to our new inconsistency measurements are studied. As it turns out that computing the exact inconsistency degrees is intractable in general, we then propose and evaluate an anytime algorithm to make IDMUS and IDMCS usable in knowledge management applications. In particular, as most of syntax based measures tend to be difficult to compute in reality due to the exponential number of MUSes, our new inconsistency measures are practical because the numbers of variables in MUSes are often limited or easily to be approximated. We evaluate our approach on the DC benchmark. Our encouraging experimental results show that these new inconsistency measurements or their approximations are efficient to handle large knowledge bases and to better distinguish inconsistent knowledge bases.
distinguish inconsistent knowledge bases.  +
Author Guohui Xiao + , Yue Ma +
BibTex
@inproceedings{ XiMa-ECAI-12,
  author = {Guohui {Xiao} and Yue {Ma}},
  booktitle = {Proceedings of European Conference on Artificial Intelligence (ECAI'12)},
  pages = {864--869},
  title = {Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets},
  year = {2012},
}
Bibtype Inproceedings  +
Booktitle Proceedings of European Conference on Artificial Intelligence (ECAI'12)  +
Download XiMa-ECAI-12.pdf  +
ErsterAutorNachname Xiao  +
ErsterAutorVorname Guohui  +
Forschungsgruppe Automatentheorie +
Pages 864-869  +
Publication text Guohui Xiao, Yue Ma<br/> '''[[LATPub
Guohui Xiao, Yue Ma<br/> '''[[LATPub479|<b>Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets</b>]]''' <br/>__NOTOC__<i>Proceedings of European Conference on Artificial Intelligence (ECAI'12)</i>, 864-869, 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub479|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:XiMa-ECAI-12.pdf|Download]]
an> [[Media:XiMa-ECAI-12.pdf|Download]]  +
Publication text en Guohui Xiao, Yue Ma<br/> '''[[LATPub
Guohui Xiao, Yue Ma<br/> '''[[LATPub479/en|<b>Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets</b>]]''' <br/>__NOTOC__<i>Proceedings of European Conference on Artificial Intelligence (ECAI'12)</i>, 864-869, 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub479|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:XiMa-ECAI-12.pdf|Download]]
an> [[Media:XiMa-ECAI-12.pdf|Download]]  +
Referiert 1  +
Title Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets  +
To appear 0  +
Type inproceedings  +
Year 2012  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
LATPub479 + , LATPub479 + , LATPub479 + , LATPub479 + , LATPub479 + , LATPub479 +
Kategorien Inproceedings , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
25 März 2015 14:34:07  +
verstecke Attribute die hierhin verlinken 
LATPub479/en + Weiterleitungsseite
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.