Systèmes experts en génie civil Un modèle probatoire : XPENT

Dimension: px
Commencer à balayer dès la page:

Download "Systèmes experts en génie civil Un modèle probatoire : XPENT"

Transcription

1 Systèmes experts en génie civil Un modèle probatoire : XPENT René-Michel FAURE Ingénieur divisionnaire des TPE Chef du département Mécanique et Informatique Ecole nationale des Travaux publics de l'etat (ENTPE) Jean-Pierre RAJOT Ingénieur des TPE Eric CAYEUX Ingénieur des TPE Eric MAZERAN Ingénieur des TPE Ecole nationale des Travaux publics de l'etat RÉSUME L'article présente les travaux préalables qui ont servi a la définition d'un modèle probatoire de système-expert appliqué à la stabilité des pentes. On rappelle tout d'abord les principales idées et le vocabulaire attachés à la notion de système-expert. Une brève description faite des principaux systèmes experts en génie civil. Le développement du système expert XPENT une entreprise de longue haleine, et de nécessaires coopérations se sont développées. Le point d'avancement que présente cet article l'occasion de faire connaître quelques réflexions sur la construction de la base de connaissances, et de montrer que les experts qui traduisent leur savoir se valorisent à travers un tel exercice. MOTS CLÉS : Modèle mathématique - Conception assistée par ordinateur - Génie civil - Logiciel - Stabilité des talus - Intelligence Artificiel -/Intelligence artificielle Système expert - XPENT- LISP - PROLOG. Les systèmes experts, résultats de recherches encore récentes en intelligence artificielle, invissent de plus en plus rapidement le monde scientifique. Alors que les Japonais en ont fait le défi de ces dernières décennies, en lançant l'énorme projet d'ordinateurs de la cinquième génération, ils suscitent partout un intérêt croissant et de très nombreuses réalisations sont déjà opérationnelles aussi bien dans des laboratoires de recherche que dans les entreprises industrielles. Cependant, comme tout phénomène novateur de grande ampleur, à trop en entendre parler on finit par perdre l'essentiel et l'on tombe à son tour dans le travers logomachique. Aussi, pour mieux comprendre ce que constitue un système expert et pour mesurer l'impact des méthodes informatiques qui lui sont associées dans un domaine scientifique, le département Mécanique et Informatique de l'entpe a entrepris la réalisation d'un modèle probatoire de système expert, en appliquant les techniques d'intelligence artificielle, au domaine de la stabilité des pentes. La présentation de ce travail, à la fin de cet article, a pour but d'éclairer l'ingénieur sur les modalités d'un tel mariage informatique/savoir-faire et sur les difficultés qu'il soulève. 41 Bull, liaison Labo P. et Ch janv.-févr Réf. 3096

2 bi QU'EST-CE QU'UN SYSTÈME EXPERT? Un système expert un logiciel (programme informatique) conçu pour simuler le savoir-faire d'un spécialiste dans un domaine précis. Alors que l'informatique traditionnelle se fonde sur un ordinateur qui ne manipule guère que les nombres avec dextérité et qui le fait selon une suite d'ordres bien définis en un déroulement séquentiel fixe, l'intelligence artificielle suppose la mise au point d'un système informatique «raisonneur», capable d'enchaîner des déductions et de construire un raisonnement. De même, l'informatique classique maîtrise parfaitement le traitement de l'information quand celuici aisément formalisable par un algorithme, c'à-dire par une suite déterminée d'instructions indiquant de manière invariable la démarche à suivre pour arriver au résultat espéré. Cependant, quand il s'agit de modéliser le savoir-faire d'un expert, constitué de connaissances pragmatiques, de raisonnements par approximations souvent déclenchés par des événements extérieurs imprévisibles a priori, les programmes traditionnels ne suffisent plus! Il faut donc disposer d'outils informatiques capables de traiter des connaissances incertaines ou incomplètes et dont l'enchaînement n' pas déterminé au départ, mais se fait en formulant des hypothèses et en tenant compte de paramètres qui peuvent apparaître pendant le déroulement même du raisonnement. Un système expert peut donc se concevoir comme une tentative d'avancer dans cette voie. A partir d'un ensemble de connaissances écrites avec un formalisme approprié et selon une structure de mémorisation beaucoup plus souple qu'auparavant, un module dynamique appelé «moteur d'inférences» applique de manière sélective certaines «lois» ou plus couramment des «règles» d'expert en raffinant progressivement le raisonnement par application de plus en plus pertinente des connaissances mises à sa disposition. Une des caractéristiques principales d'un système expert donc qu'il discerne de manière non équivoque la connaissance du raisonnement en base de connaissances et moteur d'inférences, deux parties dont l'indépendance donne au système expert une éventuelle polyvalence, car les mêmes structures de déduction s'appliquent parfois à plusieurs domaines de connaissance. La base de connaissance Elle contient le maximum d'informations sur le domaine d'expertise : celles-ci peuvent être les «règles» de raisonnement, la description des concepts manipulés par le spécialiste ou toute autre donnée exploitable par le système. Le formalisme d'écriture adopté pour constituer une base de connaissances dépend du type de connaissance qu'il souhaitable de stocker, mais avec le souci constant d'être le plus simple possible pour que l'expert, en général non-informaticien, puisse relire et compléter la base. C', comme l'expérience le montre, la partie la plus délicate du travail de conception du système, car c' là que se pose le problème de la variété et de l'hétérogénéité du savoir. Pour franchir un tel obstacle sans perdre trop d'informations, plusieurs types de représentation de la connaissance ont été introduits : les règles de production, les réseaux sémantiques, les frames pu prototypes. Les règles de production Chaque unité élémentaire de connaissance prend la forme d'une règle logique du type : SITUATION - ACTION pour laquelle «action» exécutée si la «situation» du membre gauche correspond, à un instant donné, à l'état du système. Voici, par exemple, ce que cela donne dans un système d'aide à l'utilisation du code de calcul de structures TITUS (Framentec) : Règle 102 (Cette règle s'applique aux structures. Elle essayée afin de déduire l'analyse de modes propres à effectuer.) SI : 1) A : Une analyse des modes propres fait partie des analyses que l'utilisateur désire effectuer, ou B : Un calcul de modes propres doit être effectué, 2) Le nombre de degrés de liberté de la structure supérieur à 300, 3) Le domaine d'étude des modes propres autour de F (fréquence donnée), 4) Le nombre de fréquences propres dans l'intervalle (0, F) supérieur à 30, et 5) Les efforts associés aux modes propres sont calculés, ALORS : Il certain (1,0) que l'analyse des modes propres à effectuer une analyse des modes propres par la méthode de Givens avec réduction de Guyan et calcul des efforts associés. On remarquera qu'un degré de certitude peut être attribué à la conclusion de la règle (ici (1,0) car la déduction certaine), ce qui constitue une tentative de quantification ou de hiérarchisation de la vraisemblance des règles, idée puissante mais difficile à mettre en œuvre efficacement. Les réseaux sémantiques Ce mode de représentation des connaissances naît d'un besoin de classification des concepts en établissant un modèle d'interaction entre eux. 42

