Date: Mon, 20 Sep 93 10:55:55 +0200 From: celine@lri.fr Subject: JAVA - 94 CALL FOR PAPERS FOR JAVA - 94 Journees sur l'Acquisition, la Validation et l'Apprentissage (PRC-GDR-IA du CNRS) 21 - 25 Mars 1994, Strasbourg, France -------------------- Here follows a short version of the call for paper for the French speaking Conference on Machine Learning, Knowledge Acquisition and Knowledge Validation. The conference is split into three separate working groups (Machine Learning, Knowledge Acquisition and Knowledge Validation), and one day is scheduled for presentations of papers relevant to at least two of the above themes. Five copies of a paper have to be sent by surface mail to the chair person of the addressed working group (see below). For submissions relevant to several working groups, it is sufficient to send it only once, and to quote the relevant working groups. Papers are limited to 12 pages maximum, one line spacing, font size 12). PAPERS CAN BE SUBMITTED IN ENGLISH BUT WILL HAVE TO BE TRANSLATED INTO FRENCH IF ACCEPTED. PRESENTATIONS WILL BE IN FRENCH AS WELL. Important dates 12 novembre 1993: Submission deadline 15 janvier 1994: Notification of acceptance 15 fevrier 1994: Camera ready copy of accepted papers Chair of JAVA (JAC-JVAL-JFA) : Rose DIENG (INRIA, Sophia-Antipolis) E-mail: dieng@sophia.inria.fr Chair of JFA (Machine Learning) : Celine Rouveirol (LRI-CNRS, Orsay) E-mail: celine@lri.fr Chair of JAC (Knowledge Acquisition) Philippe LAUBLET (ONERA-DMI, Chatillon) E-mail laublet@laforia.ibp.fr Chair of JVAL (Knowledge Validation) Alun PREECE (Univ. de Savoie, Chambery) E-mail: preece@univ-savoie.fr Local Organization : Francois ROUSSELOT (ERIC-GRILL, Strasbourg) E-mail: rousse@steinway.u-strasbg A full call for papers (in French!) is available my mail request to celine@lri.fr. Article 20612 of comp.ai: Xref: glinda.oz.cs.cmu.edu comp.ai:20612 Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!usc!elroy.jpl.nasa.gov!univ-lyon1.fr!jussieu.fr!univ-lille1.fr!zaphod.crihan.fr!news.univ-rennes1.fr!irisa.fr!sophia.inria.fr!baltazar.inria.fr!dieng From: dieng@baltazar.inria.fr (Rose Dieng) Newsgroups: inria.general,comp.ai,eunet.europen,fnet.general,sophia.general Subject: JAVA'94 (Program) Date: 9 Feb 1994 18:21:42 GMT Organization: INRIA, Sophia-Antipolis (Fr) Lines: 445 Distribution: world Message-ID: <2jb9jm$9ui@sophia.inria.fr> NNTP-Posting-Host: baltazar.inria.fr Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Keywords: KBS, knowledge acquisition, validation, machine learning *********************************************************** JAVA 94 Journees sur l'Acquisition, la Validation et l'Apprentissage (PRC-GRD IA du CNRS) 21-25 Mars STRASBOURG FRANCE *********************************************************** ATTENTION CE MESSAGE NE COMPORTE QUE LE PROGRAMME , TOUS LES RENSEIGNEMENTS PRATIQUES DANS UN SECOND MESSAGE INTITULE JAVA'94 (RENSEIGNEMENTS) ---------------------------------------------------------- CONFERENCE ORGANISEE PAR ERIC Equipe de Recherche en Ingenierie des Connaissances de Strasbourg et le PRC-GDR IA du CNRS ----------------------------------------------------------- PATRONAGES AFCET, AFIA, ARC, CNRS, INRIA AUAS, ENSAIS, MSHS, USHS, ULP societe des Amis des Universites de l'Academie de Strasbourg Ecole Nationale des Arts et Industries de Strasbourg Maison des Sciences de l'Homme de Strasbourg Universite des Sciences Humaines de Strasbourg Universite Louis Pasteur Strasbourg -------------------------------------------------- ORGANISATION LOCALE Francois ROUSSELOT (ERIC-Strasbourg) E-mail rousse@steinway.u-strasbg.fr --------------------------------------------------- COMITES DE PROGRAMMES JAVA Journees Acquisition Validation Apprentissage JFA JVAL JAC Presidente Rose DIENG (INRIA Sophia-Antipolis) E-mail dieng@sophia.inria.fr --------------------------------------------------------------------- JAC Journees Acquisition des Connaissances President Philippe LAUBLET (GIA-ONERA, Chatillon) E-mail laublet@laforia.ibp.fr Membres Patrick ALBERT (ILOG, Gentilly) Nathalie AUSSENAC-GILLES (ARAMIIHS-IRIT-CNRS, Toulouse) Guy BOY (EURISCO, Toulouse) Joost BREUKER (Universite d'Amsterdam, PAYS-BAS) Jean CHARLET (INSERM, Paris) Anne COLLINOT (LAFORIA-CNRS, Paris) Anne CONDAMINES (ARAMIIHS-CNRS, Toulouse) Jean-Marc DAVID (RENAULT, Boulogne-Billancourt) Pierre FALZON (Laboratoire d'Ergonomie-CNAM, Paris) Jean-Gabriel GANASCIA (LAFORIA-CNRS, Paris) Jean-Paul KRIVINE (DER-EDF, Clamart) Marc LINSTER (DEC, Boston, USA) Chantal REYNAUD (LRI-CNRS, Orsay) Francois ROUSSELOT (ERIC Universite des Sciences Humaines, Strasbourg) Brigitte SAFAR (LRI-CNRS Orsay) Jean SALLANTIN (LIRMM-CNRS, Montpellier) Brigitte TROUSSE (INRIA, Sophia-Antipolis) -------------------------------------------------------------------- JVAL Journees VALidation des systemes a base de connaissances President Alun PREECE (LIA Universite de Savoie, Chambery) E-mail preece@univ-savoie.fr Membres Marc AYEL (Universite de Savoie, Chambery) Philippe DAGUE (Universite de Paris 13, Villetaneuse) Gilles KASSEL (UTC, Compiegne) Laurent GIBET (CNES, Toulouse) Jacques GUYOT (PEUGEOT, Paris) Stephane LOISEAU (Universite de Paris 11, Orsay) Joanna POMIAN (CISI-Ingenierie, Paris) Marie-Christine ROUSSET (Universite de Paris 11, Orsay) Laurence VIGNOLLET (LIA-Universite de Savoie, Chambery) ---------------------------------------------------------------------- JFA Journees Francophones sur l'Apprentissage Presidente Celine ROUVEIROL (LRI-CNRS) Orsay E-mail celine@lri.fr Membres Francesco BERGADANO (Universite de Turin,ITALIE) Gilles BISSON (LRI-CNRS, Orsay) Christian De SAINTE MARIE (ITMI, Grenoble) Jean-Gabriel GANASCIA (LAFORIA-CNRS, Paris) Stan MATWIN (Universite d'Ottawa, CANADA) Jacques NICOLAS (IRISA, Rennes) Joel QUINQUETON (LIRMM-INRIA, Montpellier) Marc SCHOENAUER (Ecole Polytechnique-CNRS, Palaiseau) Henri SOLDANO (LIPN, Paris) George TECUCI (GMU, USA) Thierry VAN DE MERCKT (Universite Libre de Bruxelles, BELGIQUE) Stefan WROBEL (GMD, St Augustin, ALLEMAGNE) -------------------------------------------------------------------- OBJECTIFS -------------------------------------------------------------------- Les journees d'acquisition des connaissances (JAC) ont pour objectif l'etude de problemes lies a l'acquisition des connaissances en vue de la construction d'un systeme a base de connaissances. La journee VALidation des systemes a base de connaissances (JVAL) se focalise sur les problemes lies a la validation des systemes a base de connaissances. Enfin, les Journees Francophones d'Apprentissage (JFA) approfondissent les problemes lies a l'apprentissage automatique. L'organisation de ces trois journees est le temoignage d'un souci de convergence de ces trois approches du probleme difficile qui consiste a developper des systemes a base de connaissances. Chaque annee cette manifestation scientifique constitue le plus grand evenement de la communaute scientifique francophone dans les trois domaines.L'importance de chacun des trois themes pour l'acceptation des systemes a bases de connaissances dans le milieu industriel est reconnue. De plus en plus de recherches relevent d'au moins deux domaines a la fois: validation des connaissances acquises et, en particulier, validation des modeles d'expertise, integration de techniques d'acquisition et d'apprentissage automatique en vue de la generation de nouvelles connaissances, apprentissage guide par des modeles d'expertise, exploitation de l'apprentissage pour la validation d'une base de connaissances, acquisition de connaissances concernant les systemes d'apprentissage, validation de systemes d'apprentissage automatique sont des exemples de themes communs abordes recemment.Chacune des disciplines a son propre programme, mais une journee commune, le mercredi, est reservee a la presentation de papiers communs a deux ou trois des disciplines. Des periodes d'echanges permettront a l'ensemble des participants de confronter leurs points de vue et methodes, sous la forme de seances plenieres ou d'ateliers sur un theme specifique. --------------------------------------------------------------------- lundi 21 JAC matin et apres-midi Mardi 22 JAC matin et apres-midi Mercredi 23 JVAL le matin et en fin de journee session commune JAVA en fin de matinee et en debut daapres-midi Jeudi 24 et Vendredi 25 JFA fin en milieu daapre-midi vendredi PROGRAMME DETAILLE DES JOURNEES --------------------------------------------------------------- JAC 94 Lundi 21 Mars ****************************** 9h 45 Introduction aux journees Philippe Laublet -------------------------------------- Session Utilisation de modeles et d'ontologies pour l'acquisition President Francois Rousselot ERIC Strasbourg Discutant Philippe Laublet ONERA-LAFORIA Paris --------------------------------------------------------------------- ---------------------------------------------------------------- 10h De l'Expertise de Modelisation, Bernard Leroux ONERA-LAFORIA Universite Pierre et Marie Curie 10h 30 Connaissances du domaine d'un SBC et ontologies Chantal Reynaud et Francoise Tort LRI-Universite de Paris-Sud 11h Pause -------------------- Suite de la Session Utilisation de modeles et d'ontologies pour l'acquisition --------------------------- 11h 15 Ontologie et reutilisabilite Jean Charlet, Bruno Bachimont, Jacques Bouaud, Pierre Zweigenbaum DIAM - INSERM 11h 45 Discussion de la session -------------------------- 12h 30 Dejeuner --------------------------- Session Problemes terminologiques et Acquisition de connaissances a partir de textes President Jean-Paul Krivine DER EDF Clamart Discutante Anne Condamines ERSS-ARAMIIHS Toulouse --------------------------------------------------------------------- ---------------------------------------------------------- 14h Conference InviteeAnalyse de textes pour l'acquisition de connaissances Anne Condamines ERSS et ARAMIIHS Toulouse 15h Une structuration des connaissances adaptee a partir de textes en Systematique Mohand Guerdoud*, Jacques Lebbe** * Laforia et Laboratoire de phytologie qualitative ** Laboratoire de phytologie qualitative et INRIA 15h 45 Pause --------------------- Suite de la Session Problemes terminologiques et Acquisition de connaissances a partir de textes -------------------------- 16h 15 Developpement et validation d'outils de traitement de la langue naturelle pour une aide a l'identification des connaissances Francois Rousselot ERIC-GRILL Universite des Sciences Humaines de Strasbourg 17h Methodologie d'utilisation de LEXTER pour l'acquisition des connaissances a partir de textes Didier Bourigault, Pascal Lepine DER EDF Clamart 17h 45 Fin ------------- JAC 94 Mardi 22 Mars **************************** Session Modelisation de connaissances de contrUle President Patrick Albert ILOG Paris --------------------------------------------------------------------- 9h Un modele pour les connaissances de controle Karine Causse LRI-Universite de Paris-Sud Session Mise en oeuvre et comparaison de methodes et d'outils d'acquisition de connaissances I President Jean Charlet DIAM-INSERM Discutante Rose Dieng INRIA Sophia-Antipolis ---------------------------------------------------------------------- ------------------------------------------------------------ 9h 45 Modelisation de la resolution de problemes comparaison experimentale de Kads et Macao Pascal Lepine*, Nathalie Aussenac-Gilles** * EDF-GDF, ** IRIT et ARAMIIHS Toulouse 10h15 Pause --------------------- Suite de la Session Mise en oeuvre et comparaison de methodes et d'outils d'acquisition de connaissances I ------------------------ 10h 45 Construction d'un SBC pour l'orientation juridique .Hassene Hamroun, Bernard Carre LIFL Universite de Lille 11h 15 Modelisation d'une application juridique reelle selon KADS a l'aide de l'outil OPEN KADS: l'application REDRESSE Raoul Fuentes*, Pascal Gaudillere*, Manuel Regnier*, Christine Pierret-Goldbreich* et ***Jeune Equipe Informatique et Droit, Faculte de Droit Universite de Paris-Sud ** LRI Universite de Paris-Sud 11h 45 Discussion de la session ------------------------------------------------ 12h 30 Dejeuner ------------------------- Session Utilisation de cas pour l'acquisition et le raisonnement Presidente Nathalie Aussenac-Gilles IRIT-ARAMIIHS Discutante Brigitte Trousse INRIA Sophia-Antipolis ---------------------------------------------------------------------- ------------------------------------------------------------ 14h L'integration de bases de cas resolus dans l'acquisition de connaissances dirigees par les modeles Regine Teulier-Bourgine* et Pascal Goumand ** * CNRS GRID ** LIAC Universite de Caen14h 30 Acquisition de connaissances pour une recherche evolutive d'informationMalika Smail CRIN-CNRS Nancy 15h Discussion de la session ----------------------------------------- ` 15h 30 Pause -------------------- Session Mise en oeuvre et comparaison de methodes et d'outils d'acquisition de connaissances II Presidente Anne Collinot LAFORIA-CNRS Discutante Brigitte Safar LRI-CNRS Orsay ---------------------------------------------------------------------- -------------------------------------------------------------- 16h Etude de cas: acquisition de connaissances pour le systeme DIAPASON Claudine Moinard, Michelle Joab LIF Universite Pierre et Marie Curie 16h 30 Problemes methodologiques lies a la construction d'un modele conceptuel avec MACAO Nada Matta, Nathalie Aussenac-Gilles IRIT et ARAMIIHS Toulouse 17h Discussion de la Session ---------------------------------------- 17h 30 Fin --------------- JVAL 94 et session commune JAVA Mercredi 22 mars ***************************************************************** Session JVAL President Alun Preece Universite de Savoie Chambery --------------------------------------------------------------------- ------ 9h Utilisation d'une representation abstraite KSL comme aide a la validation N. Preston, J.-M. Desvergne, J.L. Bussenot, J._Foisseau, M. Lemoine**, E. Dorlet, J.M. Evrard*** *CRIL-Ingenierie ** CERT-ONERA *** CEA/DMT/SERMA/LETR 9h 45 Aspects statiques et dynamiques des generateurs de cas de test Jean-Pierre Laurent, Laurence Vignollet LIA Universite de Savoie Chambery10h 30 Diagnostic des systemes a bases de connaissancesFatma Bouali Universite de Paris-Sud 11h Pause ---------------------------------------- Session commune JAVA (JAC et JVAL) Presidente Rose Dieng INRIA Sophia Antipolis ------------------------------------------------------------------- 11h 45 Simuler le comportement macroscopique d'un modele conceptuel d'expertise Paul-Andre Tourtier, Stephane Boyera, Olivier Corby INRIA-Sophia-Antipolis --------------------- 12h 30 Dejeuner ----------------------------- 14h Conference invitee ---------------------------------- 15h Session commune JAVA suite (JAC et JFA) ------------------------------------------------------------------- Du texte aux clauses de Horn par combinaison d'analyse linguistique et d'apprentissage symbolique Sylvain Delisle*, Ken Barker, Jean-Francois Delannoy, Stan Matwin et Stan Szpakowicz** * Departement de Mathematiques et d'Informatique, Universite du Quebec ** Department of Computer Science Ottawa University 15h 45 Pause ---------------------- 16h 15 Session commune JAVA fin (JVAL et JFA) --------------------------------------------------------------------- 16h 15 Validation de connaissances apprises Christophe Carry Universite Pierre et Marie Curie --------------------------------------------------------------------- Session JVAL President Marc Ayel LIA Universite de Savoie Chambery --------------------------------------------------------------------- 17h Validation of knowledge-based systems: A North American state-of-the-artAlun Preece Universite de Savoie Chambery 17h 45 Table Ronde 18h Fin ----------------- JFA 94 Jeudi 24 Mars *************************** Session Apprentissage et Complexite Animateur Joel Quinqueton LIRMM Montpellier -------------------------------------------------------------- 10h Reduction de l'exploration de l'espace de recherche dans un algorithme top-down: resultats theoriques et experimentaux Pierre Brezellec, Henri Soldano LIPN Universite de Paris Nord 10h 40 Un algorithme optimal pour l'association d'entites a partir de leur similaritesOlivier Brissac, Michel Liquiere IREMIA Universite de la Reunion 11h 20 Discussion 11h 50 Dejeuner -------------------------- Session Generalisation Animateur Gilles Bisson LRI-CNRS Orsay ---------------------------------------------------------- 14h Saturation et generalisation de graphes conceptuels Olivier Gey LAFORIA Universite Pierre et Marie Curie14h 40 Une generalisation maximalement discriminante en Logique du Premier OrdreMichele Sebag LMS Ecole Polytechnique 15h 20 Pause ---------------------- Session Apprentissage et Categorisation Animateur Christian de Sainte Marie ITMI Grenoble --------------------------------------------------------------------- - 15h 50 Categorisations, raisonnement par classification et raisonnement a partir de cas Amedeo Napoli CRIN-CNRS Nancy 16h 30 Discussion 17h Fin ------------ JFA 94 Vendredi 25 Mars ********************************* Session Inference Grammaticale Animateur Jacques Nicolas IRISA Rennes ----------------------------------------------------------- 9h L'algorithme BRIG: inference de grammaires regulieres a partir d'exemples positifs et negatifs par random lattice pruning Laurent Miclet *, Cyrille de Gentile***IRISA-ENSSAT Lannion ** IMA Universite Catholique de l'Ouest 9h 40 Inference de grammaires regulieres par optimisation genetique a partir d'exemples positifs et negatifs: la methode GIG. Pierre Dupont *, F.Pinson** * France Telecom **ENSEEIHT 10h 20 Discussion de la Session 10h 50 Pause ---------------------- Session Algorithmes Genetiques Animateur Marc Schoenauer Ecole Polytechnique -------------------------------------------------------------------- 11h 20 De l'interet des sosies pour un algorithme genetique Philippe Collard, Jean-Philippe Aurand Universite de Nice Sophia-Antipolis 11h 40 Discussion (impliquant les deux dernieres presentations) 12h 10 Dejeuner ----------------------- Session Reformulation pour l' Apprentissage Animateur Thierry van de Merckt Universite Libre de Bruxelles ---------------------------------------------------------------------- --------------- 14h Une approche moriologique de la reformulation d'exemples en apprentissage Jean Daniel Zucker, Jean-Gabriel Ganascia LAFORIA Universite Pierre et Marie Curie 14h 40 Discussion (impliquant les deux dernieres presentations) ---------------------------------------------------------------------- ---------------- Article 20613 of comp.ai: Xref: glinda.oz.cs.cmu.edu comp.ai:20613 Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!vixen.cso.uiuc.edu!sdd.hp.com!spool.mu.edu!sgiblab!swrinde!elroy.jpl.nasa.gov!univ-lyon1.fr!jussieu.fr!univ-lille1.fr!zaphod.crihan.fr!news.univ-rennes1.fr!irisa.fr!sophia.inria.fr!baltazar.inria.fr!dieng From: dieng@baltazar.inria.fr (Rose Dieng) Newsgroups: inria.general,comp.ai,eunet.europen,fnet.general,sophia.general Subject: JAVA-94 (Practical Information) Date: 9 Feb 1994 18:23:24 GMT Organization: INRIA, Sophia-Antipolis (Fr) Lines: 236 Distribution: world Message-ID: <2jb9ms$9ui@sophia.inria.fr> NNTP-Posting-Host: baltazar.inria.fr Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Keywords: KBS, knowledge acquisition, validation, machine learning *********************************************************** JAVA'94 Journees sur l'Acquisition, la Validation et l'Apprentissage (PRC-GRD IA du CNRS) 21-25 Mars STRASBOURG FRANCE *********************************************************** ATTENTION CE MESSAGE NE COMPORTE QUE LES RENSEIGNEMENTS PRATIQUES SUR JAVA : LE PROGRAMME FIGURE DANS UN PRECEDENT MESSAGE INTITULE JAVA'94 (PROGRAMME) **************************************** * INFORMATIONS GENERALES * **************************************** Lieu de la Conference -------------------------------- Hotel ALTEA Pont de l'Europe Parc du Rhin 67000 Strasbourg tel 88 61 03 23 fax 88 60 43 05 telex 870833 ------------------------------------ FRAIS D'INSCRIPTIONS ------------------------------------- plein tarif tarif universitaire tarif etudiant JAVA 4300 F 3100 F 2100F JFA 3000F 2100F 1500F JVAL 1000F 700F 500F JAC 3000F 2100F 1500F apres le 15 Mars !!!! ******************** + 800 F pour JAVA + 600 F pour JFA et JAC + 200 F pour JVAL * Tarif universitaire applicable a toute personne justifiant que l'Universite, le CNRS ou un EPST est son seul employeur (joindre un justificatif) ** etudiant = etudiant de moins de 27 ans ou chUmeur (logement en chambre double) les JAC durent du lundi au mercredi inclusLes JVAL ont lieu le mercredi Les JFA durent du mercredi au vendredi apres-midi La conference JAVA couvre JAC, JVAL et JFA. Ces droits comprennent la pension complete pendant les journees concernees(voir planning) et eventuellement la nuitee et le repas du soir precedant ces journees la participation aux journees concernees les pauses cafes le repas du mercredi soir pour les journees concernees (JVAL, JAC et JAVA) les actes de la conference concernee la participation aux demonstrations Modalites d'inscription ------------------------------- Les personnes desirant participer a l'une des conferences sont priees de completer le formulaire d'inscription et de le retourner avant le 15 Mars 1993 a Congres Louis Pasteur 19, rue du Marechal Lefebvre 67100 Strasbourg Seules les inscriptions accompagnees d'un cheque ou d'un bon de commande d'un organisme payeur seront prises en compte.Paiement des frais d'inscription ---------------------------------------------- Le paiement sera effectue en Francs Francais uniquement a l'ordre de monsieur l'Agent Comptable de L'ULP JAVA 94 - par cheque - par virement bancaire Tresorerie compte CCP Strasbourg 550644L036CR22S12 -JAVA 94 IMPORTANT mentionnez toujours JAVA 94 **************************************************** Annulation ----------------- Le remboursement des frais d'inscription sera possible par une demande ecrite parvenant au secretariat avant le 20 Mars (cachet de la poste faisant foi), une somme de 200F sera retenue pour frais administratifs. Aucun remboursement ne sera possible apres cette date. Hebergement -------------------- L'hebergement est assure a l'Hotel Altea ou a l'Hotel Bonhotel tout proche, en chambre simple ou en chambre double (pour le tarif etudiant).Afin de faciliter la tEche des organisateurs, il vous est demande de bien vouloir completer et retourner le plus rapidement possible le formulaire ci-joint en indiquant bien vos dates d'arrivee et de depart. Voyages ------------- Par le train arrivee en Gare de Strasbourg Attention, les trains de Paris mettent plus de quatre heures, ce qui impose pour la majorite des personnes de venir la veille au soir. Bus de la gare a l'hotel prendre la ligne 1 jusqu'au Centre(Place Kleber), puischanger et prendre le 11 ou le 21 direction Parc du Rhin(Pont de Kehl) Par avion arrivee a l'Aeroport International de Strasbourg-Entzheim Navette toutes les 20mn jusqu'au centre (Place Kleber), puis ligne 11 ou 21. Un service de navette peut etre organise a partir de l'aeroport ou de la Gare si les arrivants sont groupes. Demonstrations ----------------------- Des demonstrations de systemes ou de logiciels pourront etre organisees apres les presentations tout au long de JAVA 94. A cet effet, veuillez renvoyer le plus vite possible le formulaire correspondant avec le maximum de renseignements techniques a l'adresse suivante: F. ROUSSELOT Dept Info-USHS 22, Rue Descartes 67084 Strasbourg-CedexFRANCE Tel (33) 88 41 74 29 Fax (33) 88 41 74 40 Preciser a l'attention de M. F Rousselot email rousse@steinway.u-strasbg.fr Accueil ----------- Un service d'accueil sera assure sur place pendant toute la duree de la manifestation. Repas ---------- Ils seront pris sur place. Repas du mercredi soir --------------------------------- Le repas aura lieu en ville et comportera des specialites alsaciennes. Un car est prevu. Messages telephoniques ---------------------------------- Pendant la conference, les participants pourront recevoir des messages a l'Hotel ALTEA Num de tel (33) 88 61 03 23 ou des telecopies Num de fax (33) 88 60 43 05 BULLETIN D'INSCRIPTION A RETOURNER A Congres Louis Pasteur 19, rue du Marechal Lefebvre 67100 Strasbourg DATE LIMITE : 15 MARS 94 ______________________________________________________________________ ************************************************* BULLETIN D' INSCRIPTION A JAVA 94 JournIes Acquisition Validation et Apprentissage 94 Strasbourg (France) 21-25 Mars 1994 ************************************************* NOM.............................................PRENOM................ .................................. ORGANISME.......................... ...................................................................... . ADRESSE............................................................. ........................................ CODE POSTAL................VILLE....................................PAYS... ........................ TEL..................................FAX..... ...................E-mail..................................... plein tarif tarif universitaire tarif etudiant JAVA 4300 F 3100 F 2100 F JFA 3000 F 2100 F 1500 F JVAL 1000 F 700 F 500 F JAC 3000 F 2100 F 1500 F * etudiant = etudiant de moins de 27 ans ou chomeur (logement en chambre double) apres le 15 Mars + 800 F pour JAVA + 600 F pour JFA et JAC + 200 F pour JVAL PAIEMENT (mettre une croix dans les O correspondants a vos choix) L'inscription est faite: O a titre individuel, veuillez trouver ci-joint un cheque de ..................F O a titre professionnel (joindre le bon de commande de l'organisme E qui doit etre adresse la facture). Le paiement sera effectue en Francs Francais uniquement a l'ordre de Monsieur l'Agent Comptable de L'ULP JAVA 94 - par cheque - par virement bancaire Tresorerie compte CCP Strasbourg Num 550644L036CR22S12 -JAVA 94 Mentionner SVP sur le cheque ou le bon de commande votre nom, les journees concernees (JAC, JVAL ou JFA) ainsi que JAVA 94 RESERVATION HOTELIERE Moyen de transport O Avion O Train Heure d'arrivee........................ Date d'arrivIe.............................Date de depart .......................... O Je souhaite recevoir un coupon de reduction Air Inter (40% de reduction valable uniquement pour la France) O Je souhaite recevoir un fichet de reduction congres SNCF ( 20% de reduction valable uniquement pour la France) DATE SIGNATURE _____________________________________________________________________ ******************************* DEMONSTRATIONS ******************************* Document a remplir (ou E mailer) si vous desirez faire une demonstration de votre systeme durant ces journees. cette demonstration pourra avoir lieu le O le 21.3 O le 22.3 O le 24.3 O le 25.3 Besoins en Materiel Marque de la machine type, capacite, memoire lecteur de cartouche Je peux fournir ce materiel: Il me faudrait: Besoins en logiciels Nom des logiciels: Version Je peux fournir: Il me faudrait: Autres besoins Adresse d'envoi F. ROUSSELOT Dept Info-USHS 22, Rue Descartes 67084 Strasbourg-Cedex Article 20672 of comp.ai: Xref: glinda.oz.cs.cmu.edu comp.ai:20672 Path: honeydew.srv.cs.cmu.edu!rochester!udel!MathWorks.Com!europa.eng.gtefsd.com!howland.reston.ans.net!EU.net!julienas!sophia.inria.fr!picsou.inria.fr!dieng From: dieng@picsou.inria.fr (Rose Dieng) Newsgroups: inria.general,comp.ai,sophia.general,eunet.europeen,fnet.ia,fnet.general Subject: JAVA'94 (Program) : Erratum Date: 13 Feb 1994 18:09:53 GMT Organization: INRIA, Sophia-Antipolis (Fr) Lines: 465 Distribution: world Message-ID: <2jlqdh$50v@sophia.inria.fr> NNTP-Posting-Host: picsou.inria.fr Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Keywords: KBS, knowledge acquisition, validation, machine learning *********************************************************** JAVA 94 Journees sur l'Acquisition, la Validation et l'Apprentissage (PRC-GRD IA du CNRS) 21-25 Mars STRASBOURG FRANCE *********************************************************** ATTENTION CE MESSAGE NE COMPORTE QUE LE PROGRAMME , TOUS LES RENSEIGNEMENTS PRATIQUES DANS UN SECOND MESSAGE INTITULE JAVA'94 (RENSEIGNEMENTS) ---------------------------------------------------------- CONFERENCE ORGANISEE PAR ERIC Equipe de Recherche en Ingenierie des Connaissances de Strasbourg et le PRC-GDR IA du CNRS ----------------------------------------------------------- PATRONAGES AFCET, AFIA, ARC, CNRS, INRIA AUAS, ENSAIS, MSHS, USHS, ULP societe des Amis des Universites de l'Academie de Strasbourg Ecole Nationale des Arts et Industries de Strasbourg Maison des Sciences de l'Homme de Strasbourg Universite des Sciences Humaines de Strasbourg Universite Louis Pasteur Strasbourg -------------------------------------------------- ORGANISATION LOCALE Francois ROUSSELOT (ERIC-Strasbourg) E-mail rousse@steinway.u-strasbg.fr --------------------------------------------------- COMITES DE PROGRAMMES JAVA Journees Acquisition Validation Apprentissage JFA JVAL JAC Presidente Rose DIENG (INRIA Sophia-Antipolis) E-mail dieng@sophia.inria.fr --------------------------------------------------------------------- JAC Journees Acquisition des Connaissances President Philippe LAUBLET (GIA-ONERA, Chatillon) E-mail laublet@laforia.ibp.fr Membres Patrick ALBERT (ILOG, Gentilly) Nathalie AUSSENAC-GILLES (ARAMIIHS-IRIT-CNRS, Toulouse) Guy BOY (EURISCO, Toulouse) Joost BREUKER (Universite d'Amsterdam, PAYS-BAS) Jean CHARLET (INSERM, Paris) Anne COLLINOT (LAFORIA-CNRS, Paris) Anne CONDAMINES (ARAMIIHS-CNRS, Toulouse) Jean-Marc DAVID (RENAULT, Boulogne-Billancourt) Pierre FALZON (Laboratoire d'Ergonomie-CNAM, Paris) Jean-Gabriel GANASCIA (LAFORIA-CNRS, Paris) Jean-Paul KRIVINE (DER-EDF, Clamart) Marc LINSTER (DEC, Boston, USA) Chantal REYNAUD (LRI-CNRS, Orsay) Francois ROUSSELOT (ERIC Universite des Sciences Humaines, Strasbourg) Brigitte SAFAR (LRI-CNRS Orsay) Jean SALLANTIN (LIRMM-CNRS, Montpellier) Brigitte TROUSSE (INRIA, Sophia-Antipolis) -------------------------------------------------------------------- JVAL Journees VALidation des systemes a base de connaissances President Alun PREECE (LIA Universite de Savoie, Chambery) E-mail preece@univ-savoie.fr Membres Marc AYEL (Universite de Savoie, Chambery) Philippe DAGUE (Universite de Paris 13, Villetaneuse) Gilles KASSEL (UTC, Compiegne) Laurent GIBET (CNES, Toulouse) Jacques GUYOT (PEUGEOT, Paris) Stephane LOISEAU (Universite de Paris 11, Orsay) Joanna POMIAN (CISI-Ingenierie, Paris) Marie-Christine ROUSSET (Universite de Paris 11, Orsay) Laurence VIGNOLLET (LIA-Universite de Savoie, Chambery) ---------------------------------------------------------------------- JFA Journees Francophones sur l'Apprentissage Presidente Celine ROUVEIROL (LRI-CNRS) Orsay E-mail celine@lri.fr Membres Francesco BERGADANO (Universite de Turin,ITALIE) Gilles BISSON (LRI-CNRS, Orsay) Christian De SAINTE MARIE (ITMI, Grenoble) Jean-Gabriel GANASCIA (LAFORIA-CNRS, Paris) Stan MATWIN (Universite d'Ottawa, CANADA) Jacques NICOLAS (IRISA, Rennes) Joel QUINQUETON (LIRMM-INRIA, Montpellier) Marc SCHOENAUER (Ecole Polytechnique-CNRS, Palaiseau) Henri SOLDANO (LIPN, Paris) George TECUCI (GMU, USA) Thierry VAN DE MERCKT (Universite Libre de Bruxelles, BELGIQUE) Stefan WROBEL (GMD, St Augustin, ALLEMAGNE) -------------------------------------------------------------------- OBJECTIFS -------------------------------------------------------------------- Les journees d'acquisition des connaissances (JAC) ont pour objectif l'etude de problemes lies a l'acquisition des connaissances en vue de la construction d'un systeme a base de connaissances. La journee VALidation des systemes a base de connaissances (JVAL) se focalise sur les problemes lies a la validation des systemes a base de connaissances. Enfin, les Journees Francophones d'Apprentissage (JFA) approfondissent les problemes lies a l'apprentissage automatique. L'organisation de ces trois journees est le temoignage d'un souci de convergence de ces trois approches du probleme difficile qui consiste a developper des systemes a base de connaissances. Chaque annee cette manifestation scientifique constitue le plus grand evenement de la communaute scientifique francophone dans les trois domaines.L'importance de chacun des trois themes pour l'acceptation des systemes a bases de connaissances dans le milieu industriel est reconnue. De plus en plus de recherches relevent d'au moins deux domaines a la fois: validation des connaissances acquises et, en particulier, validation des modeles d'expertise, integration de techniques d'acquisition et d'apprentissage automatique en vue de la generation de nouvelles connaissances, apprentissage guide par des modeles d'expertise, exploitation de l'apprentissage pour la validation d'une base de connaissances, acquisition de connaissances concernant les systemes d'apprentissage, validation de systemes d'apprentissage automatique sont des exemples de themes communs abordes recemment.Chacune des disciplines a son propre programme, mais une journee commune, le mercredi, est reservee a la presentation de papiers communs a deux ou trois des disciplines. Des periodes d'echanges permettront a l'ensemble des participants de confronter leurs points de vue et methodes, sous la forme de seances plenieres ou d'ateliers sur un theme specifique. --------------------------------------------------------------------- lundi 21 JAC matin et apres-midi Mardi 22 JAC matin et apres-midi Mercredi 23 JVAL le matin et en fin de journee, session commune JAVA en fin de matinee et en debut d'apres-midi Jeudi 24 et Vendredi 25 JFA PROGRAMME DETAILLE DES JOURNEES --------------------------------------------------------------- JAC 94 Lundi 21 Mars ****************************** 9h 45 Introduction aux journees Philippe Laublet -------------------------------------- Session Utilisation de modeles et d'ontologies pour l'acquisition President Francois Rousselot ERIC Strasbourg Discutant Philippe Laublet ONERA-LAFORIA Paris --------------------------------------------------------------------- ---------------------------------------------------------------- 10h De l'Expertise de Modelisation, Bernard Leroux ONERA-LAFORIA Universite Pierre et Marie Curie 10h 30 Connaissances du domaine d'un SBC et ontologies Chantal Reynaud et Francoise Tort LRI-Universite de Paris-Sud 11h Pause -------------------- Suite de la Session Utilisation de modeles et d'ontologies pour l'acquisition --------------------------- 11h 15 Ontologie et reutilisabilite Jean Charlet, Bruno Bachimont, Jacques Bouaud, Pierre Zweigenbaum DIAM - INSERM 11h 45 Discussion de la session -------------------------- 12h 30 Dejeuner --------------------------- Session Problemes terminologiques et Acquisition de connaissances a partir de textes President Jean-Paul Krivine DER EDF Clamart Discutante Anne Condamines ERSS-ARAMIIHS Toulouse --------------------------------------------------------------------- ---------------------------------------------------------- 14h Conference InviteeAnalyse de textes pour l'acquisition de connaissances Anne Condamines ERSS et ARAMIIHS Toulouse 15h Une structuration des connaissances adaptee a partir de textes en Systematique Mohand Guerdoud*, Jacques Lebbe** * Laforia et Laboratoire de phytologie qualitative ** Laboratoire de phytologie qualitative et INRIA 15h 45 Pause --------------------- Suite de la Session Problemes terminologiques et Acquisition de connaissances a partir de textes -------------------------- 16h 15 Developpement et validation d'outils de traitement de la langue naturelle pour une aide a l'identification des connaissances Francois Rousselot ERIC-GRILL Universite des Sciences Humaines de Strasbourg 17h Methodologie d'utilisation de LEXTER pour l'acquisition des connaissances a partir de textes Didier Bourigault, Pascal Lepine DER EDF Clamart 17h 45 Fin ------------- JAC 94 Mardi 22 Mars **************************** Session Modelisation de connaissances de contrUle President Patrick Albert ILOG Paris --------------------------------------------------------------------- 9h Un modele pour les connaissances de controle Karine Causse LRI-Universite de Paris-Sud Session Mise en oeuvre et comparaison de methodes et d'outils d'acquisition de connaissances I President Jean Charlet DIAM-INSERM Discutante Rose Dieng INRIA Sophia-Antipolis ---------------------------------------------------------------------- ------------------------------------------------------------ 9h 45 Modelisation de la resolution de problemes comparaison experimentale de Kads et Macao Pascal Lepine*, Nathalie Aussenac-Gilles** * EDF-GDF, ** IRIT et ARAMIIHS Toulouse 10h15 Pause --------------------- Suite de la Session Mise en oeuvre et comparaison de methodes et d'outils d'acquisition de connaissances I ------------------------ 10h 45 Construction d'un SBC pour l'orientation juridique .Hassene Hamroun, Bernard Carre LIFL Universite de Lille 11h 15 Modelisation d'une application juridique reelle selon KADS a l'aide de l'outil OPEN KADS: l'application REDRESSE Raoul Fuentes*, Pascal Gaudillere*, Manuel Regnier*, Christine Pierret-Goldbreich* et ***Jeune Equipe Informatique et Droit, Faculte de Droit Universite de Paris-Sud ** LRI Universite de Paris-Sud 11h 45 Discussion de la session ------------------------------------------------ 12h 30 Dejeuner ------------------------- Session Utilisation de cas pour l'acquisition et le raisonnement Presidente Nathalie Aussenac-Gilles IRIT-ARAMIIHS Discutante Brigitte Trousse INRIA Sophia-Antipolis ---------------------------------------------------------------------- ------------------------------------------------------------ 14h L'integration de bases de cas resolus dans l'acquisition de connaissances dirigees par les modeles Regine Teulier-Bourgine* et Pascal Goumand ** * CNRS GRID ** LIAC Universite de Caen14h 30 Acquisition de connaissances pour une recherche evolutive d'informationMalika Smail CRIN-CNRS Nancy 15h Discussion de la session ----------------------------------------- ` 15h 30 Pause -------------------- Session Mise en oeuvre et comparaison de methodes et d'outils d'acquisition de connaissances II Presidente Anne Collinot LAFORIA-CNRS Discutante Brigitte Safar LRI-CNRS Orsay ---------------------------------------------------------------------- -------------------------------------------------------------- 16h Etude de cas: acquisition de connaissances pour le systeme DIAPASON Claudine Moinard, Michelle Joab LIF Universite Pierre et Marie Curie 16h 30 Problemes methodologiques lies a la construction d'un modele conceptuel avec MACAO Nada Matta, Nathalie Aussenac-Gilles IRIT et ARAMIIHS Toulouse 17h Discussion de la Session ---------------------------------------- 17h 30 Fin --------------- JVAL 94 et session commune JAVA Mercredi 22 mars ***************************************************************** Session JVAL President Alun Preece Universite de Savoie Chambery --------------------------------------------------------------------- ------ 9h Utilisation d'une representation abstraite KSL comme aide a la validation N. Preston, J.-M. Desvergne, J.L. Bussenot, J._Foisseau, M. Lemoine**, E. Dorlet, J.M. Evrard*** *CRIL-Ingenierie ** CERT-ONERA *** CEA/DMT/SERMA/LETR 9h 45 Aspects statiques et dynamiques des generateurs de cas de test Jean-Pierre Laurent, Laurence Vignollet LIA Universite de Savoie Chambery 10h 30 Diagnostic des systemes a bases de connaissancesFatma Bouali Universite de Paris-Sud 11h Pause ---------------------------------------- Session commune JAVA (JAC et JVAL) Presidente Rose Dieng INRIA Sophia Antipolis ------------------------------------------------------------------- 11h 45 Simuler le comportement macroscopique d'un modele conceptuel d'expertise Paul-Andre Tourtier, Stephane Boyera, Olivier Corby INRIA-Sophia-Antipolis --------------------- 12h 30 Dejeuner ----------------------------- 14h Conference invitee ---------------------------------- 15h Session commune JAVA suite (JAC et JFA) ------------------------------------------------------------------- Du texte aux clauses de Horn par combinaison d'analyse linguistique et d'apprentissage symbolique Sylvain Delisle*, Ken Barker, Jean-Francois Delannoy, Stan Matwin et Stan Szpakowicz** * Departement de Mathematiques et d'Informatique, Universite du Quebec ** Department of Computer Science Ottawa University 15h 45 Pause ---------------------- 16h 15 Session commune JAVA fin (JVAL et JFA) --------------------------------------------------------------------- 16h 15 Validation de connaissances apprises Christophe Carry Universite Pierre et Marie Curie --------------------------------------------------------------------- Session JVAL President Marc Ayel LIA Universite de Savoie Chambery --------------------------------------------------------------------- 17h Validation of knowledge-based systems: A North American state-of-the-art Alun Preece Universite de Savoie Chambery 17h 45 Table Ronde 18h Fin ----------------- JFA 94 Jeudi 24 Mars *************************** Session Apprentissage et Complexite Animateur Joel Quinqueton LIRMM Montpellier -------------------------------------------------------------- 10h Reduction de l'exploration de l'espace de recherche dans un algorithme top-down: resultats theoriques et experimentaux Pierre Brezellec, Henri Soldano LIPN Universite de Paris Nord 10h 40 Un algorithme optimal pour l'association d'entites a partir de leur similarites Olivier Brissac, Michel Liquiere IREMIA Universite de la Reunion 11h 20 Discussion 11h 50 Dejeuner -------------------------- Session Generalisation Animateur Gilles Bisson LRI-CNRS Orsay ---------------------------------------------------------- 14h Saturation et generalisation de graphes conceptuels Olivier Gey LAFORIA Universite Pierre et Marie Curie 14h 40 Une generalisation maximalement discriminante en Logique du Premier Ordre Michele Sebag LMS Ecole Polytechnique 15h 20 Pause ---------------------- Session Apprentissage et Categorisation Animateur Christian de Sainte Marie ITMI Grenoble --------------------------------------------------------------------- - 15h 50 Categorisations, raisonnement par classification et raisonnement a partir de cas Amedeo Napoli CRIN-CNRS Nancy 16h 30 Discussion 17h Fin ------------ JFA 94 Vendredi 25 Mars ********************************* Session Inference Grammaticale Animateur Jacques Nicolas IRISA Rennes ----------------------------------------------------------- 9h L'algorithme BRIG: inference de grammaires regulieres a partir d'exemples positifs et negatifs par random lattice pruning Laurent Miclet *, Cyrille de Gentile***IRISA-ENSSAT Lannion ** IMA Universite Catholique de l'Ouest 9h 40 Inference de grammaires regulieres par optimisation genetique a partir d'exemples positifs et negatifs: la methode GIG. Pierre Dupont *, F.Pinson** * France Telecom **ENSEEIHT 10h 20 Discussion de la Session 10h 50 Pause ---------------------- Session Algorithmes Genetiques Animateur Marc Schoenauer Ecole Polytechnique -------------------------------------------------------------------- 11h 20 De l'interet des sosies pour un algorithme genetique Philippe Collard, Jean-Philippe Aurand Universite de Nice Sophia-Antipolis 11h 40 Discussion (impliquant les deux dernieres presentations) 12h 10 Dejeuner ----------------------- Session Reformulation pour l' Apprentissage Animateur Thierry van de Merckt Universite Libre de Bruxelles ---------------------------------------------------------------------- 14h Une approche moriologique de la reformulation d'exemples en apprentissage Jean Daniel Zucker, Jean-Gabriel Ganascia LAFORIA Universite Pierre et Marie Curie 14h 40 Discussion (impliquant les deux dernieres presentations) 15h 10 : Pause ----------------------- Session Programmation Inductive Animateur : C. Rouveirol LRI-CNRS, Orsay ---------------------------------------------------------------------- 15h 30 : C. Vrain, L. Martin Induction de clauses normales : application au systeme FOIL 16h 10 : G. Le Blanc De la decouverte de relations de recurrence dans un ensemble de termes 16h 40 : Discussion de la Session 17h 10 : Fin des Journees