Appel à Communications JOURNES NATIONALES SUR LES MODELES DE RAISONNEMENT (JNMR'01) 3-4 mai 2001 Arras WWW: http://www.cril.univ-artois.fr/jnmr01 La formalisation d'un raisonnement conduit à prendre en compte les points suivants : le problème à traiter peut être incomplètement spécifié ; l'environnement peut être sujet à révision, à interprétation ; le monde évoluant, il faut considérer les aspects temporels, les conséquences de certaines actions, etc. Lors de la formalisation du problème, il faut également pouvoir poser les contraintes particulières au domaine, que ce soit lorsque l'on raisonne sur des aspects spatiaux, sur des réglementations, ou à partir de bases de tests. Le choix du formalisme de représentation (représentations purement logiques, qualitatives, à base de graphes...) est également un choix crucial selon le problème à traiter. C'est l'ensemble de ces questions que regroupe la thématique Modèles de Raisonnement. L'objectif de ces journées est de réunir les chercheurs se reconnaissant dans la problématique Modèles de Raisonnement, autour de sessions thématiques et de tables rondes. THEMES + Raisonnements tolérant les exceptions, l'incertitude ou l'incohérence ; + Raisonnements en environnement physique et évolutif : o Raisonnements spatiaux-temporels, o Raisonnements sur les actions, o Raisonnements sous contraintes de ressources ; + Raisonnement déontique ; + Raisonnement à base de cas ; + Représentation des connaissances : o Formalismes basés sur la logique, o Représentations qualitatives, o Représentations à base de graphes, d'objets, de contraintes ; + Raisonnement en bases de données : o Mise à jour, o Contraintes temporelles, o Bases de données géographiques ; + Liens entre modèles formels de représentation et de raisonnement et des domaines d'application génériques : o Diagnostic, o Planification, o Aide à la decision; + Représentation de connaissances textuelles; + Raisonnement dans le dialogue homme-machine. DATES IMPORTANTES 2 février 2001 Date limite de soumission 5 mars 2001 Notification aux auteurs 24 mars 2001 Réception des versions définitives des articles 3 et 4 mai 2001 JNMR'01 SOUMISSIONS Le choix des exposés sera fait sur la base d'articles qui ne devront pas excéder 10 pages et être soumis de manière électronique sous forme de fichier PostScript à envoyer à l'adresse suivante : jnmr01@cril.univ-artois.fr Le style pour les versions définitives des articles sera fourni ultérieurement sur le site web : http://www.cril.univ-artois.fr/jnmr01 COMITE DE PROGRAMME Président : Andréas Herzig (IRIT, Toulouse) Membres : Claudette Cayrol (IRIT, Toulouse) Patrice Enjalbert (GREYC, Caen) Jérôme Euzenat (INRIA, Grenoble) Sébastien Konieczny (CRIL, Lens) Jérôme Lang (IRIT, Toulouse) Dominique Laurent (LI, Tours) Yves Moinard (IRISA, Rennes) Amedeo Napoli (LORIA, Nancy) Odile Papini (SIS, Toulon) Sylvain Piechowiak (LAMIH, Valenciennes) Marie-Christine Rousset (LRI, Paris-Sud) COMITE d'ORGANISATION Sébastien Konieczny (CRIL, Lens) Sylvain Piechowiak (LAMIH, Valenciennes)