3 Exemple provient de réseau sémantique. Roche eruptive 1 Roche volcano-sédimentaire Orthogneiss provient J provient Paragneiss Gneiss I Spilite Roche métamorphique Orthogneiss basique Amphibolite Un réseau sémantique un graphe dont les noeuds représentent des entités, des individus, des relations et dont les arcs orientés sont des instances de relation binaire. Le réseau représente alors l'ensemble des assertions binaires de type : A. -> B. assertion R(A, B). La sémantique d'un nœud du réseau ainsi facilement accessible à travers l'ensemble des objets qui lui sont rattachés et par la nature des liaisons. On retrouvera sur l'exemple suivant les liens causals traduits par des flèches. Le réseau exploré par le système de façon à trouver des faits permettant de faire progresser le raisonnement (dans le cas de Prospector, les faits qui étaient la connaissance géologique du site, ne permettaient pas à l'intuition humaine l'obtention d'un résultat du fait de leur disparité. Le système expert explorant tous les arbres de son réseau a pu rassembler les faits pertinents qui permettaient de déduire l'existence du gisement). Les frames Un «frame» ou prototype une structure de données qui décrit des objets-types (donc typiques : ni communs, ni uniques!). Cette description opposée à l'énumération des caractéristiques strictement partagées par tous les objets d'un groupe permet de ranger les divers éléments de la connaissance de l'expert dans des classes avec la possibilité que des objets se distinguent par certaines propriétés particulières. Un frame a donc une partie fixe commune à une classe et inclut également des données variables caractéristiques (qui sont d'ailleurs parfois procédurales : appel d'un programme, référence à d'autres frames, etc.). Enfin, chaque prototype un tiroir qui contient d'autres prototypes également à tiroirs, d'où la possibilité d'héritage d'informations. Exemple de frame : FRAME VOITURE : (sorte de) moteur puissance fiscale immatriculation propriétaire une marque (domaine : Renault, Peugeot, Citroën, Talbot, Fiat, VW) (défaut : Renault) un moteur un nombre entre 2 et 30 [si besoin : calcul puissance fisc. (moteur)] (si ajout. : vérifier format) une personne [si ajout. : maj. (personne) voiture] Marbre Quartzite Schiste provient une instance du frame pourrait être : VOITURE V01 : marque moteur puissance fiscale immatriculation propriétaire Renault R ABC 75 Duchemin Roche sédimentaire pélitique Ce type de représentation de la connaissance implique généralement des aptitudes particulières du moteur d'inférences, ce qui limite son autonomie et rend l'utilisation des frames assez délicate : ce sont des outils puissants mais très évolués et pratiquement inaccessibles à l'expert, contrairement aux règles de production et aux réseaux sémantiques. Dans certaines applications, sont proposés pour pallier cet inconvénient : un dialogue en langage quasi naturel entre l'expert et la machine pour la constitution de la base de connaissances, un auto-apprentissage du système expert au fur et à mesure du traitement des différents cas qui lui sont proposés. Il existe certainement d'autres manières performantes de représenter les connaissances de l'expert, mais les trois types décrits précédemment permettent de faire un tour d'horizon rapide de ce qui généralement employé et résument assez bien les différentes notions à appréhender pour aborder la réalisation d'une base de connaissances. Examinons maintenant l'emploi qui fait de ces connaissances formalisées et rangées le plus judicieusement possible. Le moteur d'inférences Il s'agit de la partie «programmée» du système. C' un module qui utilise les connaissances de la base dans un but qui lui précisé. Son rôle de faire des inférences : passer d'une proposition vraie à une autre jugée telle en raison de son lien avec la première, ce lien apparaissant dans la règle appliquée, par héritage dans les relations du réseau sémantique, etc. Placé devant les données initiales du cas à traiter, le moteur choisit les connaissances à appliquer pour progresser, cette recherche se faisant de manière non exhaustive, C' ainsi que, contrairement aux 43

4 programmes envisageant combinatoirement tous les cas possibles, celui-ci utilise des processus de décision qui lui permettent d'envisager un cas plutôt qu'un autre ; des règles sur l'emploi des règles ou des techniques de création de contextes, de hiérarchisation des connaissances guident le «raisonnement». Enfin, si l'un des objectifs d'éviter «l'explosion combinatoire», il s'inscrit dans la volonté plus générale d'atteindre le temps de résolution le plus court possible, ce qui semble une priorité en cas de systèmes présentant un haut degré d'interactivité (ou nécessitant une réponse en temps réel). Par rapport à l'algorithmique classique, les avantages peuvent se résumer ainsi : capacité à manipuler des connaissances symboliques, capacité à exploiter un ensemble de connaissances modulaires, celles-ci étant souvent données en vrac et pouvant être modifiées et enrichies sans perturber l'environnement, indépendance du mécanisme de résolution et de la connaissance, qui peut être interchangeable, qualité des interfaces homme/machine : tout système expert qui se respecte capable d'expliquer son raisonnement en en retraçant les étapes à l'utilisateur. L'environnement informatique Pour réaliser des systèmes puissants manipulant des informations symboliques et offrant des interfaces le plus souvent tournées vers le langage naturel, il faut des langages de programmation et des outils de génie logiciel de plus en plus performants. Il faut donc disposer de langages facilitant la manipulation symbolique et cela de manière ultrarapide. Les plus développés sont actuellement Lisp et Prolog : Lisp le plus ancien des langages d'intelligence artificielle (il date de l'époque de la création de Fortran). Si les principes de base de ce langage sont parfaitement définis, il n'en pas de même de ses termes, d'où une prolifération de dialectes généralement incompatibles. C' un langage de manipulation de listes et d'arbres très efficace ; Prolog, beaucoup plus jeune, se réfère plus directement à la notion de système expert puisqu'il contient son propre mécanisme de résolution et son propre formalisme de représentation des connaissances. Il n' pas possible d'aborder plus en détail ces deux langages dans le cadre de cet article, car leur richesse nécessiterait beaucoup plus qu'un article, sans parler d'autres langages (Smalltalk et les langages orientés objets, etc). En matière d'aide à la conception de sytèmes experts, existe déjà toute une panoplie d'outils de développement nés de la standardisation de moteurs de systèmes experts célèbres (comme Emycin, qui un environnement de construction de système expert tiré du premier système expert performant en médecine) ou de l'évolution de certains langages (par exemple, en France le Lisp de 1TNRIA s' doté d'outils de développement tels que Ceyx ou Lecool et, aux États-Unis, l'interlisp s' adjoint Loops, et Xérox propose depuis plusieurs années des «machines Lisp» qui intègrent plusieurs outils de programmation «intelligente» dans un environnement de Lisp microcode). SYSTÈMES EXPERTS ET GÉNIE CIVIL Le génie civil un des domaines d'application par excellence des systèmes experts dans la mesure où dans la majorité des spécialités qu'il recouvre, les connaissances rent assez pragmatiques et morcelées et que la notion de savoir-faire de l'expert en structures, en mécanique des sols ou en infrastructures des transports y prend tout son sens. Applications existantes Prospector Ce système certainement le plus célèbre des systèmes experts en génie civil : c' l'un des premiers de l'histoire de l'intelligence artificielle et le premier à avoir été rentable (après avoir découvert une importante mine de molybdène). Il s'agit essentiellement d'un système de diagnostic, rassemblant des indices pour tirer des conclusions sur la présence ou non d'un certain nombre de minerais dans le sous-sol. La structure interne de représentation des connaissances fondée sur un réseau sémantique contenant les relations entre les types de roches, les formes géologiques et d'autres concepts du domaine et sur un ensemble de règles de productions qui sont compilées sous forme de graphe. Sacon et Titus Sacon et Titus ont par beaucoup d'aspects une très forte ressemblance. Tous deux ont pour but d'aider les utilisateurs d'un code de calcul de structures (Titus et Marc) dans la mise en forme des données de leur problème. Le système fournit un plan de travail constitué de la séquence optimisée des commandes principales. Ils ont été réalisés à partir de KS 300, outil de développement travaillant avec des règles de production en chaînage arrière '"et possédant un environnement de programmation considérable. (1) Chaînage arrière: en utilisant les règles «à l'envers», le moteur vérifie que des résultats conjecturés se déduisent bien des faits initiaux. 44

