Après Paris en 1999 et Arras
en 2001, les Journées Nationales sur les Modèles de
Raisonnement retournent à Paris, précisément
à l'Institut Henri Poincaré les 27 et 28 novembre 2003.
Ces journées constituent le lieu de rencontres et
d'échanges scientifiques privilégiés de la
communauté des chercheurs participant à la structure
d'animation 1.1 << Modèles de raisonnement >> du GdR
I3 Information - Interaction - Intelligence. Ce GdR du CNRS a pour
mission l'animation de la communauté nationale de
recherche en systèmes d'information, interaction homme-machine
et intelligence artificielle.
La troisième édition de ces journées a pour
objectif de présenter et discuter des travaux en cours, ou
récemment achevés, concernant des formes de raisonnement
génériques (déduction, induction, abduction,
raisonnement à partir de cas, raisonnement sur des connaissances
incertaines ou imprécises, raisonnement non monotone ...) ou
spécifiques de domaines particuliers.
09h30
: ouverture des journées
09h45-11h15 : session 1 (30 mn par
présentation, questions incluses)
- Patricia Everaere, Sébastien Konieczny et Pierre Marquis :
«
Opérateurs de fusion à quota »
- Patricia Everaere, Sébastien Konieczny et Pierre Marquis :
«
De la manipulabilité des opérateurs de fusion de
croyances
»
- Julien Seinturier, Pierre Drap et Odile Papini : « Fusion
réversible:
application à l'information archéologique »
11h15-11h30 : présentation des
présentations affichées (posters) (2mn/poster)
- Guilherme Bittencourt et Jerusa Marchi : « What's in a name
?
»
- Souhila Kaci, Abdeslam Ali-Laouar et Frédéric
Cuppens
:
« Contrôle d'inférence non-autorisée
basé
sur la logique floue dans les systèmes d'information et de
communication
en santé et en social »
- Pavlos Moraïtis : « Un modèle de raisonnement
pour agents autonomes fondé sur l'argumentation »
- Farid Nouioua : « Raisonnement sur les normes »
- Jacques-Deric Rouault : « Raisonner à partir
d'observations
: de l'inférence expérimentale à
l'inférence intervallaire »
- Jean-Paul Sansonnet et Erika Valencia : « Q-chaînes:
formalisme
simplicial pour l'interaction entre agents sémantiquement
hétérogènes
»
11h30-11h45 : pause café
11h45-12h30 : session posters
12h30-14h00 : pause déjeuner
14h00-16h00 : session 2 (30 mn par présentation,
questions incluses)
- Jean-François Baget : « Homomorphismes
d'hypergraphes
pour la subsomption en RDF »
- Mahat Khelfallah, Belaïd Benhamou et Robert Jeansoulin :
«
Révision d'informations géographiques à base de
contraintes
temporelles »
- Rallou Thomopoulos, Patrice Buche et Olivier Haemmerlé :
«
du flou dans les graphes conceptuels »
- Éric Wurbel : « Révision par la
méthode
des r-ensembles et ROBDD »
16h00-16h30 : pause café et suite de la session
posters
16h30-18h00 : session 3 (30 mn par présentation,
questions incluses)
- Noël Laverny et Jérôme Lang : «
Représentation
des actions et planification en environnement partiellement observable
en
logique doxastique graduelle »
- Yves Moinard : « De l'usage de la mesure de la
plausibilité
pour le raisonnement par défaut »
- Rim Alhulou, Emmanuel Nauer et Amedeo Napoli : « Une mesure
de
similarité
sémantique pour raisonner sur des documents »
V
endredi 28 novembre 2003
08h30-10h30 : session 4 (30 mn par
présentation, questions incluses)
- Philippe Caillou : « Raisonnement heuristique
réflexif
dans un agent temps réel »
- Charlotte Denieul et Sandrine Rossi : « Implication de la
mémoire
de travail et des fonctions exécutives dans le raisonnement
hypothético-déductif
»
- Thierry Ripoll et Joël Eynard : « La détection
d'analogies
potentielles sans mapping est-elle possible ? »
- Mehdi Yousfi Monod et Violaine Prince : «
Modélisation
de l'acquisition de connaissances par le dialogue entre agents
cognitifs
»
10h30-11h00 : pause café
11h00-12h30 : session 5 (30 mn par
présentation, questions incluses)
- Leïla Amgoud et Henri Prade : « Un modèle de
négociation
basé sur la logique possibiliste : étude de
différentes stratégies
»
- Boris Mailhé et Henri Prade : « Mise à jour
d'une
base de connaissances possibiliste à l'aide de règles de
transition
éventuellement incertaines »
- Didier Dubois et Henri Prade : « Liens causaux et
explications
- Problèmes de modélisation : une discussion
préliminaire»
12h30-14h00 : pause déjeuner
14h00-15h00 : débat Giuseppe Longo - Jacques
Pitrat : "Le test de Turing a-t-il encore un
sens aujourd'hui ?" (titre à confirmer)
15h00-17h00 : session 6 (30 mn par
présentation, questions incluses)
- Philippe Besnard et Sylvie Doutre : « Vérifier
l'acceptabilité
d'ensembles d'arguments »
- Laurence Cholvy et Christophe Garion : « Exigences,
réglementations
et contraintes »
- Areski Naït-Abdallah et Alain Lecomte : « Un
modèle
de raisonnement avec propositions implicites »
- Andreas Herzig et Ivan Varzinczak : « Domain descriptions
should
be modular »
Comité de programme des JNMR'03
Daniel Kayser, Président du comité de sélection,
accompagné de Marie-Odile Cordier (Rennes), Jérôme
Euzenat (Grenoble), Hélène Fargier (Toulouse), Pierre
Marquis (CRIL Lens), Marie-Laure Mugnier (Montpellier), Amedeo Napoli
(LORIA Nancy), Pascal Nicolas (Angers), Suzanne Pinson (Paris),
Marie-Christine Rousset (Orsay), Pierre Siegel (Marseille), et
Jean-Daniel Zucker (Paris).
Comité d'organisation et
secrétariat
Antoinette Courrier (LORIA Nancy), Pierre Marquis (CRIL Lens) et Amedeo
Napoli (LORIA Nancy).