[bull-ia] Thèse au CRIL sur la fusion de bases de croyances

Content-Type: text/html; charset=”utf-8″

[English version below]

** Sujet


=
Les op=C3=A9rateurs de fusion de croyances visent =C3=A0 construire un=
e base de croyances coh=C3=A9rente, qui repr=C3=A9sente le mieux =
un profil compos=C3=A9 d’un ensemble de bases de croyances fournies en&nbsp=
;entr=C3=A9e et qui, la plupart du temps, contiennent des informations&nbsp=
;mutuellement conflictuelles.

Les op=C3=A9rate=
urs de fusion usuels supposent que l’ensemble des bases du profil ont =
la m=C3=AAme importance/fiabilit=C3=A9/priorit=C3=A9. Hors il y a beau=
coup d’applications o=C3=B9 ce n’est pas le cas. Il est donc n=C3=
=A9cessaire de disposer des op=C3=A9rateurs permettant de prendre en c=
ompte de mani=C3=A8re rationnelle ces diff=C3=A9rences d’importan=
ce/fiabilit=C3=A9/priorit=C3=A9.

Le but de cet=
te th=C3=A8se est d’=C3=A9tudier les op=C3=A9rateurs de fusion priorit=
aires, c’est-=C3=A0-dire des op=C3=A9rateurs qui permettent de d=C3=A9=
finir une unique base de croyances qui repr=C3=A9sente au mieux l=
‘ensemble des bases donn=C3=A9es en entr=C3=A9es, sachant que toute ce=
s bases n’ont pas la m=C3=AAme importance/fiabilit=C3=A9/priorit=C3=A9=
.

S’il est possible d’imaginer facilement=
la d=C3=A9finition d’op=C3=A9rateurs prioritaires, notamment pour&nbs=
p;les op=C3=A9rateurs majoritaires, pour d’autres classes d’op=C3=A9ra=
teurs de fusion, comme les op=C3=A9rateurs d’arbitrage, il est d=
=C3=A9j=C3=A0 plus difficile de trouver quels sont les op=C3=A9rateurs prio=
ritaires raisonnables.

Le but de cette th=
=C3=A8se sera, apr=C3=A8s une =C3=A9tude bibliographique du sujet et d=
e th=C3=A9matiques connexes, notamment en th=C3=A9orie du vote, d=
‘=C3=A9tudier l’ensemble de ces op=C3=A9rateurs, et notamment d’e=
n chercher une caract=C3=A9risation logique, en termes de postulats de&nbsp=
;rationalit=C3=A9 et d’un th=C3=A9or=C3=A8me de caract=C3=A9risation.

** Comp=C3=A9tences

Master en Inform=
atique ou en Math=C3=A9matiques

** Contexte de=
travail

Cette th=C3=A8se s’inscrit dans le&nb=
sp;cadre du projet BE4musIA (BElief change FOR better MUlti-Source Inf=
ormation Analysis – http://www.cril.univ-artois.fr/en/co=
llaborations/be4musia.en.html), projet de chaire Intelligence Arti=
ficielle qui d=C3=A9butera cette ann=C3=A9e au CRIL. Le projet BE=
4musSIA vise =C3=A0 fournir des outils permettant une analyse des info=
rmations provenant de plusieurs sources de fiabilit=C3=A9 initial=
ement inconnue. =C3=80 partir de ces informations, il est n=C3=A9cessaire =
=C3=A0 tout moment i) de se former une opinion ii) d’=C3=A9valuer=
la fiabilit=C3=A9 des diff=C3=A9rentes sources. Le but de ce projet e=
st d’=C3=A9tudier ces deux t=C3=A2ches et de les r=C3=A9aliser co=
njointement, afin d’obtenir la meilleure =C3=A9valuation possible.