5 Cessol Cessol un système dont l'objectif de planifier des campagnes de reconnaissances géotechniques pour la construction de bâtiments. C' un système fonctionnant en chaînage avant <3) à saturation <4>, sur des règles de production dont les faits ont la forme : (prédicat objet attribut valeur) Applications potentielles Les applications potentielles sont considérables. Elles peuvent se regrouper en quatre domaines : interprétation (des observations sur les structures mécaniques, des données d'essais géotechniques, des statistiques dans le domaine des transports, par exemple, etc.), diagnostic (en stabilité des pentes, en bâtiment, etc.), planification (projets de toutes sortes pouvant faire appel entre autres aux systèmes experts), conception (le système expert alors un outil d'aide à la conception : en énergétique du bâtiment, en architecture, etc.). Le champ d'application en génie civil largement ouvert. N'oublions pas non plus que si les systèmes experts ne peuvent se substituer à un programme de calcul classique, ils peuvent, en revanche, en contrôler le déroulement (cf. Développement envisagé). Choix du moteur d'inférences Désirant réaliser un système facilement extensible, notre critère de choix a été, tout au long de sa réalisation, celui de la plus grande généralité. Le formalisme d'écriture celui de la logique prédicative des clauses de Horn, c'-à-dire un formalisme proche de celui de Prolog. 11 consiste à écrire des règles de production à une seule conclusion, mais à l'envers : conclusion <- prémisse 1, prémisse 2, prémisse n avec «conclusion» et «prémisse i» ayant la forme : prédicat (terme 1, terme 2,..., terme m) dans laquelle «prédicat» ne peut prendre que les valeurs «vrai» ou «faux». On comprend alors comment fonctionne le mécanisme de résolution : si l'on veut prouver une conclusion i, il suffit de prouver que chacune des prémisses de la règle contenant cette conclusion vraie. Si au moins l'une d'entre elles fausse, la conclusion ne pourra être prouvée. Pour qu'une clause (nom donné à ce genre de règle) soit toujours vraie, il suffit qu'elle n'ait aucune prémisse : conclusion UN MODÈLE PROBATOIRE : XPENT Choix du sujet L'ENTPE, dès la création de la voie d'approfondissement «Informatique» (en troisième année), a mis en place un enseignement en intelligence artificielle qui à l'origine d'un certain nombre de projets, dont XPENT, qui aborde un domaine dans lequel l'école travaille depuis de nombreuses années. Les études ainsi conduites l'étaient toutefois dans le domaine classique des calculs de type algorithmique (méthode de calcul à la rupture et éléments finis). Connaissant bien l'approche classique du problème de stabilité des pentes, il apparu judicieux d'introduire les nouveaux outils d'intelligence artificielle pour développer ces études. Le sujet bien délimité et les contacts avec d'autres universités permettront de mieux le cerner encore, à travers le savoir-faire d'autres experts. (2) Système développé à l'université de Chambéry sous la direction du professeur Laurent. (3) Chaînage avant : le moteur part des faits établis (données du problème) et aboutit à une conclusion en appliquant les règles «à l'endroit». (4) Chaînage avant à saturation : quand le système déduit exhaustivement tout ce qu'il possible de déduire (dans ce cas, on n'échappe pas à l'explosion combinatoire). Le choix de ce formalisme réside dans le fait qu'il facile de représenter les règles de production (avec plusieurs conclusions), les réseaux sémantiques et les frames par cette approche. Par ailleurs, le système de résolution totalement non déterministe, car si plusieurs manières de prouver une conclusion existent, elles seront toutes explorées. Cela implique que le contrôle du mécanisme de résolution ramené au niveau des clauses ellesmêmes par des règles sur les règles (métarègles). Il était en effet important, pour respecter notre critère de choix, de ne pas imposer un mécanisme de contrôle figé car l'on sait bien, en matière de stabilité des pentes, que les chemins qui mènent à une solution sont nombreux! État du prototype en janvier 1986 Une première ébauche du système opérationnelle. C' un système avec compilation des clauses, utilisant une méthode de propagation des contraintes : compilation : le système crée un réseau dans lequel s'établissent les liens permettant la démonstration de chacune des règles ; propagation des contraintes : pour maintenir la cohérence de ce réseau au fur et à mesure qu'évolue la base de clauses. 45

6 É Le but du système expert de trouver des solutions confortatives après un glissement de terrain, grâce au dialogue entre système expert et utilisateur. A l'heure actuelle, seule la partie «remblais» a été réalisée. Elle représente un volume d'une quarantaine de règles de mécanique des sols, soit une centaine de clauses. Ce prototype de base de connaissances, certainement très incomplet et rapidement réalisé, a déjà permis de ter le système et de laisser supposer un développement prometteur. Voici un exemple du début d'une session de travail avec le système : (mini-base expérimentale développée en 1985). *** BASE DE CONNAISSANCE EXPÉRIMEN TALE EN STABILITÉ DES PENTES *** ** Je traite certains cas simples et vous donne les premiers éléments d'une solution de confortation. ** Traitons votre cas : ** Le problème vient-il d'un remblai? ** Quelle la nature du sol? >, mou ** C'-à-dire cohérent, peu consolidé? ** Quelle la nature du remblai? > frottant ** Est-ce que la rupture observée superficielle? > non ** Est-elle profonde (pied du glissement éloigné du pied du talus)? ** Est-elle à long terme? *** JE PRÉCONISE UNE DIMINUTION DE LA HAUTEUR DU REMBLAI. *** VOUS POUVEZ CONSOLIDER LE SOL (DRAINAGE, COLONNES BALLASTÉES). ** Comment la cohésion varie-t-elle avec la profondeur (diminution, augmentation, rapide/lente...) > augmentation lente Développement envisagé L'intérêt principal, et d'ailleurs la difficulté, de la réalisation d'un système expert réside dans l'écriture de la base de connaissances. Pour comprendre la vraie nature et le pourquoi de la démarche spécifique de l'expert, une idée retenue celle de la confrontation entre les pratiques de différents experts. L'ENTPE se propose de bâtir une partie de la base de données avec des experts canadiens de l'université Laval de Québec, dans le cadre d'une convention liant les deux établissements. Des spécialistes de deux pays, différents de par leur culture scientifique et de par la nature géologique de leurs sols, devraient, espérons-le, trouver les règles communes de leur démarche, qui constitueraient ainsi des outils de référence pour le système expert. D'autres axes de développement sont envisagés, comme l'introduction de variables dans le moteur, ainsi que l'interfaçage des autres programmes de calcul (programmes d'hydraulique en éléments finis, programmes de stabilité tels que Nixes et Trolls) car, comme dans d'autres processus classiques, il faut être capable de quantifier la sécurité à un certain stade du diagnostic qualitatif. Le travail envisagé donc très important et nécessite la collaboration de plusieurs experts de domaines parfois distincts. Réflexions sur la construction de la base de connaissances La réalisation rapide d'un premier prototype de base de connaissances nous a permis de mettre en évidence que : les spécialistes sont toujours déroutés, au premier abord, par la logique formelle, qui demande quelques heures de maniement pour être acquise. La présence de l'informaticien de toute façon nécessaire pour contrôler la formulation de chaque règle ; la recherche de règles a démontré finalement que celles obtenues sont difficilement inversibles lors d'une première écriture. Si l'on établit : A déduit de..., l'écrire sous la forme : A n' pas déduit par..., loin d'être évident. Cet exercice s' avéré très utile, car il permet de bien vérifier la pensée de l'expert, qui finit par se piquer au jeu. Enfin, le travail de réflexion sur l'élaboration de règles met en évidence les démarches parfois peu sûres de l'expert et montre ainsi que ce qui s'enseigne difficilement en matière de mécanique des sols ne s'apprend pas plus facilement par le système informatique. Par contre, quand celui-ci sera capable de retrouver, à la demande, les mécanismes cachés du raisonnement d'expert et de les décomposer à l'écran, il deviendra un excellent outil de formation qui a sa place toute faite dans un établissement tel que l'entpe ; l'établissement des métarègles délicat car leur nécessité n'apparaît que lorsque les solutions sont trop peu précises en général. Il s'agit de découvrir les liens entre les règles et de les traduire en règles! Pour l'expert, la difficulté alors de traduire en langage formel plus son expérience que son savoir : pourquoi dans tel cas n'a-t-il pas tenu compte de tel paramètre? C' le point le plus difficile de la réalisation de la base de connaissances. Il demandera beaucoup de travail commun, mais sera très enrichissant. 46

