• Proclamation of a World Logic Day (40th Session of UNESCO General Conference, 2019)
• First logic day, 14 January 2019

This year, the event will be celebrated at Sorbonne Université on January 16th (not 14th...), with two conferences (SCAI seminar room, Esclangon building, and on zoom, 2pm):

• Marie-Jeanne Lesot (LIP6, Paris) : Logique floue et explications contrastives : raisonnement approximatif pour l'IA explicable
  Dans le domaine de l'intelligence artificielle explicable (ou eXplainable Artificial Intelligence XAI), Tim Miller a proposé une formalisation logique des explications contrastives, répondant à des questions du type "Pourquoi prédire P plutôt que Q ?", exploitant des connaissances représentées par des graphes structurels causaux. Ce formalisme ne permet pas de représenter des connaissances ou des données imprécises, ni des formulations imprécises des explications. Cet exposé propose de discuter une extension de cette formalisation dans le cadre de la logique floue, en explorant différents niveaux d'intégration de la sémantique floue.
• Ramón Pino Pérez (CRIL, Lens) : Sur la dualité contraction-révision en dynamique des croyances
  Nous présenterons la dualité contraction-révision dans le modèle AGM (Alchourrón-Gärdenfors-Makinson), le modèle classique de changements de croyances, via les identités de Levi et de Harper. Ensuite, nous introduisons un modèle plus adéquat pour l'itération des changements, le modèle DP (Darwiche-Pearl). Finalement, nous explorons la dualité contraction-révision dans ce nouveau cadre.