Prolog,
tant en recherche qu'en enseignement.
Pierre Deransart
21 Mars 1994
| Projet | Thème | Montant | ||
| demandé (KF) | ||||
| 1 | Projet accord INRIA/CNPq | 36 | ||
| 2 | Méthodes numériques | 75 | ||
| 3 | Psychologie ergonomique | 25 | ||
| 4 | Analyse de données | 22 | ||
| 5 | Bases de données Objet | 85 | ||
| 6 | Systèmes tolérants | 15 | ||
| 7 | Robotique | 15 | ||
| 8 | Programmation et environnements | 45 | ||
| 9 | Programmation en Logique | 30 | ||
| 10 | Programmation en Logique d'O.S. | 15 | ||
| 11 | Optimisation | 12 | ||
| Total | 375 KF |
| Dépenses | KF | Recettes | KF | ||
| Coûts directs et | 1152 | Fonds propres INRIA | 984 | ||
| Coûts indirects | |||||
| Missions | 207 | Subventions MAE | 375 | ||
| Total | 1359 KF | Total | 1359 KF |
En 1993 la subvention était de 250 KF et destinée à supporter tout type de frais liés à des actions directes entre les équipes françaises et brésiliennes.
| Thème | Nom | Date | Lieu | Obtenu | Réalisé | |
| par projet | (KF) | |||||
| Analyse données | E. Carvalho | 21/11 au | Rocquencourt | 51 | 42,5 | |
| 13/12/93 | ||||||
| E. Diday | 26/6 au | Recife | ||||
| 18/7/93 | ||||||
| Méth. num. | J. Herkowitz | 16/12/93 | Rocquencourt | 64 | 27,9 | |
| 21/1/94 | ||||||
| Optimisation | C. Gonzaga | 01/94 | Rocquencourt | 16 | 18,3 | |
| Psycho. ergo. | D.Scapin | 1993 | Florianopolis | 35 | 2 | |
| Bases données | V. Vianu | 8-17/8/93 | Recife | 84 | 34,9 | |
| G. Gardarin | 6-17/8/93 | Recife | ||||
| E. Simon | 8-17/8/93 | Recife | ||||
| R. Lanzelotte | 12-27/8/93 | Rocquencourt | ||||
| Total | 250 | 125,6 |
L'écart entre la subvention allouée et le réalisé (125 KF) s'explique
par les facteurs suivants:
La différence, soit 125 KF, est reportée sur 94.
La plupart des missions se sont déroulées en 1993, compte tenu du retard dans l'attribution de la subvention en 1992. En 1992 la subvention était de 100 KF, mais ne couvrait que des missions.
| Nom | Date | Lieu | Objectif | Montant | ||
| et thèmes | (KF) | |||||
| F. De Carvalho | 18/08/92 | Neuchatel | COMPSAT | 7,8 | ||
| 7/09/92 | Analyse données | |||||
| P.L. Georges | 2-6/8/93 | Rio de janeiro | Optimisation | 11,2 | ||
| (Colloque) | ||||||
| P. Laug | 19/7 au | Rio de janeiro | Optimisation | 16,9 | ||
| 6/8/93 | (Colloque) | |||||
| H.Hallard | 16/07 au | Rio de janeiro | Optimisation | 7,5 | ||
| 20/8/93 | Collab. Franca | |||||
| P. Deransart | 2-16/8/93 | Rio, Recife, BH, | visites | 29,5 | ||
| BH, Brasilia | ||||||
| J. Herkowitz | 22/03 au | Rocquencourt | Méth. num. | 23 | ||
| 1/05/93 | ||||||
| Total | 95,9 KF |
En 1991 la subvention était de 80 KF, mais ne couvrait que des missions d'experts français. 7 MCD ont été réalisées pour un total de 79,9 KF.
| Nom | Date debut | Lieu | Objectif | |||
| et thèmes | ||||||
| E. Najm | 19/4 au | Recife | Visite | |||
| 8/5/91 | ||||||
| W. Cybis | 19/8 au | Florianopolis | Thèse | |||
| 5/9/91 | ||||||
| O. Pironneau | 3-11/11/91 | Rio de janeiro | FB workshop | |||
| M.-O. Bristeau | 3-11/11/91 | Rio de janeiro | FB workshop | |||
| E. Rofman | 25/10 au | Rio de janeiro | FB workshop | |||
| 24/11/91 | ||||||
| F. Darse | 1/11 au au | Florianopolis | U. Santa Catarina | |||
| 2/12/91 | ||||||
| M. Dervieux | 2-11/11/91 | Rio de janeiro | FB workshop | |||
Patrick Quidel, Attaché pour la Science et la
Technologie,
Ambassade de France, SES Av. das Naçoes, Lote 4,
CEP 70404, Brasilia, DF,
Tel: +55 61 312 9197, Fax: 9202,
email:
Le gouvernement brésilien, à travers le CNPq (MCT), met en place une politique de développement stratégique de l'informatique (projet DESI) autour de trois axes principaux:
De son côté le Ministère français (MAE) -représenté par Monsieur Quidel, Attaché pour la science et la Technologie- souhaiterait placer la subvention octroyée à l'INRIA chaque année pour les actions brésil dans un cadre d'action plus global. Le système actuel qui consiste à avoir des parties de missions financées par le ministère français devant être complémentées par le CNPq n'est pas très satisfaisant: il oblige à de nombreuses démarches complémentaires du côté brésilien et n'assure pas un suivi suffisant des actions. Il faut noter néanmoins qu'en pratique le CNPq à la plupart du temps suivi en accordant le voyage aux brésiliens accueillis en France dans le cadre d'un financement français.
Par ailleurs d'autres actions françaises, comme les actions informatiques des projets ``Eurekazinho'', manquent de coordination avec les crédits accordés à l'INRIA.
D'où l'idée, séduisante pour les deux parties, de promouvoir un accord INRIA-CNPq dans lequel l'ensemble des crédits engagés par le MAE et le CNPq seraient pris en compte. Il y aurait lieu de considérer plusieurs types d'actions possibles selon les axes d'action prioritaires définis dans le plan DESI: actions de recherche pure, de R&D, de réalisations de logiciels, avec la possibilité d'associer des filiales INRIA.
Les parties attendraient différent avantages d'un tel accord:
En 1994 l'INRIA et le CNPq doivent étudier la faisabilité d'un tel accord. L'essentiel de son élaboration pourrait se faire par courrier électronique ou téléconférence. Il est néanmoins envisagé des crédits dans l'éventualité où une réunion bilatérale s'avérerait nécéssaire.
Méthodes numériques pour les sciences de l'ingénieur.
Collaboration entre INRIA et COPPE/URFJ, LNCC/CNPq et PUC.
Amin Acim
Tel: +33 1 39635508, Fax: +33 1 39635330
Olivier Pironneau
Laboratoire d'analyse numérique, Université Pierre et Marie Curie
Tour 55-65, 5ième étage,
4, Place Jussieu
F-75252 Paris Cedex 05
Tel: +33 1 44274411, Fax: +33 1 44277200
email: pironneau@menusin.inria.fr
Leon Franca
LNCC
Rua Laureo Müller, 455
CP 56018, CEP 22290 Rio de Janeiro, Brésil
Tel: +55 21 5412132
email: userleo@lnccvm.bitnet
Trois thèmes d'actions:
Differents tests d'un logiciel d'optimisation réalisés par J. Herskovits, impliquant J. Baron et M. Hallard a l'INRIA. Application en mécanique des fluides, en mécanique des solides et chez Dassault-Aviation (J. Périaux). Ces tests ont été réalisés dans le cadre d'études d'optimisation de formes d'objets dont le comportement est régi par des EDP non linéaires, lors du séjour en France de J. Herskovits (octobre 92 à avril 93).
Ces travaux se sont concrétisés par les publications citées.
En continuité de ces actions, il serait intéressant de pouvoir réaliser en 1994:
Besoins:
Besoins:
Collaboration INRIA/Université de Santa Catarina.
Depuis Avril 91, un étudiant en thèse (Walter Cybis) est dirigé conjointement par le Professeur Dos Santos et D. Scapin. W. Cybis dispose d'une bourse du gouvernement brésilien à laquelle l'INRIA apporte un complément. W. Cybis est retourné au Brésil fin Août 93. Sa thèse porte sur la modèlisation des éléments de l'interface. Il est prévu qu'il termine sa rédaction de thèse dans les mois à venir, ainsi qu'un article qu'il a commencé à rédiger.
Du 4 au 14 Octobre 93, D. Scapin s'est rendu au Brésil pour participer au premier congrès latino-Américain d'ingéniérie industrielle et au deuxième congrès latino-Américain d'ergonomie, lors duquel il a présenté une conférence invitée: ``The need for a Psycho-Engineering approach to HCI''. J'ai également pris des contacts avec des membres du département de Génie de Production de l'UFSC, ainsi qu'avec d'autres universitaires brésiliens. Cette mission a été prise en charge par le Brésil.
Le but de la coopération est de développer des axes de recherche communs dans le domaine de l'ergonomie cognitive, en particulier autour des problématiques de conception et d'évaluation d'interfaces.
En 94, D. Scapin prévoit de retourner au Brésil pour d'une part, participer au jury de thèse de W. Cybis, préparer d'autres collaborations, notamment co-direction d'autres étudiants, et d'autre part, visiter d'autres universités au Brésil (notamment l'université Fluminense de Rio), suite au contacts effectués lors de son premier séjour.
Edwin Diday, Projet CLOREC
INRIA-Rocquencourt, BP 105
F-78153 Le Chesnay Cedex
Tel: +33 1 39635669
Fax: +33 1 39635330
email: diday@icare.inria.fr
Autres Participants
Yves Lechevalier, Projet CLOREC
Tel: +33 1 39635434
email: lecheval@icare.inria.fr
Francisco de A. T. de Carvalho
Universidade Federal Rural de Pernambuco, Departamento de Física
e Matemática
Rua Dom Manoel de Medeiros, s/n - Dois Irmãos
52171-900 Recife, Pe, Brésil
Fax: +55 81 4414697
email: fatc@di.ufpe.br
Autres Participants
Edson Carvalho
Universidade Federal de Pernambuco, Departamento de Informática
50739 Recife, Pe, Brésil
Fax: +55 81 2714925
email: edson@di.ufpe.br
La coopération INRIA-UFRPe sur le thème ``Induction
symbolique-numérique'' a démarrée avec le séjour de F. de A.
T. de Carvalho au sein du Projet CLOREC à l'INRIA,
où il a développé ses recherches en Analyse de Données
Symboliques et soutenu sa Thèse de Doctorat intitulée
``Méthodes Descriptives en Analyse de Données Symboliques`` à
l'Université de Paris IX Dauphine (juillet 1992).
Les sujets de recherches comprennent:
Séjour de E. Diday au sein du Département d'Informatique de l'UFPe (25 Juin à 10 Juillet 1993):
E. Diday a développé les activités suivantes:
Séjour de E. Carvalho au sein du projet CLOREC à l'INRIA
(novembre 93).
E. Carvalho a fait son Doctorat à l'Université de Kent (Angleterre) où il a développé ses recherches en réseaux neuronaux.
Actuellement, au sein du Doctorat d'Informatique de l'UFPe, il mène ses recherches et encadre des étudiants intéressés par les réseaux neuronaux, l'apprentissage et la reconnaissance de formes.
Son séjour à l'INRIA au sein du projet CLOREC concerne les applications de l'approche réseaux neuronaux à l'analyse des données et les liens entre l'apprentissage symbolique automatique et l'Analyse des Données Symboliques.
Pendant son séjour, F. de A. T. Carvalho développera les recherches qu'il mène conjointement avec E. Diday (histogrammes et indices de proximité) surtout en ce qui concerne une nouvelle approche pour le calcul de la proximité entre objets symboliques basée sur l'extension. En même temps, il participera des journées symboliques numériques, organisées chaque 2 ans conjointement par E. Diday et Y. Kodratoff, qui se dérouleront à l'Université d'Orsay.
Décio Fonseca
Universidade Federal de Pernambuco
Departamento de Informática
50.739 - Recife -PE - BRASIL
Fax : +55 81 2714925
email : decio@di.ufpe.br
Préalablement à la présente coopération, les équipes de recherche en bases de données de l'INRIA et les institutions citées ont collaboré en plusieurs occasions (voir publications). La motivation de la présente demande de coopération consiste principalement à permettre la continuation de la collaboration déjà assez fructueuse entre la France et le Brésil, ainsi que de l'étendre également au Chili.
A partir du 1/3/92, première année de la coopération, certaines actions ont été entreprises. La première fut la visite du Prof. Rosana Lanzelotte à l'équipe du projet RODIN (INRIA) pendant deux mois (août et septembre 92). Pendant ces deux mois, R. Lanzelotte a participé aux discussions du projet ESPRIT/IDEA et a entrepris des travaux de recherche dans le domaine de l'optimisation de requêtes. La collaboration a aussi abouti à l'écriture d'un article accepté au VLDB 93 (voir publications). Le chercheur Mohamed Zait a visité la PUC-Rio en novembre 92, pour conclure l'article mentionné. En ce qui concerne le développement de prototypes, deux axes principaux ont fait l'objet de coopération. Le premier concerne le prototype de l'optimiseur de requêtes du projet ESPRIT/EDS. A partir des travaux en commun avec l'équipe RODIN, l'équipe de bases de données de PUC-Rio étend le prototype en ajoutant de nouvelles fonctionnalités. L'autre axe se concentre sur le système O2, qui est la base de plusieurs développements à la PUC-Rio. L'équipe bases de données de la PUC-Rio a réalisé une application multi-media pour le Projet PORTINARI, dont le but est de réunir et répertorier plusieurs types de document (tableaux, textes, etc.) concernant l'époque focalisée dans l'oeuvre du plus grand peintre brésilien, Candido PORTINARI.
En 93 la coopération a permis de réaliser un ``workshop'' dédié aux nouvelles perspectives dans le domaine des bases de données. Le workshop a été réalisé à Recife, pendant le 10 et 11 mai 93, précédant le VIII Symposium Brésilien des Bases de Données (SBBD). Il a atteint un public d'environ 20 chercheurs et 50 étudiants de 5 universités brésiliennes. Le workshop a consisté de tutoriaux réalisés par de différents chercheurs venus de France. Les sujets traités ont été choisis parmi ceux qui intéressaient les divers groupes de recherche et aussi développés dans le cadre des projets INRIA:
Le projet ESPRIT/IDEA, dont une partie significative est réalisée actuellement par le personnel du projet RODIN, comprend plusieurs thèmes de recherche qui pourront profiter de la présente coopération. En particulier, la thèse de doctorat de R. Lanzelotte a proposé des techniques pour l'optimisation de requêtes orientées objet, qui s'appliqueraient parfaitement dans le cadre du projet IDEA.
Une action de rapprochement est prévue aussi avec le Chili, pour identifier de points de recherche en commun. Le Chili logera la conférence VLDB en 94, qui est la plus importante dans le domaine des bases de données. Une mission significative de chercheurs français doit se présenter à cette conférence, pour être en contact avec des chercheurs latino-amér icains, aussi bien que provenants de tous les pays du monde.
[LV91] R.S.G. Lanzelotte, P. Valduriez: ``Extending the Search Strategy in a Query Optimizer'', In Proc. 17th Int. Conf. on Very Large Data Bases, Barcelona, Spain, 1991.
[LVZC91] R.S.G. Lanzelotte, P. Valduriez,
M. Ziane, J.P. Cheiney: ``Optimization of Nonrecursive Queries in
OODBs'', In
Proc. 2nd Int. Conf. on Deductive and Object-Oriented Databases,
Munich,
Germany, 1991.
[LVZ92] R.S.G. Lanzelotte, P. Valduriez,
M. Zaït: ``Optimization of Object-Oriented Recursive Queries
using
Cost-Controlled Strategies'', In Proc. ACM SIGMOD International
Conference, San Diego, USA, June 1992.
[LVZ93] R.S.G. Lanzelotte, P. Valduriez,
M. Zaït: ``On the Effectiveness of Optimization Search Strategies'',
In Proc. 19th Int. Conf.
on Very Large Data Bases, Dublin, Ireland, 1993.
[LVZZ94] R.S.G. Lanzelotte, P. Valduriez,
M. Zaït, M. Ziane: ``Industrial-Strength Parallel Query Optimization:
issues and lessons'', papier
invité à apparaître en Information Systems, 1994.
[GL92] G. Gardarin, R. Lanzelotte: ``Optimizing Object-Oriented
Database Queries Using Cost-Controlled Rewriting''.
Proceedings of the 3rd international conference on Extended Data Base
Technology. (EDBT). Springer-Verlag. 8 p. Vienne, Autriche. March
1992.
Recherche d'algorithmes efficaces pour calculer des métriques de performabilité pour des modèles de systèmes tolérant les fautes (ce domaine de recherche fait partie des axes de recherche du projet MODEL).
E. de Souza e Silva est un chercheur très connu dans le domaine de la modèlisation et de l'évaluation des systèmes informatiques, en général tolérant les pannes. Il a beaucoup travaillé avec les équipes de recherche IBM dans le domaine, au centre Yorktown Heights ainsi qu'avec le Prof. Muntz de UCLA.
E. de Souza e Silva a passé une semaine à Rennes début juillet en 1993.
Une mission d'une semaine au Bresil pour une personne de l'equipe MODEL. (R. Marie ou G. Rubino).
NB: de son côté, E. de Souza recherche aussi un moyen pour subventioner la cooperation.
Utilisation des réseaux de neurones formels en robotique.
Les possiblités d'auto-organisation et d'apprentissage propres aux réseaux de neurones formels les rendent particulièrement adaptés au problème de l'apprentissage des robots (robot learning) caractérisé par l'obligation de pendre en compte des données sensorielles bruitées, des erreurs de contrôle, des environnements changeant de manière dynamique et des situations où il est nécessaire d'apprendre directement par l'expérience.
Philippe Olivier Alexandre Navaux
Instituto de Informática, UFRGS,
Av. Bento Goncalves 9500 Bloco IV, Agronomia
CP 15064, CEP 91501, Porto Alegre, RS, Brésil
Tel: +55 51 3368399, 3391355 ramal 6847, Fax: +55 51 3365576
email: navaux@inf.ufrgs.br
Nous avons réalisé une étude documentaire sur le sujet auprès de 269 laboratoires français et étrangers. Cette étude à été conduite au LIFIA par un thésard brésilien de l'UFRGS (Remis Balaniuk) sur un contrat passé avec la DRET.
Notre but est d'utiliser ce type de propriété (auto-organisation et apprentissage) pour développer un système permettant à un robot d'apprendre certaines caractéristique de son environnement. Plus particulièrement, nous nous nous intéressons à faire apprendre au robot les relations qui relient ce qu'il perçoit avec ses mouvements (Modélisation Sensori-Motrice). Notre motivaton est de faire des robots pouvant agir dans des environnements qu'il est impossible de modéliser à priori.
Deux voyages (un dans chaque sens). (15 KF)
Pierre Deransart
INRIA-Rocquencourt
BP 105, F-78153 Le Chesnay Cedex
Tel: +33 1 39635536
Fax: +33 1 39635330
email: deransar@minos.inria.fr
Fabio Queda da Silva
CCEN, UFPe, Cidade Universitaria
CEP 50739, Recife, Pe
Tel: +55 81 2718400/401, Fax: +55 81 2710359
email: fabio@di.ufpe.br
Ruy Jose Barreto de Queiroz
CCEN, UFPe
email: ruy@di.ufpe.br
Silvio Lemos Meira
CCEN, UFPe
email: silvio@di.ufpe.br
Dans un premier temps: faciliter les contacts et étudier problèmes communs: spécification et validation de programme. Plus particulièrement:
Sémantique de la programmation relationelle (Fabio): langage ``PoIS'' et méthodes de preuves associés. Intégration programmation logique et fonctionnelle (Ruy), système déductif (logique intuitioniste). Spécifications en logique, tests et exécutabilité (Pierre). Méthodes formelles (Silvio, Dominique).
Programmation textuelle en logique.
La programmation en logique utilise essentiellement des axiomes, mais la pratique montre que des commentaires sont nécéssaires pour une bonne compréhension des programmes. Par ailleurs l'idée de programmation comme un texte à été introduite par Knuth dans le cadre de la programmation algorithmique (système WEB), mais rien n'a encore été fait de semblable pour la programmation en logique.
L'UFMG a développé un système semblable à WEB pour la sémantique dénotationelle, appliquant de ce fait l'approche de Knuth à la programmation fonctionnelle avec modules.
L'INRIA a développé une approche de la programmation en logique basée sur l'écriture simultannée de clauses et de commentaires, développés de manière purement textuelle sans système particulier.
Le but de la collaboration est de développer un système expérimental dans lequel un programme (suite de clauses) est developpé en même temps que les commentaires de manière interactive; suite á quoi le système permet de produire un texte documenté (introduction, clauses avec commentaires et références, et index).
Projet nouveau. Il n'existe pas encore d'action dans le domaine du génie logiciel.
Il s'agit d'effectuer un échange sur le thème de la
programmation logique d'ordre supérieur. Plus précisément,
il s'agit de susciter, au sein de l'université de Porto Alegre,
l'utilisation comme outil de développement du langage Prolog,
tant en recherche qu'en enseignement.
Le langage Prolog est une extension non triviale, très
puissante du langage Prolog qui marie harmonieusement et sans
concession sémantique les avantages de deux théories, la
logique et le calcul. L'INRIA est la seule organisation de
recherche à avoir réalisé à ce jour un compilateur de
ce langage. Le langage Prolog contient de nombreuses
nouveautés au plan de la programmation. Certaines se révèlent
être de redoutables outils, particulièrement dans des domaines
d'utilisation tels que l'IA. Vu la nouveauté du langage, un effort
de diffusion des connaissances est absolument nécessaire. Cet
échange s'inscrit dans ce cadre.
Mr Resin Geyer a effectusa thèse à Grenoble sur le
thème des machines Prolog Parallèles. Yves Bekkers a suivit
ces travaux de très prés et a été rapporteur sur cette
thèse. Depuis, Mr Resin Geyer, de retour au Bresil, continue sa
recherche sur le thème plus général de la programmation en
logique. Le ``workshop'' international XSBIA a été organisé
à Porto Alegre les 15-17 octobre derniers. Gâce à un
financement du gouvernement Brésilien Mr Bekkers a été
invité à présenter les travaux de l'équipe MALI et
à faire une présentation sur le langage Prolog. Cette
Présentation a suscité des demandes d'informations
complémentaires. Le besoin d'un cours s'est fait sentir. C'est
le but de cette demande de support financier.
Organisation d'un cours de quinze jours sur Prolog à
l'université avec travaux pratiques et mis en service du
système Prolog sur place. Cette formation devra être
suivie tant par des étudiants que par des enseignants. L'objectif
est que certains des enseignants, parmi lesquels Mr Resin Geyer,
prendront le relais pour d'autres cours ultérieur.
Il s'agit de demander le financement des frais d'une mission pour 3 semaines à Porto Alegre. Une démarche similaire est en cours au prés du gouvernement Bresilien pour la prise en charge des frais de voyage afférents à cette mission d'enseignement.
Le cours sera basé sur des cours portants sur Prolog
donnés par Mr Bekkers depuis 2 ans maintenant, plus
particulièrement, un cours de programmation logique avancée
dans le cadre du DEA informatique de l'université de Rennes I et
sur un cours portant sur le thème plus général de la
programmation logique effectué à l'école des Mines dans le
cadre de l'ISIA à Sophia Antipolis.
Projet PROMATH, INRIA, B.P. 105, 78153 Rocquencourt
Joseph.Bonnans@inria.fr
COPPE - Federal University of Rio de Janeiro
Department of Systems Engineering and Computer Science
Caixa Postal 68511
21945 Rio de Janeiro, RJ
Brazil
Telephone 55-21-2904540 fax 55-21-2906626
gonzaga@dutiosa.twi.tudelft.nl
J.F. BONNANS - C.C. GONZAGA (1993) Convergence of interior point algorithms for the monotone linear complementarity problem. Rapport INRIA 2074.
This document was generated using the LaTeX2HTML translator Version 99.2beta8 (1.42)
Copyright © 1993, 1994, 1995, 1996,
Nikos Drakos,
Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999,
Ross Moore,
Mathematics Department, Macquarie University, Sydney.
The command line arguments were:
latex2html -split 0 dossier.tex
The translation was initiated by Pierre Deransart on 2009-02-05