7 CONCLUSION Peut-être plus en intelligence artificielle que dans d'autres domaines, l'expérience de codage du savoir une initiation nécessaire à l'évaluation du travail et des difficultés qui surgiront. Faire un système expert une œuvre de longue haleine également, car les choix initiaux d'architecture du système déterminent toute l'évolution à venir de celui-ci. Toute modification n' pas sans risque ; malgré la modularité du système. Enfin, l'intelligence artificielle n'interfère pas avec les connaissances théoriques générales : chaque cas d'application conduit à de nouveaux modèles. Il donc important de suivre l'évolution parallèle d'autres projets, tels que celui de 1TNRIA par exemple : SMECI (Système Multi Expert en Conception et Ingénierie). L'Ecole nationale des Travaux publics de l'etat continuera la réalisation de son modèle probatoire XPENT en collaboration avec de nombreux spécialistes pour essayer de donner à la notion de système expert son sens vrai : la collation d'un grand nombre d'expériences. La mécanique des sols s'en trouvera certainement enrichie, mais que de discussions en perspective! RÉFÉRENCES BIBLIOGRAPHIQUES AYEL, LAURENT, SOUTIF (1984), un système expert pour définir des campagnes de reconnaissances géotechniques, Congrès reconnaissance des formes et LA., AFCRT- ADI-INRIA, Paris. BENETT, EGELMORE (1979), Sacon : A knowledge based consultant for structural analysis, In IJCAI 6, p BRACHMAN, LEVESQUE (1985), Readings in knowledge representation, Morgan-Kaufmann, California. BUCHANAN, SHORTLIFFE (1984), Rule based expert systems, The mycin experiment of the standford heuristics programming project, Addison-Wesley. CAYEUX (1985), Systèmes experts et génie civil, ENTPE, Vaulx-en-Velin. DUDA, HART, BARETT, GASCHING, KONOLIGE, REBOH, SLOCUM (1978), Development of the prospector consultation system for mineral exploration, Final report, SRI projects 5821 and Artificial intelligence, SRI international, Menlo Park, California. FIESCHI (1984), Intelligence artificielle en médecine, Masson. GOODALL (1985), The guide to expert systems, Learned information, Oxford and New Jersey. HAYES-ROTH, WATERMAN, LENAT (1983), Building expert systems, Reading, Mass : Addison-Wesley. LENAT (nov. 1984), Les logiciels et l'intelligence Pour la science, p artificielle, NILSSON (1980), Principles of artificial intelligence, Tioga publishing company, Palo Alto. WATERMAN, HAYES-ROTH (1978), Pattern directed inference systems, Academic press, New York. WINSTON (1984), Artificial intelligence, 2" edition : Addison- Wesley, Reading. 47

Diagnostic et décision

Diagnostic et décision Diagnostic et décision Bibliographie J. N. Chatain, DIagnostic par Système Expert, Traité des Nouvelles Technologies, série Diagnostic et Maintenance, édition Hermes 1993. B. Dubuisson, Diagnostic, intelligence

Plus en détail

PROGRAMMER EN LOGIQUE AU CYCLE MOYEN

PROGRAMMER EN LOGIQUE AU CYCLE MOYEN 57 I) QUELQUES DÉFINITIONS On peut légitimement être surpris lorsque sont associées la logique et son moue spécifique de programmation d'une part, et l'école primaire d'autre part, plus familière de tortue

Plus en détail

P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S

P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S POUR L ENSEIGNEMENT DE L INFORMATIQUE MPSI première année I. Objectifs de la formation II-1 Développement de compétences et d aptitudes

Plus en détail

PROBLEMES METHODOLOGIQUES POSES PAR UNE DEMARCHE DE TYPE SYSTEME-EXPERT EN GEOGRAPHIE

PROBLEMES METHODOLOGIQUES POSES PAR UNE DEMARCHE DE TYPE SYSTEME-EXPERT EN GEOGRAPHIE PROBLEMES METHODOLOGIQUES POSES PAR UNE DEMARCHE DE TYPE SYSTEME-EXPERT EN GEOGRAPHIE DUBUS Nathalie Institut de Géographie Alpine Université Joseph Fourier 17, rue Maurice Gignoux 38031 Grenoble cedex

Plus en détail

Évaluation et implémentation des langages

Évaluation et implémentation des langages Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation

Plus en détail

Intelligence Artificielle et Systèmes Multi-Agents. Badr Benmammar bbm@badr-benmammar.com

Intelligence Artificielle et Systèmes Multi-Agents. Badr Benmammar bbm@badr-benmammar.com Intelligence Artificielle et Systèmes Multi-Agents Badr Benmammar bbm@badr-benmammar.com Plan La première partie : L intelligence artificielle (IA) Définition de l intelligence artificielle (IA) Domaines

Plus en détail

LA TRADUCTION AUTOMATIQUE

LA TRADUCTION AUTOMATIQUE 165 La "Traduction Automatique" s'inscrit dans un ensemble de recherches menées depuis le début des années 1950 - recherches que l'on a coutume de regrouper sous l'appellation de "traitement automatique

Plus en détail

Intelligence Artificielle. Dorra BEN AYED

Intelligence Artificielle. Dorra BEN AYED Intelligence Artificielle Dorra BEN AYED Chapitre 1 Introduction et Présentation Générale Sommaire Introduction Historique Définitions de l IAl Domaines d applicationd Les approches de l IA cognitive,

Plus en détail

L'INFORMATIQUE DANS LES ÉCOLES ET LES COLLÈGES

L'INFORMATIQUE DANS LES ÉCOLES ET LES COLLÈGES 17 L'INFORMATIQUE DANS LES ÉCOLES ET LES COLLÈGES Quelle est la place de l'informatique dans les trois livres de poche publiés récemment par le Ministère de l'éducation nationale et le CNDP? ÉCOLE ÉLÉMENTAIRE

Plus en détail

L'intelligence artificielle

L'intelligence artificielle Texte de la 263 e conférence de l'université de tous les savoirs donnée le 19 septembre 2000. L'intelligence artificielle par JEAN-PAUL HATON Dès le début de l intelligence artificielle (IA) dans les années

Plus en détail

Chapitre 1 : Introduction aux bases de données

Chapitre 1 : Introduction aux bases de données Chapitre 1 : Introduction aux bases de données Les Bases de Données occupent aujourd'hui une place de plus en plus importante dans les systèmes informatiques. Les Systèmes de Gestion de Bases de Données

Plus en détail

QUELQUES CONCEPTS INTRODUCTIFS

QUELQUES CONCEPTS INTRODUCTIFS ESIEE Unité d'informatique IN101 Albin Morelle (et Denis Bureau) QUELQUES CONCEPTS INTRODUCTIFS 1- ARCHITECTURE ET FONCTIONNEMENT D UN ORDINATEUR Processeur Mémoire centrale Clavier Unité d échange BUS

Plus en détail

Résumé du document «Programmes des classes préparatoires aux Grandes Écoles ; Discipline : Informatique ; Première et seconde années - 2013»

Résumé du document «Programmes des classes préparatoires aux Grandes Écoles ; Discipline : Informatique ; Première et seconde années - 2013» Résumé du document «Programmes des classes préparatoires aux Grandes Écoles ; Discipline : Informatique ; Première et seconde années - 2013» I Objectifs Niveau fondamental : «on se fixe pour objectif la

Plus en détail

Analyse et modélisation de tâches

Analyse et modélisation de tâches Analyse et modélisation de tâches 1. Introduction La conception de logiciel interactif (ou conception d'interface homme-machine [IHM], ou conception d'interface) est l'activité qui vise à définir le fonctionnement

Plus en détail

Guillaume SOLDERA (B guillaume.soldera@serli.fr) SERLI Informatique Bull OW2 Consortium. Comparatif Choco/Drools dans le cadre du projet JASMINe

Guillaume SOLDERA (B guillaume.soldera@serli.fr) SERLI Informatique Bull OW2 Consortium. Comparatif Choco/Drools dans le cadre du projet JASMINe Guillaume SOLDERA (B guillaume.soldera@serli.fr) SERLI Informatique Bull OW2 Consortium dans le cadre du projet JASMINe Avril 2008 Table des matières 1 Introduction 3 1.1 Rappel sur JASMINe.......................................

Plus en détail

LOGICIELS D'AIDE À L'ÉCRITURE DE CONTES APPROCHE DIDACTIQUE

LOGICIELS D'AIDE À L'ÉCRITURE DE CONTES APPROCHE DIDACTIQUE 133 LES : APPROCHE DIDACTIQUE Face aux divers logiciels d'enseignement, on se trouve actuellement face à une difficulté qui s'explique par l'évolution des logiciels. Les premiers didacticiels, mimant en

Plus en détail

Introduction à la programmation orientée objet

Introduction à la programmation orientée objet 1. De la programmation par Goto à la programmation structurée Introduction à la programmation orientée objet 1.1. Branchement par Goto * Un simple test sur les valeurs des données: * Plus l'application

Plus en détail

