Séminaire (organisé par l’équipe de recherche DI)

Badran RADDAOUI

ATER, LIAS, Université de Poitiers


Analyzing and Evaluating Conflicts in Knowledge Bases


Lundi 23 mai 2016 à 14 h en salle GI042

Résumé :

Handling contradictory data is one of the most complex and important problems in reasoning under uncertainty. Inconsistencies arise easily in many applications, e. g., when several experts share their knowledge in order to solve a problem. If we are to develop computational systems that are more robust in the face of real-world situations, we need them to act intelligently when there is inconsistency. Measures of inconsistency are being developed recently as an interesting topic for this in order to allow for the degree of the problem to be quantified in a meaningful way.

In this talk, we present a logical framework to assess the severity of inconsistencies in knowledge bases of classical logic in a quantitative way. In the first part, we define a graph representation of knowledge bases, based on which we explore the logical properties that every desirable inconsistency measure should satisfy. Then, we show how the structure of the proposed graph representation can be used to evaluate, in a fine-grained way, the amount of conflict of a given knowledge base.

The second part deals with our general approach, both parameterized and parameter free, which is proposed for defining a family of measures in order to analyse inconsistency for knowledge bases. The parameterized approach allows to encompass several existing inconsistency metrics as specific cases, by properly setting its parameter. As for the parameter free approach, it is defined to avoid the difficulty in choosing a suitable parameter in practice but still keeps a desired ranking for knowledge bases by their inconsistency degrees.

Finally, SAT-based encodings are provided, which enable the use of efficient SAT solvers for the computation of the proposed measures. We implement these algorithms and test them on some real-world datasets. The experimental results for a variety of inputs show that the proposed framework gives a wide range of possibilities for evaluating large data.

Seminars


Lundi 6 novembre 2017

Séminaire à 14 h 00 en GI042 (Bâtiment Blaise Pascal de l’UTC) présenté par Cheng-Lin LIU, Professeur et Directeur du laboratoire NLPR à Pékin.
« Research in CASIA, Beijing »


Mardi 20 juin 2017

Séminaire à 14h en GI042 (bâtiment Blaise Pascal), présenté par Patrice Perny, LIP6.
« Décision interactive sur domaine combinatoire par élicitation incrémentale de préférences ».


Jeudi 11 mai 2017

Séminaire à 14h en GI042 (bâtiment Blaise Pascal), présenté par Nicolas Maudet, LIP6 (Equipe SMA).
« Current issues in argumentation ».


Mardi 4 avril 2017

Séminaire à 14 h dans l’amphi du Centre d’Innovation de l’UTC, présenté par Xavier LAGORCE, PhD, Head of Computer Vision, Chronocam.
« Chronocam : Event-based cameras for machine vision »


Pages 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | ...




Actualités
Vidéothèque
Téléchargements
Annuaire



FR SHIC 3272

Collegium UTC/CNRS