La dynamique de l'information incomplète et incohérente : applications de la logique, de l'algèbre et de la coalgèbre

The Dynamics of Incomplete and Inconsistent Information : Applications of logic, algebra and coalgebra

• Auteur / Autrice : Zeinab Bakhtiarinoodeh
• Direction : Hans van Ditmarsch, Helle Hvid Hansen
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 05/12/2017
• Etablissement(s) : Université de Lorraine
• Ecole(s) doctorale(s) : École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine
• Partenaire(s) de recherche : Laboratoire : Laboratoire lorrain de recherche en informatique et ses applications
• Jury : Président / Présidente : Stephan Merz
• Jury : Examinateurs / Examinatrices : Achim Jung, Francesco Belardinelli, Alessandra Palmigiano, Miguel Couceiro, Alexander Kurz
• Jury : Rapporteurs / Rapporteuses : Achim Jung, Francesco Belardinelli

Mots clés

Mots clés contrôlés

Contingence

Algèbres des relations

Modalité (logique)

Logique informatique

Mots clés libres

Informations incomplètes

Informations incohérentes

Logiques modales

Logique épistémique dynamique

Modèle de voisinage

Logique de contingence

Co-algèbre

Bisimulation

Incomplete knowledge

Inconsistent knowledge

Modal logics

Dynamic epistemic logic

Neighbourhood model

Contingency logic

Coalgebra

Bisimulation

Résumé

Cette thèse est structurée autour de deux axes d’études : (1) développer des logiques épistémiques formalisant la prise en compte de nouvelles données en présence d'informations incomplètes ou incohérentes ; (2) caractériser les notions de bisimulation sur les modèles de ces nouvelles logiques. Les logiques modales utilisées pour formaliser des raisonnements dans le cadre d’informations incomplètes et incohérentes, telle que la logique modale de contingence, sont généralement plus faibles que les logiques modales standards. Nos travaux se basent sur des méthodes logiques, algébriques et co-algébriques

In this Ph.D. dissertation we investigate reasoning about information change in the presence of incomplete or inconsistent information, and the characterisation of notions of bisimulation on models encoding such reasoning patterns. Modal logics for incomplete and inconsistent information are typically weaker than the standard modal logics, such as the modal logic of contingency. We use logical, algebraic and co-algebraic methods to achieve our aims. The dissertation consists of two main parts. The first part focusses on reasoning about information change, and the second part focusses on expressivity and bisimulation. In the following, we give an overview of the contents of this dissertation