Le CRIL (Centre de Recherche en Informatique de L=
ens) – www.cril.fr – est=
un laboratoire enti=C3=A8rement d=C3=A9di=C3=A9 =C3=A0 l’intelligence&nbsp=
;artificielle, et plus particuli=C3=A8rement aux probl=C3=A9matiques de&nbs=
p;repr=C3=A9sentation des connaissances et mod=C3=A9lisation des raiso=
nnements, et aux algorithmiques pour l’inf=C3=A9rences et contraintes.=
Le CRIL fait partie des quelques partenaires fran=C3=A7ais du pr=
ojet H2020 appel=C3=A9 TAILOR, mont=C3=A9 par la conf=C3=A9d=C3=A9rati=
on europ=C3=A9enne CLAIRE. Le CRIL est le premier laboratoire Fra=
n=C3=A7ais en nombre de publications =C3=A0 l’IJCAI depuis 2011.

** Encadrement:

Patricia =
Everaere – patricia.everaere-caillier@univ-lille.fr

S=C3=A9bastien Konieczny – konieczny@cril.fr


** Candidatures:

Les candid=
ats doivent se manifester par mail aupr=C3=A8s de 
patricia.everaere-caillier@univ-lille.fr e=
konieczny@cril.fr, et remplir le formula=
ire de candidature 
=
https://bit.ly/2ZMrmjG **=
avant le 19 juin**
______________________=
______________________________

English version:

** Topic

Belief Merging operators aim at defining a co=
herent belie base that best represents an input profile of belief base=
s that, most of the time, provide some mutually inconsistent pieces&nb=
sp;of information.

Usual belief merging operat=
ors assume that all the bases from the profile have the same impo=
rtante/reliability/priority. But there are a lot of applications =
where it is not the case. So it is important to define operators that =
allow to take into account in a rational way these differences of&nbsp=
;importante/reliability/priority.

The aim of t=
his PhD thesis is to study prioritized merging operators, that is to s=
ay operators that allow to define a belief base that best represe=
nts the profile of belief bases provided as input, and that take into =
account in a principled way the differences of priority between t=
hese bases.

It is easy to figure out the =
definition of some concrete merging operators, in particular for major=
ity merging ones, but for other classes of operators, such as arb=
itration operators, it is far less obvious.

Th=
e aim of this PhD will be, after a bibliographic study of belief mergi=
ng and related topics, such as voting theory, to define and study=
these prioritized operators, and in particular to find a logical&nbsp=
;characterization of these operators in terms of rationality postulate=
s and of a representation theorem.


** Work Context


This PhD thesis will be part of the AI Chair BE4musIA (BElief change =
FOR better MUlti-Source Information Analysis – http://ww=
w.cril.univ-artois.fr/en/collaborations/be4musia.en.html), that wi=
ll begin this year at CRIL. The BE4musIA project aims at providin=
g tools for information analysis when the pieces of information come f=
rom several sources of initially unknown reliability. From these =
pieces of information, it is then important to be able at any time to =
i) be able to build a coherent point of view of the situation&nbs=
p;ii) evaluate the reliability of each source. The aim of this pr=
oject is to study these two tasks and to perform them conjointly,=
in order to obtain the most precise evaluation.

CRIL (Centre de Recherche en Informatique de Lens) – www.cril.fr – is a research laborato=
ry that is dedicated to artificial intelligence, and more particu=
larly to Knowledge Representation and Reasoning, and to Algorithms for=
inference, SAT and constraints. CRIL is one of the few French partner=
s of the H2020 project called TAILOR, set up by the confederation of&n=
bsp;laboratories for AI research in Europe (CLAIRE). CRIL is the First=
French lab in terms of number of papers accepted at IJCAI since =
2011.


** Salary

The salary is the standard one for CNRS=
PhD contracts (around 2 135 =E2=82=AC gross monthly)

** To =
apply

Applicants have to send a mail to  patricia.everaere-caillier@univ-lille.fr and konieczny@cril.fr, and to fill the application form on&nb=
sp;https://bit.ly/2ZMrmjG=
**before June 19th**


=