INTRODUCTION AUX PROBLEMES COMBINATOIRES "DIFFICILES" : LE PROBLEME DU VOYAGEUR DE COMMERCE ET LE PROBLEME DE COLORATION D'UN GRAPHE

INTRODUCTION AUX PROBLEMES COMBINATOIRES DIFFICILES : LE PROBLEME DU VOYAGEUR DE COMMERCE ET LE PROBLEME DE COLORATION D'UN GRAPHE Leçon 10 INTRODUCTION AUX PROBLEMES COMBINATOIRES "DIFFICILES" : LE PROBLEME DU VOYAGEUR DE COMMERCE ET LE PROBLEME DE COLORATION D'UN GRAPHE Dans cette leçon, nous présentons deux problèmes très célèbres,

Plus en détail

Le génie logiciel. maintenance de logiciels.

Le génie logiciel. maintenance de logiciels. Le génie logiciel Définition de l IEEE (IEEE 1990): L application d une approche systématique, disciplinée et quantifiable pour le développement, l opération et la maintenance de logiciels. Introduction

Plus en détail

Annexe : La Programmation Informatique

Annexe : La Programmation Informatique GLOSSAIRE Table des matières La Programmation...2 Les langages de programmation...2 Java...2 La programmation orientée objet...2 Classe et Objet...3 API et Bibliothèque Logicielle...3 Environnement de

Plus en détail

est diagonale si tous ses coefficients en dehors de la diagonale sont nuls.

est diagonale si tous ses coefficients en dehors de la diagonale sont nuls. Diagonalisation des matrices http://www.math-info.univ-paris5.fr/~ycart/mc2/node2.html Sous-sections Matrices diagonales Valeurs propres et vecteurs propres Polynôme caractéristique Exemples Illustration

Plus en détail

Principes de fonctionnement des moteurs d inférences. Le Moteur d Inférences (MI)

Principes de fonctionnement des moteurs d inférences. Le Moteur d Inférences (MI) Principes de fonctionnement des moteurs d inférences 1 Le Moteur d Inférences (MI) BCD Si A et B -> D Si A et non D -> non C BCP Moteur d Inférences A vrai C faux B? D? Le MI décide, en fonction de la

Plus en détail

1. INFORMATIQUE DANS LES DISCIPLINES, INFORMATIQUE DISCIPLINE

1. INFORMATIQUE DANS LES DISCIPLINES, INFORMATIQUE DISCIPLINE 29 UN PLAN DE FORMATION À L'INFORMATIQUE DE TOUS LES ÉLÈVES, DE L'ÉCOLE PRIMAIRE AU LYCÉE Note n 8 du groupe technique disciplinaire informatique - décembre 1991 - (principaux extraits) 1. INFORMATIQUE

Plus en détail

Systèmes d'informations Géographiques - Graphes

Systèmes d'informations Géographiques - Graphes Systèmes d'informations Géographiques - Graphes Institut National des Sciences Appliquées - Rouen Département Architecture des Systèmes d'information michel.mainguenaud@insa-rouen.fr Graphe et Spatialisation!

Plus en détail

Programme de la licence informatique, université de Caen http://www.info.unicaen.fr

Programme de la licence informatique, université de Caen http://www.info.unicaen.fr Programme de la licence informatique, université de Caen http://www.info.unicaen.fr Unité Systèmes d'information CM : 45h - TD : 60h - TP : 12h - Coeff 2 Systèmes de Gestion de Bases de Données Modéliser

Plus en détail

Application industrielle de la Méthode formelle B

Application industrielle de la Méthode formelle B Application industrielle de la Méthode formelle B Guilhem Pouzancre Thierry Servat C novembre l e a r S 2005 y Contact@Clearsy.com EUROPARC de Pichaury Bâtiment C1 1330, av. Guillibert de la Lauzière 13

Plus en détail

L INFORMATION GEOGRAPHIQUE

L INFORMATION GEOGRAPHIQUE Champs sur Marne ENSG/CERSIG Le 19-nove.-02 L INFORMATION GEOGRAPHIQUE Archivage Le Système d information géographique rassemble de l information afin de permettre son utilisation dans des applications

Plus en détail

LE PROBLEME DU FLOT MAXIMAL

LE PROBLEME DU FLOT MAXIMAL LE PROBLEME DU FLOT MAXIMAL I Exemple d introduction Deux châteaux d'eau alimentent 3 villes à travers un réseau de canalisations au sein duquel se trouvent également des stations de pompage. Les châteaux

Plus en détail

GIND5439 Systèmes Intelligents. Chapitre 2: Systèmes à base de règles

GIND5439 Systèmes Intelligents. Chapitre 2: Systèmes à base de règles GIND5439 Systèmes Intelligents Chapitre 2: Systèmes à base de règles Contenu du chapitre Définition de connaissances Représentation des connaissances Les règles Chaînage avant et arrière Résolution de

Plus en détail

Systèmes experts. MASTER 1 /IUP 3 Informatique. ISTV Université de Valenciennes et du Hainaut-Cambrésis E. ADAM

Systèmes experts. MASTER 1 /IUP 3 Informatique. ISTV Université de Valenciennes et du Hainaut-Cambrésis E. ADAM Systèmes experts MASTER 1 /IUP 3 Informatique ISTV Université de Valenciennes et du Hainaut-Cambrésis E. ADAM Introduction Premiers Systèmes Experts fin 1970 But du SE = reproduire le comportement d'un

Plus en détail

Manuel d utilisation 26 juin 2011. 1 Tâche à effectuer : écrire un algorithme 2

Manuel d utilisation 26 juin 2011. 1 Tâche à effectuer : écrire un algorithme 2 éducalgo Manuel d utilisation 26 juin 2011 Table des matières 1 Tâche à effectuer : écrire un algorithme 2 2 Comment écrire un algorithme? 3 2.1 Avec quoi écrit-on? Avec les boutons d écriture........

Plus en détail

Architecture d'entreprise : Guide Pratique de l'architecture Logique

Architecture d'entreprise : Guide Pratique de l'architecture Logique Guides Pratiques Objecteering Architecture d'entreprise : Guide Pratique de l'architecture Logique Auteur : Version : 1.0 Copyright : Softeam Equipe Conseil Softeam Supervisée par Philippe Desfray Softeam

Plus en détail

Systèmes experts. Intelligence Artificielle NFP106 Année 2012-2013. Systèmes Experts. Principes actuels de construction. Schéma d'un système expert

Systèmes experts. Intelligence Artificielle NFP106 Année 2012-2013. Systèmes Experts. Principes actuels de construction. Schéma d'un système expert Intelligence Artificielle NFP106 Année 2012-2013 Systèmes experts F.-Y. VILLEMIN CNAM-CEDRIC http://deptinfo.cnam.fr Systèmes Experts "Un système expert est un programme conçu pour simuler le comportement

Plus en détail

Conception et Développement Orientés Objets Cours 1 : Introduction. 2 Les paradigmes de programmation. 3 Les concepts de la programmation objet

Conception et Développement Orientés Objets Cours 1 : Introduction. 2 Les paradigmes de programmation. 3 Les concepts de la programmation objet CNAM UV 19357 Année 2003-2004 David Delahaye David.Delahaye@cnam.fr Conception et Développement Orientés Objets Cours 1 : Introduction 1 Présentation de la valeur Ce cours s adresse à toute personne ayant

Plus en détail

Environnement de programmation

Environnement de programmation Environnement de programmation 1.La programmation Les ordinateurs sont stupides! à un point dont on n'a pas idée. Ils ne réagissent ni ne répondent qu'à des situations ou à des données anticipées par le

Plus en détail

Jade. Projet Intelligence Artificielle «Devine à quoi je pense»

Jade. Projet Intelligence Artificielle «Devine à quoi je pense» Jade Projet Intelligence Artificielle «Devine à quoi je pense» Réalisé par Djénéba Djikiné, Alexandre Bernard et Julien Lafont EPSI CSII2-2011 TABLE DES MATIÈRES 1. Analyse du besoin a. Cahier des charges

Plus en détail

Analyse abstraite de missions sous PILOT

Analyse abstraite de missions sous PILOT Analyse abstraite de missions sous PILOT Damien Massé EA 3883, Université de Bretagne Occidentale, Brest damien.masse@univ-brest.fr Résumé Nous étudions la possibilité de réaliser un analyseur par interprétation

