<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div class=""><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class=""><div class=""><div class=""><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">Post-doc Position - Chaire IA BE4musIA (Belief Change for Multi-Source Information Analysis) <span class="Apple-tab-span" style="white-space: pre;"> </span><div class=""><br class=""></div><div class=""><br class=""></div><div class="">We are offering a post-doc position in artificial intelligence. </div><div class="">This position is in relation with the BE4musIA project (a French «Chaire IA» project) that is dedicated to the study of tools coming from belief change theory, and more generally from knowledge representation and reasoning, for improving multi-source information analysis.</div><div class=""><br class=""></div><div class="">** BE4musIA project in short</div><div class=""><br class=""></div><div class="">The aim of the BE4musIA project is to use and develop tools coming from knowledge representation and reasoning (KR) in order to perform an analysis of pieces of information coming from different sources. The idea is to be able to produce at the same time an assessment of the reliability of the sources and a coherent view of the world that takes into account the received pieces of information.</div><div class=""><br class="">This problem of trying to find the most plausible beliefs from different sources providing conflicting pieces of information is quite a frequent pattern. This is typically the case in applications in which one works with several sensors (that are typically not totally reliable), when one receives information from different agents (while some agents can be non-reliable, or, worse than that, with some agents being enemies trying to mislead you), or when one query several databases in order to answer to a query of a user.<br class=""><br class=""></div><div class="">Our aim is to study the basic abstract problem, using tools mainly coming from the knowledge representation and reasoning (KR) area, in particular methods coming from belief revision and belief merging, that formalize rational belief change, as well as inconsistency measures, which allows us to measure the extent to which certain pieces of information are in conflict with each other.</div><div class=""><br class=""></div></div></div></div></div></div><br class=""><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class=""><div class=""><div class=""><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="">** Topics for the position</div><div class=""><br class=""></div><div class="">We welcome applications in any subject related to the project, in particular:</div><div class="">o Belief Change</div><div class="">o Belief Merging</div><div class="">o Inconsistency handling</div><div class="">o Inconsistency measures</div><div class="">o Trust</div><div class="">o Reliability assessment</div><div class="">o Truth-tracking</div><div class="">o Query-answering using multiple sources</div><div class="">o Formal Ontologies</div><div class="">o Automated knowledge base Completion</div><div class="">o Game Theory</div><div class="">o Social Choice Theory</div><div class=""><br class=""></div><div class="">** Environment</div><div class=""><br class=""></div><div class="">The Be4musIA (permanent) members are Sébastien Konieczny (<a href="http://www.cril.fr/~konieczny" class="">http://www.cril.fr/~konieczny</a>), Zied Bouraoui (<a href="http://www.cril.fr/~bouraoui" class="">http://www.cril.fr/~bouraoui</a>), Patricia Everaere(<a href="https://pro.univ-lille.fr/patricia-everaere-caillier/" class="">https://pro.univ-lille.fr/patricia-everaere-caillier/</a>), Ramon Pino Pérez (<a href="https://dblp.org/pid/96/1310.html" class="">https://dblp.org/pid/96/1310.html</a>), and Ivan Varzinczak (<a href="http://ijv.ovh" class="">http://ijv.ovh</a>).</div><div class=""><br class=""></div><div class="">The position will be at CRIL (<a href="http://www.cril.fr" class="">http://www.cril.fr</a>), a CNRS lab in Université d’Artois, Lens (North of France). CRIL is one of the first French labs in symbolic AI (CRIL is the French lab with the highest number of papers at IJCAI).</div><div class=""><br class=""></div><div class="">** Position</div><div class=""><br class=""></div><div class="">The contract is a two-years full time position.</div><div class="">The position will be opened from 1st october 2021(flexible - this can be adapted if necessary).</div><div class="">The salary is the standard one for French post-doc positions (around 2700€ (gross) per month).</div><div class=""><br class=""></div><div class="">** Contact and Application</div><div class=""><br class=""></div></div></div></div></div></div><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class=""><div class=""><div class=""><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="">For any information or application please contact Sébastien Konieczny (<a href="mailto:konieczny@cril.fr" class="">konieczny@cril.fr</a>).</div><div class=""><br class=""></div><div class=""><br class=""></div></div></div></div></div></div></div></div></div></div><div class=""><br class="Apple-interchange-newline">
</div>
<br class=""></body></html>