Dates importantes

articles: 9 mars
notification: 2 avril
version définitive: 18 avril
Inscription: 4 Mai
IAF: du 22 au 24 Mai

News

 

Exposés Invitées

Exposé invité JIAF/JFPC '12 le jeudi 24 mai 9h00

Programmation Logique Inductive
Christel Vrain1 et Céline Rouveirol2
(1) LIFO, Univ. d'Orléans www.univ-orleans.fr/lifo/Members/vrain
(2) LIPN, Univ. Paris-13 www-lipn.univ-paris13.fr/~rouveirol

Résumé:

L'apprentissage symbolique se définit souvent comme la recherche d'une hypothèse dans un espace de recherche structuré par une relation de généralité. Nous présenterons cette problématique dans le cadre de la Programmation Logique Inductive (appelée aussi apprentissage relationnel) où le langage de représentation des exemples, la théorie du domaine et le langage de concept cible sont des sous-ensembles de la logique du 1er ordre. Le problème certainement le plus étudié est celui de l'apprentissage supervisé (induction prédictive) où étant donnés une théorie du domaine et un ensemble d'exemples (positifs et négatifs), un système de PLI doit induire un programme logique impliquant logiquement tous les exemples positifs et aucun des exemples négatifs. Nous brosserons un très bref panorama des méthodes et résultats fondamentaux en Programmation Logique Inductive, en particulier la propositionnalisation permettant de redécrire un problème relationnel en un problème propositionnel. Nous présenterons aussi l'induction descriptive qui s'intéresse à la découverte de schémas exprimant des régularités dans les données. Enfin, nous aborderons deux domaines de recherche actuels et particulièrement motivants, que ce soit en terme d'applications que de problèmes scientifiques ouverts : l'apprentissage par renforcement relationnel et l'apprentissage statistique relationnel.


Programme prévisionnel des Journées IAF’12


Mardi 22 Mai 2012

9h00 - 9h15 Ouverture des journées IAF/JFPC
9h15 - 10h15 Exposé de synthèse
"Confiance et Réputation". Andreas Herzig, Laurent Vercouter
10h15 - 10h45 Pause café
10h45 - 12h45 Contributions
Continuous Preferences for Action Selection Patricia Everaere et Emmanuelle Grislin-Le Strugeon
Three traditions in the logic of action : bringing them together Andreas Herzig, Tiago De Lima, Emiliano Lorini et Nicolas Troquard
Fair Division of Indivisible Goods under Risk Charles Lumet, Sylvain Bouveret et Michel Lemaître
Traitement des préférences dans les systèmes d’argumentation avec nécessités Imane Boudhar, Farid Nouioua et Vincent Risch
12h45 - 14h00 Déjeuner
14h00 - 16h00 Contributions
Prédominance de Connaissances Subsumées en Logique Classique Philippe Besnard, Eric Grégoire et Sébastien Ramon
Modèles stables en logique possibiliste généralisée Didier Dubois, Henri Prade et Stenven Shockaert
Comparative Similarity Logic over Triangular and Metric Models : Preferential Semantics, Axiomatization and Completeness Proof Regis Alenda et Nicola Olivetti
Sur la Sémantique des Bases Partiellement Ordonnées Claudette Cayrol et Didier Dubois
16h00 - 16h30 Pause café
16h30 - 17h45 Exposé de Synthèse
"Intelligence Artificielle et Jeux Vidéos". Vincent Corruble

Mercredi 23 Mai 2012

9h00 - 10h15 Exposé de synthèse
"Analogie Artificielle". Laurent Miclet
10h15 - 10h45 Pause café
10h45 - 12h45 Contributions
From Logic to Belief Revision : a formal definition of the bi-modal operator of comparative similarity by a distance based revision operator Camilla Schwind
Consistency and completeness of regulations under constraints Laurence Cholvy, Christophe Garion et Stephanie Roussel
Complexity of logic-based argumentation in Schaefer’s framework Nadia Creignou, Uwe Egly et Johannes Schmidt
Logiques tri-valuées de l’information incomplète et logique épidémique Davide Ciucci et Didier Dubois
12h45 - 14h00 Déjeuner
14h00 - 15h15 Exposé de synthèse commun IAF/JFPC
Approches déclaratives pour l’énumération de motifs intéressants Lhouari Nourine, Jean-Marc Petit, Lakhdar Saïs
15h15 - 16h00 Contributions courtes
Distributed Tree Decomposition by Local Elections with One Token Vincent Armant and Laurent Simon
Modèles graphiques probabilistes pour les problèmes récurrents d’ADMC Véronique Delcroix
Implicant Belief Revision Camilla Schwind
16h00 - 16h30 Pause café
16h30 - 18h00 Session Ouverte
18h00 - 18h30 Discussion Animation du thème

Jeudi 24 Mai 2012