Plus en détail

Modélisation et conception d'un. environnement de suivi pédagogique synchrone. d'activités d'apprentissage à distance

Modélisation et conception d'un. environnement de suivi pédagogique synchrone. d'activités d'apprentissage à distance Modélisation et conception d'un environnement de suivi pédagogique synchrone d'activités d'apprentissage à distance Christophe DESPRÉS Laboratoire d Informatique de l'université du Maine Plan de la présentation

Plus en détail

Bulletin officiel spécial n 9 du 15 octobre 2009. Annexe II c Définition des épreuves

Bulletin officiel spécial n 9 du 15 octobre 2009. Annexe II c Définition des épreuves Annexe II c Définition des épreuves Épreuve EP.1 : Épreuve d étude d un projet de construction Unité UP 1 Coefficient : 4 1 - Contenu de l épreuve Cette épreuve recouvre tout ou partie des compétences

Plus en détail

Raisonner le Web Sémantique avec des graphes : Application à un cas industriel

Raisonner le Web Sémantique avec des graphes : Application à un cas industriel Raisonner le Web Sémantique avec des graphes : Application à un cas industriel Olivier Carloni LIRMM, Université de Montpellier II, 161, rue Ada, F-34392 Montpellier cedex - France carloni@lirmm.fr Mondeca,

Plus en détail

REPRÉSENTATION DES NOMBRES EN MACHINE

REPRÉSENTATION DES NOMBRES EN MACHINE Info 2 REPRÉSENTATION DES NOMBRES EN MACHINE Problématique Dans la mémoire d'un ordinateur, les données sont représentées sous forme de séquences de 0 et de 1. Par conséquent, toute information mémorisée

Plus en détail

IVRG Image and Visual Representation Group

IVRG Image and Visual Representation Group IVRG Image and Visual Representation Group Projet en Digital Photography Responsable : Patrick Vandewalle Sylvain PASINI Bertrand GRANDGEORGE le 2 juin 2003 Table des matières Table des matières 2 1. Introduction

Plus en détail

Les patrons de conception décrivent des solutions standards pour répondre à des problèmes d'architecture et de conception des logiciels.

Les patrons de conception décrivent des solutions standards pour répondre à des problèmes d'architecture et de conception des logiciels. Design Pattern En génie Logiciel, un patron de conception (design pattern en anglais) est un concept destiné à résoudre les problèmes récurrents suivant le paradigme objet. En français on utilise aussi

Plus en détail

Typologie du logiciel. Typologie du logiciel. Ordinateur? ORDINATEUR. Computer = Hardware + Software. Ordinateur = Matériel + Logiciel

Typologie du logiciel. Typologie du logiciel. Ordinateur? ORDINATEUR. Computer = Hardware + Software. Ordinateur = Matériel + Logiciel Architecture Logicielle des Systèmes d Information (ALSI) Ordinateur? ORDINATEUR MATERIEL Computer = Hardware + Software Septembre 2010 Sources: GJL, Wikipédia,, Internet Ordinateur = Matériel + Logiciel

Plus en détail

LA PROCEDURE D'EVALUATION A.NA.PSY.p.e. EST LE RESULTAT D'UNE RECHERCHE

LA PROCEDURE D'EVALUATION A.NA.PSY.p.e. EST LE RESULTAT D'UNE RECHERCHE LA PROCEDURE D'EVALUATION A.NA.PSY.p.e. EST LE RESULTAT D'UNE RECHERCHE CETTE RECHERCHE A ETE FINANCEE PAR Le Ministère des Affaires Sociales et de l'emploi, Direction Générale de la Santé,Sous- Direction

Plus en détail

Fractions et décimaux

Fractions et décimaux Fractions et décimaux Scénario : le pliage des bandes de papier Cette fiche n est pas un programme pédagogique. Elle a pour but de faire apercevoir la portée de l approche «pliage de bandes» et les conséquences

Plus en détail

BASES DU RAISONNEMENT

BASES DU RAISONNEMENT BASES DU RAISONNEMENT P. Pansu 10 septembre 2006 Rappel du programme officiel Logique, différents types de raisonnement. Ensembles, éléments. Fonctions et applications. Produit, puissances. Union, intersection,

Plus en détail

G R E C A U Rapport sur le mémoire de thèse de doctorat ENSA de Toulouse, INSA, école doctorale MEGeP, Spécialité Génie Civil, En co-tutelle avec l'université de Laval, Québec, Canada présenté par Catherine

Plus en détail

LA DEMARCHE DE PROJET

