Programme JIAF

	Jeudi	Vendredi
	30-juin	01-juillet
9h-10h	Session 1 : Représentation logique	Conférencier invité PFIA : Prof. Hector Geffner
10h-10h30	Pause
10h30-12h	Session 2 : IA explicable	Session 5 : Optimisation et Planification
12h-13h30	Déjeuner
13h30-14h30	Session 3 : Intelligence ou bêtise artificielle ?	Exposé invité JIAF : Elise Perrotin
14h30-14h45	Pause
14h45-16h45	Session 4 : Argumentation	Session 6 : Choix social

9h - 9h30 : Arnaud Kohler. Modelling a faillibilistic and perspectivistic reasoning
9h30 - 10h : Sabine Frittella, Marta Bilkova, Ondrej Majer, Sajad Nazari and Daniil Kozhemiachenko. Fonctions de croyances interprétées sur la logique de Belnap--Dunn

10h30 - 11h : Manuel Amoussou, Khaled Belahcene, Nicolas Maudet, Vincent Mousseau and Wassila Ouerdane. Des explications par étapes pour le modèle additif
11h - 11h30 : Khaled Belahcene, Jérome Gaigne and Sylvain Lagrue. Fragment explicable par schémas d'arguments des affectations nécessaires dans un tri non compensatoire
11h30 - 12h : Hénoïk Willot, Khaled Belahcene and Sébastien Destercke. Explications de recommandations fondées sur des principes d'équité à l'aide de transferts

13h30 - 14h : Jean Lieber, Jean-Guy Mailly, Pierre Marquis, Henri Prade and François Rollin. Quelques réflexions autour de la notion de bêtise artificielle
14h - 14h30 : Discussions autour de l'IA et la bêtise artificielle

14h45 - 15h15 : Jean-Guy Mailly. Sémantiques à base d’extensions pour les systèmes d’argumentation incomplets
15h15 - 15h45 : Yohann Bacquey, Jean-Guy Mailly, Pavlos Moraitis and Julien Rossit. Admissibility in Strength-based Argumentation: Complexity and Algorithms
15h45 - 16h15 : Vivien Beuselinck, Jérôme Delobelle and Srdjan Vesic. Restreindre l'Impact des Arguments Contradictoires dans les Sémantiques Graduées en Argumentation Abstraite
16h15 - 16h45 : Christopher Leturc and Grégory Bonnet. Raisonner sur l'éthique avec un cadre d'argumentation fondé sur une logique modale normale

9h - 10h : Conférencier invité PFIA : Hector Geffner
10h30 - 11h : Junkang Li, Bruno Zanuttini, Véronique Ventos and Tristan Cazenave. Generalisation of alpha-beta search for AND-OR graphs with partially ordered values
11h - 11h30 : Sergej Scheck, Alexandre Niveau and Bruno Zanuttini. A KC Map for Variants of Nondeterministic PDDL
11h30 - 12h : Vincent Barichard and Igor Stéphan. Une sémantique opérationnelle pour les QCHR

Titre : Logique épistémique simple et planification
Résumé : La planification épistémique est un problème difficile : si l'on utilise la logique épistémique dynamique standard, le problème de l'existence d'une solution à un problème de planification donné est indécidable en général. La question est alors de trouver un équilibre entre restrictions de l'expressivité et gains en complexité. Dans cet exposé je présenterai la logique EL-O (Epistemic Logic of Observation), une logique épistémique simple principalement dévelopée au cours de ma thèse afin de répondre à ces attentes, basée sur la notion de 'savoir si' (ou 'avoir une connaissance à propos de') et qui permet un raisonnement épistémique multi-agent, d'ordre supérieur avec de la connaissance commune, tout en gardant des complexités proprositionnelles : satisfiabilité NP-complète et planification PSPACE-complète.

14h45 - 15h15 : Laurent Gourvès, Julien Lesca and Anaëlle Wilczynski. Sur l’Équité via la Sélection en Séquence pour l’Allocation de Biens Indivisibles
15h15 - 15h45 : Chouaib Fellah, Sébastien Konieczny, Patricia Everaere and Ramon Pino Perez. Borda, Annulation et Fusion de Croyances

JIAF