GDR I3 - Thème 1 : Intelligence Artificielle Fondamentale

Appel à communication

Redacteur GDRI3IAF — 2012-01-23T10:30:32Z

Appel à Contributions

Journées d'Intelligence Artificielle Fondamentale

22 au 24 mai 2012, Toulouse

http://conf.laas.fr/jfpc-jiaf2012/jiaf

Les journées IAF'12 sont organisées en commun avec les JFPC'12 (http://conf.laas.fr/jfpc-jiaf2012/jiaf)

Présentation

Ces sixièmes journées émanent d'une volonté d'animation du thème Intelligence Artificielle Fondamentale du GDR-I3 qui veut ainsi créer un rendez-vous régulier de la communauté française d'Intelligence Artificielle Fondamentale.

Les thématiques de recherche de ces journées sont relatives aux méthodes et outils fondamentaux de l'Intelligence Artificielle. Elles portent sur :

la définition de modèles de représentation des informations (croyances, connaissances, préférences, obligations et permissions, actions, incertitude, confiance, réputation) comme les langages des logiques classiques ou non classiques, les modèles possibilistes, les ontologies, les langages à base de contraintes, les représentations graphiques, etc.
la définition et l'automatisation de raisonnements sur ces informations : raisonnement spatiotemporel, dynamique des informations, révision de croyances, fusion d'informations symboliques, raisonnement par argumentation, raisonnement causal, raisonnement abductif, raisonnement à partir de cas etc.
la mise au point de méthodes de codage des informations et d'algorithmes de traitement efficaces : compilation de connaissances, SAT, contraintes, ASP, etc.
pour des objectifs de décision, planification, ordonnancement, diagnostic, apprentissage et dans différents contextes d'application comme par exemple le Web sémantique.

Ces journées seront composées à parts égales :
d'exposés de synthèse
de communications sélectionnées par le comité de programme

Des contributions sont sollicitées sur l'ensemble des thèmes décrits précédemment. Une grande place sera laissée aux articles de doctorants. Les articles acceptés par le comité de programme seront mis en ligne sur le site Web du thème Intelligence Artificielle Fondamentale du GDR-I3.

La liste des exposés de synthèse sera communiquée très prochainement.

Cette année, les Journées seront organisées en conjonction avec les Journées Francophones de Programmation par Contraintes (JFPC'12). Il sera donc possible d'assister aux exposés des deux réunions.

Calendrier

Date limite de soumission : 29 février 2012
Notification aux auteurs : 2 avril 2012
Réception des versions définitives : 18 avril 2011
Journées IAF : 22-24 mai 2012

Formats et mode de soumission

Les auteurs sont invités à soumettre des propositions d'articles de 6 à 10 pages maximum. La soumission est exclusivement électronique et au format pdf. Les articles devront être envoyés à Sébastien Konieczny (konieczny@cril.fr) Les formats précis de soumission sont disponibles pour Word et Latex sur le site du thème (http://gdri3iaf.info.univ-angers.fr/).

Comité de programme

Laurence Cholvy (ONERA, Toulouse)
Marie-Odile Cordier (IRISA, Rennes)
Tiago De Lima (CRIL, Lens)
Laurent Garcia (LERIA, Angers)
Philippe Jégou (LSIS, Marseille)
Sébastien Konieczny (CRIL, Lens)
Jérôme Lang (LAMSADE, Paris)
Pierre Marquis (CRIL, Lens)
Nicolas Maudet (LIP6, Paris)
Marie Laure Mugnier (LIRMM, Montpellier)
Amedeo Napoli (LORIA, Nancy)
Odile Papini (LSIS, Marseille)
Henri Prade (IRIT, Toulouse)
Pierre Siegel (LSIS, Marseille)
Laurent Simon (LRI, Paris)
Vincent Vidal (ONERA, Toulouse)
Christelle Vrain (LIFO, Orleans)

Journées IAF'12

Redacteur GDRI3IAF — 2012-01-23T10:28:06Z

Les journées IAF'12 auront lieu du 22 au 24 mai à Toulouse, en conjonction avec les Journées Francophones de programmation par contraintes (JFPC'12) : http://conf.laas.fr/jfpc-jiaf2012/

Méthodes Permettant la Prédominance de Connaissances Subsumées

2011-11-24T10:19:32Z

Doctorant : Sébastien RAMON

Co-encadrants : Philippe BESNARD et Éric GRÉGOIRE

Laboratoire : CRIL

Sébastien RAMON

CRIL, Université d'Artois

Méthodes Permettant la Prédominance de Connaissances Subsumées

Encadrants : Philippe Besnard et Éric Grégoire

Résumé : Cette thèse s'inscrit dans le domaine de l'Intelligence Artificielle symbolique. Elle y traite d'une question fondamentale liée à la représentation des connaissances et des raisonnements à base de logique. Plus précisément, elle s'intéresse au problème pouvant se produire lors de l'insertion dans un ensemble de croyances d'une information qui peut déjà en être déduite. Comment faire en sorte que cette nouvelle information vienne préempter les informations qui permettent son inférence ? Supposons par exemple qu'un ensemble de prémisses contienne l'information “Si l'interrupteur est enclenché alors la pièce est éclairée”. Il est naturel d'espérer que l'ajout d'une règle additionnelle, en un sens plus précise que la première, et qui exprime que “Si l'interrupteur est enclenché et si l'ampoule n'est pas cassée alors la pièce est éclairée”, puisse venir la préempter. En effet, il ne doit plus être suffisant de savoir que “L'interrupteur soit enclenché” pour en conclure que “La pièce est éclairée” : il faut aussi que “L'ampoule ne soit pas cassée”. Remarquons que la seconde règle est consistante avec la première et que les cadres de logiques non monotones et de révision de croyances ou de mise à jour ne traitent pas a priori de ce problème. Nous adressons d'abord cette question dans le cadre de la logique classique et ensuite dans un cadre plus général de représentation à base de logiques non monotones, et particulièrement de celles permettant la représentation de règles avec exceptions reposant sur des tests de consistance.

Jury :
Odile Papini, Professeur des Universités, Université d'Aix-Marseille (rapporteur)
Marie-Christine Rousset, Professeur des Universités, Université de Grenoble & IUF (rapporteur)
Philippe Besnard, Directeur de Recherche, IRIT CNRS Toulouse (co-directeur de thèse)
Éric Grégoire, Professeur des Universités, Université d'Artois (co-directeur de thèse)
Sylvain Lagrue, Maître de Conférences, Université d'Artois
Pierre Marquis, Professeur des Universités, Université d'Artois
Daniel Le Berre, Maître des Conférences & HDR, Université d'Artois

Date et lieu de soutenance : vendredi 02 décembre 2011 à 10h30 à l'IUT de Lens (Amphithéâtre SRC)