Calcul formel

dans un champ d’application très voisin de l’organisation (scientifique, industrielle, administrative). On peut donc dire que l’informatique est une discipline carrefour, dont les ordinateurs actuels, les structures intellectuelles (algorithmes du calcul scientifique) et institutionnelles (organisation comptable, organisation industrielle) déterminent pratiquement le contenu. L’existence de l’ordinateur a indirectement attiré l’attention sur les circuits électroniques et renouvelé l’intérêt pour

linguistique. - La théorie des langages formels : En informatique, la théorie des langages a pour objectif de décrire les langages formels, vus comme moyen de communication, d'un point de vue mathématique. Un langage formel est un ensemble de mots. Un mot est une suite finie de symboles. L'ensemble de ces symboles est appelé alphabet, les symboles eux-mêmes sont des lettres. Un langage (formel) doit pouvoir être décrit et analysé par une méthode formelle. - La théorie de l’information :

« consciente ». Les années 1940 et 1950 voient l'apparition des premiers véritables ordinateurs. Ils sont Turing complets et électroniques, donc rapides. Ces machines couteuses servent surtout à faire des calculs massifs (statistiques pour l'état, calculs scientifique pour la recherche nucléaire, calculs balistiques pour l'armée, ...). L'apparition des ordinateurs semble rendre possible le rêve de l'IA. Les deux approches de l'IA vont émerger dans les années 1940 : le connexionnisme et le cognitivisme

Plan Méthodes formelles de développement (Spécification et Vérification de Systèmes) L’objectif de ce cours est d’introduire la spécification et la vérification formelle dans la démarche de développement d’un logiciel. I. Spécification et vérification formelle de logiciels II. La méthode B AMN (Abstract macine notation) III. La méthode B événementiel IV.Vérification de modèles (ou model checking) Méthodes Formelles de développement 1 Méthodes Formelles de développement 2 I. Spécification

généralement, appelé réseau à couches. 1) Architecture des réseaux à couches Un réseau de neurones artificiel est organisé en couches, chacune de ces couches comportant plusieurs neurones. Chacun de ces neurones qui se présente comme une unités de calcul autonome, est relié à la totalité ou à certains neurones de la ou des couches précédentes. La figure 1 ci-dessous donne un exemple d’un réseau complètement connecté. FIGURE 1 : Architecture d’un réseau à couches couche de sortie 9 w6,9 w7

généralement insuffisants Nécessité de rajouter des contraintes Comment exprimer ces contraintes ? Langue naturelle mais manque de précision, compréhension pouvant être ambigüe Langage formel avec sémantique précise : par exemple OCL OCL : Object Constraint Language Langage de contraintes orienté-objet Langage formel (mais simple à utiliser) avec une syntaxe, une grammaire, une sémantique (manipulable par un outil) S'applique sur les diagrammes UML LIFL 8 Le langage de contraintes OCL Plan 1

Matériaux, n°51 (septembre 1998) LES RÉSEAUX DE NEURONES G. DREYFUS École Supérieure de Physique et de Chimie Industrielles de la Ville de Paris (ESPCI), Laboratoire d'Électronique 10, rue Vauquelin 75005 PARIS Résumé Les réseaux de neurones formels sont devenus en quelques années des outils précieux dans des domaines très divers de l'industrie et des services. Néanmoins, ils n'ont pas encore atteint leur plein développement, pour des raisons plus psychologiques que techniques, liées aux connotations

process it and achieve the verisimilitude of human intelligence. AI researchers have borrowed representation theories from cognitive science. Notre cadre d’étude, c’est l’intelligence artificielle (IA). On va s’intéresser à des modèles de représentation formels des connaissances dont le but est de permettre à des programmes informatiques de traiter des informations au niveau sémantique. L’objectif de ces programmes est de simuler le raisonnement humain par le biais de mécanismes d’inférence. La figure 1 permet

......... 4 I.4 Définition: Langage. ......................................................................................................... 4 Chapitre II Représentation finie des langages ...................... 6 II.1 Définition: Langages formels ........................................................................................ 6 II.2 Expressions régulières .................................................................................................... 6 II.2.1 Exemples Introductifs

les éléments cognitifs et les éléments sociaux qui se trouvent mêlés dans tout modèle. Il faut redonner une place à l'acteur (qu'il soit chercheur, ingénieur, ou utilisateur du modèle) et à l'action. En résumé, nous voulons montrer que l'objet formel qu'est le modèle n'est qu'un élément du “jeu de la modélisation” ; restituer les positions et valeurs de cet objet est aussi insuffisant pour en comprendre les enjeux, que suivre un match de football avec une caméra qui ne filmerait que le ballon