LA DEMARCHE DE PROJET LA DEMARCHE DE PROJET Baccalauréat STI2D-SIN SIN 1.1 : La démarche de projet Objectifs o Utiliser les outils adaptés pour planifier un projet (Revue de projet, Cartes mentales, Gantt, chemin critique...

Plus en détail

1.2 Unité responsable Département d informatique, Faculté des sciences

1.2 Unité responsable Département d informatique, Faculté des sciences 1. Identification du programme 1.1 Titre du programme Maîtrise ès sciences (informatique) 1.2 Unité responsable Département d informatique, Faculté des sciences 1.3 Diplôme accordé M. Sc. (Informatique)

Plus en détail

Algorithme Algorigramme page 1/10 Algorithmique Algorigramme

Algorithme Algorigramme page 1/10 Algorithmique Algorigramme Algorithme Algorigramme page 1/10 Algorithmique Algorigramme Centre d'interêt : Analyser les constituants d'un système réel d'un point de vue structurel et comportemental Objectifs A la fin de la séquence,

Plus en détail

Un programme d'intelligence artificielle en LOGO LE PROBLÈME DES HUIT REINES

Un programme d'intelligence artificielle en LOGO LE PROBLÈME DES HUIT REINES 198 Un programme d'intelligence artificielle en LOGO LE PROBLÈME DES HUIT REINES 1. PRÉSENTATION Certains avantages du LOGO sont bien connus: la grande facilité d'accès que procure sa TORTUE en fait un

Plus en détail

Utilisation des courbes de Bézier en Infographie : Les police True Type et le Morphing.

Utilisation des courbes de Bézier en Infographie : Les police True Type et le Morphing. Utilisation des courbes de Bézier en Infographie : Les police True Type et le Morphing. Historique Les courbes et surfaces de Bézier datent de 1960. Elles sont actuellement utilisées dans de très nombreuses

Plus en détail

Identifier les entités présentes

Identifier les entités présentes Merise Analyser un Système d Information déroute parfois le non-initié, car traduire un environnement de travail en symboles cabalistiques n est pas très habituel pour qui ne connaît pas. Pourtant, avec

Plus en détail

SIMULATION D'OBJETS TECHNIQUES. de la programmation PROCÉDURALE à la programmation DÉCLARATIVE

SIMULATION D'OBJETS TECHNIQUES. de la programmation PROCÉDURALE à la programmation DÉCLARATIVE 204 : de la programmation PROCÉDURALE à la programmation DÉCLARATIVE Christian ORANGE, Jacky COURTAIS Un des principaux intérêts pédagogiques de Logo est qu'il permet la définition de procédures qui peuvent

Plus en détail

Positionnement de UP

Positionnement de UP UNIFIED PROCESS Positionnement de UP Unified Process Langage Méthode Outil logiciel UML UP RUP 6 BONNES PRATIQUES développement itératif gestion des exigences architecture basée sur des composants modélisation

Plus en détail

O RMATION. Ingénierie Système Management de Projet Évaluation de la Maturité

O RMATION. Ingénierie Système Management de Projet Évaluation de la Maturité PLANS F de O RMATION Ingénierie Système Management de Projet Évaluation de la Maturité O R G A N I S A T I O N ACTEURS CONCERNÉS Les concepteurs de systèmes doivent détecter, analyser les besoins des utilisateurs,

Plus en détail

0- Le langage C++ 1- Du langage C au langage C++ 2- Quelques éléments sur le langage. 3- Organisation du cours

0- Le langage C++ 1- Du langage C au langage C++ 2- Quelques éléments sur le langage. 3- Organisation du cours 0- Le langage C++ 1- Du langage C au langage C++ 2- Quelques éléments sur le langage 3- Organisation du cours Le présent cours constitue une introduction pour situer le langage C++, beaucoup des concepts

Plus en détail

Systèmes à base de règles

Systèmes à base de règles Systèmes à base de règles 1/100 Introduction Méthode classique de représentation de connaissances (1943, règles de production). Souvent utilisé en IA et dans les systèmes experts (semblable aux raisonnements

Plus en détail

5.1.1 La procédure pour la description d'une situation-problème

5.1.1 La procédure pour la description d'une situation-problème 5 LE CHOIX DES PARTIES DE COURS : UNE PROGRESSION DES APPRENTISSAGES Éléments du cinquième chapitre 5.1 La description de la situation-problème finale 5.1.1 La procédure pour la description d'une situation-problème

Plus en détail

Un peu d'organisation. Conception et Programmation par Objets HLIN406. Sommaire. Pourquoi vous parler de conception par objets? Notion de modélisation

Un peu d'organisation. Conception et Programmation par Objets HLIN406. Sommaire. Pourquoi vous parler de conception par objets? Notion de modélisation Un peu d'organisation Conception et Programmation par Objets HLIN406 Marianne Huchard, Clémentine Nebut LIRMM / Université de Montpellier 2 Premières semaines Contrôle des connaissances Supports 2015 Sommaire

Plus en détail

Modélisation de la Résolution de Problèmes

Modélisation de la Résolution de Problèmes Modélisation de la Résolution de Problèmes - Rappels : «Suite d opérations par lesquelles on conclut qu une proposition implique la vérité d une autre proposition» ( * ) Historiquement : Nécessité de séparer

Plus en détail

L approche Bases de données

L approche Bases de données L approche Bases de données Cours: BD. Avancées Année: 2005/2006 Par: Dr B. Belattar (Univ. Batna Algérie) I- : Mise à niveau 1 Cours: BDD. Année: 2013/2014 Ens. S. MEDILEH (Univ. El-Oued) L approche Base

Plus en détail

Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification

Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification 1 sur 8 26/09/2013 16:49 Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification Intitulé Licence : Licence Sciences, technologies, santé mention Informatique

Plus en détail

Règles d affaires. éponse informatique inc. www.reponse.ca. Critères de qualité de toutes spécifications

Règles d affaires. éponse informatique inc. www.reponse.ca. Critères de qualité de toutes spécifications Règles d affaires éponse informatique inc. 1 Critères de qualité de toutes spécifications IEEE830-1998 Recommended Practice for Software Requirements Specifications Une spécification doit être: Correcte,

Plus en détail

Université Laval Faculté des sciences et de génie Département d'informatique et de génie logiciel IFT-3101. Travail pratique #2

Université Laval Faculté des sciences et de génie Département d'informatique et de génie logiciel IFT-3101. Travail pratique #2 Université Laval Faculté des sciences et de génie Département d'informatique et de génie logiciel IFT-3101 Danny Dubé Hiver 2014 Version : 11 avril Questions Travail pratique #2 Traduction orientée-syntaxe

Plus en détail

ENSEIGNEMENT DE METHODES DE PROGRAMMATION DANS L'INITIATION A L'INFORMATIQUE

ENSEIGNEMENT DE METHODES DE PROGRAMMATION DANS L'INITIATION A L'INFORMATIQUE 61 ENSEIGNEMENT DE METHODES DE PROGRAMMATION DANS L'INITIATION A L'INFORMATIQUE Janine ROGALSKI CNRS, PARIS V, Laboratoire PSYDEE 46, rue Saint-Jacques 75005 Paris 62 63 ENSEIGNEMENT DE METHODES DE PROGRAMMATION

Plus en détail

Xpent, système expert en stabilité des pentes

Xpent, système expert en stabilité des pentes Xpent, système expert en stabilité des pentes Xpent, expert System in slope stability R.M.FAURE, Ecole Nationale des Travaux Publics de l'etat, Vaulx en Velin, France S.LEROUEIL, Université Laval, Québec,

Plus en détail

SEP 2B juin 20. Guide méthodologique de calcul du coût d une prestation

SEP 2B juin 20. Guide méthodologique de calcul du coût d une prestation SEP 2B juin 20 12 Guide méthodologique de calcul du coût d une Sommaire Préambule 3 Objectif et démarche 3 1 Les objectifs de la connaissance des coûts 4 2 Définir et identifier une 5 Calculer le coût

Plus en détail

LES NOUVEAUX PROGRAMMES DE

LES NOUVEAUX PROGRAMMES DE LES NOUVEAUX PROGRAMMES DE MATHÉMATIQUES EN STS M A T H S S T S Animation académique Taverny lundi 24 mars 2014 et Savigny sur Orge vendredi 28 mars 2014 PREMIERS REPÈRES Les programmes de STS ont été

Plus en détail

L'APPROCHE EXPERIMENTALE EN RECHERCHE: introduction aux statistiques.

L'APPROCHE EXPERIMENTALE EN RECHERCHE: introduction aux statistiques. L'APPROCHE EXPERIMENTALE EN RECHERCHE: introduction aux statistiques 1 BUTS DU COURS : se familiariser avec le vocabulaire statistique o variable dépendante, variable indépendante o statistique descriptive,

Plus en détail

Apport des Méthodes formelles pour la certification du Falcon 7X Division DÉFENSE

Apport des Méthodes formelles pour la certification du Falcon 7X Division DÉFENSE Apport des Méthodes formelles pour la certification du Falcon 7X février 04 1 Les analyses Sdf utilisées dans le cadre d une certification aéronautique civile; un processus précis et réglementé Normes

Plus en détail

Introduction au développement du logiciel

Introduction au développement du logiciel Introduction au développement du logiciel Vers le génie logiciel Université de Nantes Master Miage M1 Plan 1 Introduction 2 Génie logiciel 3 Projet informatique 4 Méthode de développement 5 Qualité Bibliographie

Plus en détail

Construire une Documentation Structurée des Dépendances et des Services (DSDS) Rafael Diaz Maurin, CRU JRES, Nantes, le 2 décembre 2009

Construire une Documentation Structurée des Dépendances et des Services (DSDS) Rafael Diaz Maurin, CRU JRES, Nantes, le 2 décembre 2009 Construire une Documentation Structurée des Dépendances et des Services (DSDS) Rafael Diaz Maurin, CRU 1 Agenda Introduction : qu'est-ce qu'une DSDS? Les ontologies : outils pour la DSDS Protégé : éditeur

Plus en détail

LE POINT SUR LES MATHÉMATIQUES DANS LES BTS RENTRÉE 2003

LE POINT SUR LES MATHÉMATIQUES DANS LES BTS RENTRÉE 2003 LE POINT SUR LES MATHÉMATIQUES DANS LES BTS RENTRÉE 00 ) LES PROGRAMMES a) Le cadre général L arrêté du 8 juin 00 comporte trois annexes, notamment l annexe donnant l intégralité des modules permettant

Plus en détail

Systèmes d information et bases de données (niveau 1)

Systèmes d information et bases de données (niveau 1) Systèmes d information et bases de données (niveau 1) Cours N 1 Violaine Prince Plan du cours 1. Bibliographie 2. Introduction aux bases de données 3. Les modèles 1. Hiérarchique 2. Réseau 3. Relationnel

Plus en détail

: scientifique. : Physique, technologie et sciences de l ingénieur (PTSI) Physique et technologie (PT) : Sciences industrielles de l ingénieur

: scientifique. : Physique, technologie et sciences de l ingénieur (PTSI) Physique et technologie (PT) : Sciences industrielles de l ingénieur : scientifique : Physique, technologie et sciences de l ingénieur (PTSI) Physique et technologie (PT) : Sciences industrielles de l ingénieur Première et seconde s PROGRAMME DE SCIENCES INDUSTRIELLES DE

Plus en détail

ECRIRE UN RAPPORT SCIENTIFIQUE - REGLES GENERALES ET CONSEILS -

ECRIRE UN RAPPORT SCIENTIFIQUE - REGLES GENERALES ET CONSEILS - ECOLE D INGENIEURS DE GENEVE ECRIRE UN RAPPORT SCIENTIFIQUE - REGLES GENERALES ET CONSEILS - CMEFE-NT-01 Revision C CMEFE Groupe de compétences en mécanique des fluides et procédés énergétiques P. Haas,