9h00 - 10h15 Exposé de synthèse commun IAF/JFPC
"Programmation Logique Inductive". Christel Vrain, Céline Rouveirol
10h15 - 10h45 Pause café
10h45 - 12h45 Contributions
Apprentissage de GAI-décompositions Damien Bigot, Helene Fargier, Jerome Mengin et Bruno Zanuttini
Quand l’intelligence est juste une question de recopie William Correa, Henri Prade et Gilles Richard
Incremental mining of frequent sequences from a window sliding over a stream of item sets Thomas Guyet et René Quiniou
Backjumping pour le calcul d’ensembles réponses dans les solveurs ASP guidés par les règles Stéphane Ngoma, Laurent Garcia, Claire Lefèvre et Igor Stéphan
12h45 - 14h00 Déjeuner
14h00 - 16h00 Contributions
Intégrales et désintégrales qualitatives et leur contrepartie logique Didier Dubois, Henri Prade et Agnes Rico
Un Algorithme de Subsomption polynômial basé sur la théorie des types Richard Dapoigny et Patrick Barlatier
Extension du formalisme des flux opérationnels par une algèbre temporelle Valmi Dufour-Lussier, Florence Le Ber et Jean Lieber
Mining Biclusters of Similar Values with Triadic Concept Analysis Mehdi Mehdi, Sergei Kuznetsov, Juraj Macko et Amedeo Napoli
16h00 - 16h30 Pause café
16h30 - 17h45 Exposé de Synthèse
"Incertitude et Non-Monotonie". Didier Dubois

Liste des contributions acceptées aux journées IAF’12


Présentations longues :

- Prédominance de Connaissances Subsumées en Logique Classique

Philippe Besnard, Eric Grégoire et Sébastien Ramon

- Continuous Preferences for Action Selection

Patricia Everaere et Emmanuelle Grislin-Le Strugeon

- Complexity of logic-based argumentation in Schaefer’s framework

Nadia Creignou, Uwe Egly et Johannes Schmidt

- Logiques tri-valuées de l’information incomplète et logique épidémique

Davide Ciucci et Didier Dubois

- From Logic to Belief Revision : a formal definition of the bi-modal operator of comparative similarity by a distance based revision operator

Camilla Schwind

- Three traditions in the logic of action : bringing them together

Andreas Herzig, Tiago De Lima, Emiliano Lorini et Nicolas Troquard

- Fair Division of Indivisible Goods under Risk

Charles Lumet, Sylvain Bouveret et Michel Lemaître

- Apprentissage de GAI-décompositions

Damien Bigot, Helene Fargier, Jerome Mengin et Bruno Zanuttini

- Consistency and completeness of regulations under constraints

Laurence Cholvy, Christophe Garion et Stephanie Roussel

- Modèles stables en logique possibiliste généralisée

Didier Dubois, Henri Prade et Stenven Shockaert

- Intégrales et désintégrales qualitatives et leur contrepartie logique

Didier Dubois, Henri Prade et Agnes Rico

- Quand l’intelligence est juste une question de recopie

William Correa, Henri Prade et Gilles Richard

- Backjumping pour le calcul d’ensembles réponses dans les solveurs ASP guidés par les règles

Stéphane Ngoma, Laurent Garcia, Claire Lefèvre et Igor Stéphan

- Incremental mining of frequent sequences from a window sliding over a stream of item sets

Thomas Guyet et René Quiniou

- Traitement des préférences dans les systèmes d’argumentation avec nécessités

Imane Boudhar, Farid Nouioua et Vincent Risch

- Sur la Sémantique des Bases Partiellement Ordonnées

Claudette Cayrol et Didier Dubois

- Comparative Similarity Logic over Triangular and Metric Models : Preferential Semantics, Axiomatization and Completeness Proof

Regis Alenda et Nicola Olivetti

- Un Algorithme de Subsomption polynômial basé sur la théorie des types

Richard Dapoigny et Patrick Barlatier

- Extension du formalisme des flux opérationnels par une algèbre temporelle

Valmi Dufour-Lussier, Florence Le Ber et Jean Lieber

- Mining Biclusters of Similar Values with Triadic Concept Analysis

Mehdi Mehdi, Sergei Kuznetsov, Juraj Macko et Amedeo Napoli

Présentation courtes :

- Modèles graphiques probabilistes pour les problèmes récurrents d’ADMC

Véronique Delcroix

- Implicant Belief Revision

Camilla Schwind

- Distributed Tree Decomposition by Local Elections with One Token

Vincent Armant et Laurent Simon

Programme

isae, logo emac, logo afpc, logo cnrs, logo enac, logo cosytec, logo insa, logo inria, logo midi pyrenees, logo inra, logo prometil, logo acp, logo ups, logo mairie, logo laas, logo irit, logo