Plus en détail

Text Types and Purposes

Text Types and Purposes Text Types and Purposes College and Career Readiness (CCR) Anchor Standard 1: Ecrire une composition avec une idée principale, claire, explicite ou implicite en utilisant des éléments et des arguments

Plus en détail

Fédération des associations d Enseignants documentalistes De l Education nationale

Fédération des associations d Enseignants documentalistes De l Education nationale Fédération des associations d Enseignants documentalistes De l Education nationale www.fadben.asso.fr ENSEIGNEMENT A L'INFORMATION DOCUMENTATION Proposition faite par la FADBEN dans le cadre de la réforme

Plus en détail

INF 1250 INTRODUCTION AUX BASES DE DONNÉES. Guide d étude

INF 1250 INTRODUCTION AUX BASES DE DONNÉES. Guide d étude INF 1250 INTRODUCTION AUX BASES DE DONNÉES Guide d étude Sous la direction de Olga Mariño Télé-université Montréal (Québec) 2011 INF 1250 Introduction aux bases de données 2 INTRODUCTION Le Guide d étude

Plus en détail

Chapitre 1. L algorithme génétique

Chapitre 1. L algorithme génétique Chapitre 1 L algorithme génétique L algorithme génétique (AG) est un algorithme de recherche basé sur les mécanismes de la sélection naturelle et de la génétique. Il combine une stratégie de survie des

Plus en détail

INF-5100 L INTELLIGENCE ARTIFICIELLE GUIDE D ÉTUDE

INF-5100 L INTELLIGENCE ARTIFICIELLE GUIDE D ÉTUDE INF-5100 L INTELLIGENCE ARTIFICIELLE GUIDE D ÉTUDE SOMMAIRE SECTION 1 CONTENU Présentation du cours Objectifs Structure du contenu SECTION 2 GUIDE D ÉTUDE Démarche pédagogique Encadrement Évaluation Feuille

Plus en détail

M2 GST SPÉCIALITÉ CARTHAGÉO DESCRIPTIF DÉTAILLÉS DES ENSEIGNEMENTS

M2 GST SPÉCIALITÉ CARTHAGÉO DESCRIPTIF DÉTAILLÉS DES ENSEIGNEMENTS M2 GST SPÉCIALITÉ CARTHAGÉO DESCRIPTIF DÉTAILLÉS DES ENSEIGNEMENTS UE 1 : Tronc commun Carthagéo-Géoprisme Un certain nombre d enseignements de la formation professionnelle Carthagéo est mutualisée avec

Plus en détail

Chapitre 5 : les immobilisations

Chapitre 5 : les immobilisations Chapitre 5 : les immobilisations Définition des immobilisations Nous avons vu que l'entreprise achète des marchandises pour les revendre et des matières premières pour les consommer dans son processus

Plus en détail

Rapport d'analyse des besoins

Rapport d'analyse des besoins Projet ANR 2011 - BR4CP (Business Recommendation for Configurable products) Rapport d'analyse des besoins Janvier 2013 Rapport IRIT/RR--2013-17 FR Redacteur : 0. Lhomme Introduction...4 La configuration

Plus en détail

Les réseaux bayésiens

Les réseaux bayésiens Les réseaux bayésiens Un outil de modélisation des connaissances incertaines par apprentissage à partir des données par modélisation interactive 2/1/23 SAMOS - BAYESIA 1 etit exemple contre-intuitif La

Plus en détail

Commercial-e. Document pour les professeurs/es

Commercial-e. Document pour les professeurs/es Commercial-e Document pour les professeurs/es Objectif général Faire découvrir un métier en utilisant le site de l Onisep et des mises en situation validées par un professionnel. Compétences du parcours

Plus en détail

PLANIFICATION ET SUIVI D'UN PROJET

PLANIFICATION ET SUIVI D'UN PROJET Centre national de la recherche scientifique Direction des systèmes d'information REFERENTIEL QUALITE Guide méthodologique PLANIFICATION ET SUIVI D'UN PROJET Référence : CNRS/DSI/conduite-projet/developpement/gestion-projet/guide-planfi-suivi-projet

Plus en détail

Université du Québec à Rimouski Liste des cours avec le code EQE Département de mathématiques, d'informatique et de génie

Université du Québec à Rimouski Liste des cours avec le code EQE Département de mathématiques, d'informatique et de génie Liste des cours avec le code EQE Département de mathématiques, d'informatique et de génie Sigle de cours Titre cours Code EQE 6DIG973 Sujets spéciaux 6DIG974 Caractérisation des matériaux 6DIG975 Nanotechnologies

Plus en détail

touscours.net Rapport de Synthèse Cycle en V, UP et SCRUM

touscours.net Rapport de Synthèse Cycle en V, UP et SCRUM Rapport de Synthèse Cycle en V, UP et SCRUM Réalisé par : BELLINI Quentin GNANAKULENTHIRAN Anitha GOVINDEN Johana MEZINE Ahcene TIMZOUERT Chabane 19/10/2011 www.sup-galilee.univ-paris13.fr Table des matières

Plus en détail

ANNEXE 1 BTS AGENCEMENT DE L'ENVIRONNEMENT ARCHITECTURAL Programme de mathématiques

ANNEXE 1 BTS AGENCEMENT DE L'ENVIRONNEMENT ARCHITECTURAL Programme de mathématiques ANNEXE BTS AGENCEMENT DE L'ENVIRONNEMENT ARCHITECTURAL Programme de mathématiques L'enseignement des mathématiques dans les sections de techniciens supérieurs Agencement de l'environnement architectural

Plus en détail

Norme d'audit suisse: Audit réalisé dans l environnement de la technologie de l information et de la communication (NAS 401)

Norme d'audit suisse: Audit réalisé dans l environnement de la technologie de l information et de la communication (NAS 401) Norme d'audit suisse: Audit réalisé dans l environnement de la technologie de l information et de la communication (NAS 401) "Préface explicative" Chiffre Cette NAS donne des instructions sur un audit

Plus en détail

Introduction. I Étude rapide du réseau - Apprentissage. II Application à la reconnaissance des notes.

Introduction. I Étude rapide du réseau - Apprentissage. II Application à la reconnaissance des notes. Introduction L'objectif de mon TIPE est la reconnaissance de sons ou de notes de musique à l'aide d'un réseau de neurones. Ce réseau doit être capable d'apprendre à distinguer les exemples présentés puis

Plus en détail

Intelligence artificielle appliquée à l automatique

Intelligence artificielle appliquée à l automatique Intelligence artificielle appliquée à l automatique par Sylviane GENTIL Professeur à l École nationale supérieure d ingénieurs électriciens Institut national polytechnique de Grenoble 1. Définitions et

Plus en détail

L Intelligence Artificielle

L Intelligence Artificielle Conférence L Intelligence Artificielle Taalabi M. 30/04/2004 Intelligence Artificielle 1 Historique Définition Paradigmes Systèmes experts Concevoir un système expert Système à Inférence floue Applications

Plus en détail

La méthode des cas et le plan marketing : énoncé seul

La méthode des cas et le plan marketing : énoncé seul La méthode des cas et le plan marketing : énoncé seul 12_07_2011 Table des matières Table des matières 3 I - 1. Point méthodologique 7 A. 1.1. Définitions...7 B. 1.2. Plan d'analyse type...8 C. 1.3. Synthèse...13

Plus en détail

Fiche synthétique de la 1 ère année FIA

Fiche synthétique de la 1 ère année FIA Fiche synthétique de la 1 ère année FIA Mission En 1 ère année, l'apprenti doit être capable de remplir des missions habituellement confiées à un technicien supérieur : la dimension technique prime donc

Plus en détail

DEFLATEURS ET TECHNOLOGIE : INDICES DE PRIX ET INDICES DE PERFORMANCES

DEFLATEURS ET TECHNOLOGIE : INDICES DE PRIX ET INDICES DE PERFORMANCES BULLETIN DE l'acn n 28 INSEE Association de Comptabilité Nationale 18, bd Adolphe Pinard 75675 PARIS CEDEX 14 (France) DEFLATEURS ET TECHNOLOGIE : INDICES DE PRIX ET INDICES DE PERFORMANCES Henri DUPRAT

Plus en détail