Hervé ZWIRN. Fleurance, 3 aout 2013. Université Paris Diderot, LIED ENS Cachan IHPST. Hervé ZWIRN 1



Documents pareils
La Programmation Orientée Agent Les Agents Réactifs

Les mathématiques du XXe siècle

LE LIVRE DES KINS L épopée Galactique du libre-arbitre.

Intelligence Artificielle et Robotique

Partenaires: w w w. c o g m a s t e r. n e t

Rallye Mathématiques de liaison 3 ème /2 nde et 3 ème /2 nde pro Epreuve finale Jeudi 21 mai 2015 Durée : 1h45

Modélisation et Simulation

Attitude des ménages face au risque. M1 - Arnold Chassagnon, Université de Tours, PSE - Automne 2014

Modélisation multi-agents - Agents réactifs

Mini_guide_Isis.pdf le 23/09/2001 Page 1/14

Relever les défis des véhicules autonomes

AXES DE RECHERCHE - DOMAINE D'INTERET MAJEUR LOGICIELS ET SYSTEMES COMPLEXES

ACTIVITES JUSQU AU 30/11/2013 Les principaux résultats obtenus ont donné lieu à 10 articles publiés ou soumis en 2013 dans des revues

I Stabilité, Commandabilité et Observabilité Introduction Un exemple emprunté à la robotique Le plan Problème...

Chapitre 2 : Systèmes radio mobiles et concepts cellulaires

Mini_guide_Isis_v6.doc le 10/02/2005 Page 1/15

1 Démarrer L écran Isis La boite à outils Mode principal Mode gadget Mode graphique...

Cours 1 : Qu est-ce que la programmation?

Programmation linéaire

L ACCROISSEMENT DE L ENTROPIE DES SYSTÈMES D INFORMATION EST-ELLE UNE FATALITÉ?

Les apports de l informatique. Aux autres disciplines

Sillage Météo. Notion de sillage

Les 100 plus belles façons. François Gagol

Chapitre 02. La lumière des étoiles. Exercices :

La fonction exponentielle

FORMATION DES PERSONNES-RESSOURCES EN SCIENCE ET TECHNOLOGIE LE CYCLE DU JOUR ET DE LA NUIT (CYCLE DIURNE)

Atelier Transversal AT11. Activité «Fourmis» Pierre Chauvet.

LE VIDE ABSOLU EXISTE-T-IL?

Coup de Projecteur sur les Réseaux de Neurones

Celestia. 1. Introduction à Celestia (2/7) 1. Introduction à Celestia (1/7) Université du Temps Libre - 08 avril 2008

APPORT DES RESEAUX BAYESIENS DANS LA PREVENTION DE LA DELINQUANCE

L ordinateur quantique

Photons, expériences de pensée et chat de Schrödinger: une promenade quantique

Une fréquence peut-elle être instantanée?

Algorithme. Table des matières

TD 9 Problème à deux corps

3 thèses : Problématique :

Informatique et mathématiques

Intelligence Artificielle et Systèmes Multi-Agents. Badr Benmammar

Projet ANR. Bruno Capra - OXAND. 04/06/2015 CEOS.fr - Journée de restitution (Paris) B. CAPRA

Objectifs du cours d aujourd hui. Informatique II : Cours d introduction à l informatique et à la programmation objet. Complexité d un problème (2)

Livre Blanc Oracle Novembre Le Bureau des Projets (PMO) : un levier stratégique de création de valeur pour l industrie

Mathématique et Automatique : de la boucle ouverte à la boucle fermée. Maïtine bergounioux Laboratoire MAPMO - UMR 6628 Université d'orléans

Chapitre 3. Mesures stationnaires. et théorèmes de convergence

Gé nié Logiciél Livré Blanc

La construction du temps et de. Construction du temps et de l'espace au cycle 2, F. Pollard, CPC Bièvre-Valloire

DYNAMIQUE DE FORMATION DES ÉTOILES

BTS Groupement A. Mathématiques Session Spécialités CIRA, IRIS, Systèmes électroniques, TPIL

Le scoring est-il la nouvelle révolution du microcrédit?

L univers vivant De la cellule à l être humain

6 - La conscience est-elle un processus algorithmique?

Arbre de probabilité(afrique) Univers - Evénement

Prochaines Dates séminaires Nom : Prénom :.. Date naissance :.. Adresse Complète :

UN PROGRAMME INNOVANT AU CŒUR DES ENJEUX COMPÉTITIFS DE L ENTREPRISE MODERNE

Notice d Utilisation du logiciel Finite Element Method Magnetics version 3.4 auteur: David Meeker

SDLV120 - Absorption d'une onde de compression dans un barreau élastique

Logiciel Libre Cours 3 Fondements: Génie Logiciel

Rappels sur les suites - Algorithme

Identification des besoins : la méthode des Focus Group. Définition et descriptif de la méthode

MATHÉMATIQUES 10 e 12 e ANNÉE

PRÉCIS DE SIMULATION

Mise sur le marché des engrais en Europe. Paris, le 9 septembre Vincent Delvaux

Résumé du cours en graphiques En vue des prochains cours En vue de l examen final. Macroéconomie 1. Conclusion générale. Olivier Loisel.

Transformation IT de l entreprise DU CONCRET POUR TRANSFORMER LES BIG DATA EN VALEUR

La NP-complétude. Johanne Cohen. PRISM/CNRS, Versailles, France.

Surveillance et maintenance prédictive : évaluation de la latence de fautes. Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG)

Championnat de France de Grilles Logiques Finale 7 juin Livret d'instructions

TSTI 2D CH X : Exemples de lois à densité 1

Intégration et probabilités TD1 Espaces mesurés

Machines virtuelles Cours 1 : Introduction


Cours de Master Recherche

Trépier avec règle, ressort à boudin, chronomètre, 5 masses de 50 g.

Modèles à Événements Discrets. Réseaux de Petri Stochastiques

Intérêt du découpage en sous-bandes pour l analyse spectrale

Peut-on assimiler le vivant à une machine?

Calculateur quantique: factorisation des entiers

Ce projet de conférences-exposition est inédit ; il va sans aucun doute susciter votre curiosité.

Commun à tous les candidats

Pour un principe matérialiste fort. Jean-Paul Baquiast

Rationalisez votre flux de production pour l impression et la finition grand format

DIFFRACTion des ondes


Ni tout noir, ni tout blanc Consignes Thème I - Observer

Cryptologie. Algorithmes à clé publique. Jean-Marc Robert. Génie logiciel et des TI

Module 7: Chaînes de Markov à temps continu

Suis-je toujours le même?

Ordonnancement robuste et décision dans l'incertain

Maîtriser les fonctionnalités d un traitement de texte (Word OpenOffice)

Thème 2 : Cycle de vie des projets d innovation: ambigüité, incertitude, production de savoir et dynamisme

Le Pavé Mosaïque. Temple?» C est la question que je me posais la première fois que je vis le Pavé Mosaïque à

Trait et ligne. La ligne avance, Elle indique une direction, Elle déroule une histoire, Le haut ou le bas, la gauche et la droite Une évolution.

1 er Avril 2015 Data Science & Big Data Etat de l art Donner plus d intelligence aux données

Factorisation d entiers (première partie)

Production des Services d Assurance non-vie selon le SCN 2008

Électromécanique de systèmes automatisés

Transcription:

Hervé ZWIRN Université Paris Diderot, LIED ENS Cachan IHPST Fleurance, 3 aout 2013 Hervé ZWIRN 1

Un peu d histoire : - Aristote (384 322 av JC) Distinction entre le monde sublunaire et le ciel Le ciel est parfait et immuable Le monde sublumnaire est incompréhensible et imprévisible - Galilée (1564 1642) et Newton (1642 1727) Unification du monde céleste et du monde terrestre Existence de lois universelles Equations différentielles Déterminisme Hervé ZWIRN 2

Le déterminisme : "Nous devons envisager l'état présent de l'univers comme l'effet de son état antérieur et comme la cause de celui qui va suivre. Une intelligence qui pour un instant donné connaîtrait toutes les forces dont la nature est animée et la situation respective des êtres qui la composent, si d'ailleurs elle était assez vaste pour soumettre ces données à l'analyse, embrasserait dans la même formule les mouvements des plus grands corps de l'univers et ceux du plus léger des atomes : rien ne serait incertain pour elle, et l'avenir comme le passé seraient présents à ses yeux." Laplace, Essai philosophique sur les probabilités [1814]. Hervé ZWIRN 3

Vision chaotique du monde, selon laquelle ce qui se produit n'est du qu'aux caprices imprévisibles de forces qui nous échappent Vision d'ordre parfait où tout est régi par des lois qui nous sont accessibles et qui permettent de calculer, en principe, l'évolution de tout système et même de l'univers pour l'éternité (vision de la fin du XIX ième siècle) Hervé ZWIRN 4

Dans cette vision : Déterminisme Lois simples Prédictibilité Comportements simples Premier choc : Poincaré (1892) puis Lorenz (1960) Chaos déterministe Déterminisme Prédictibilité Hervé ZWIRN 5

Hervé ZWIRN Amplification des petites différences Chaos déterministe Sensibilité aux conditions initiales Amplification exponentielle des petites différences : Quelle que soit la proximité initiale de 2 points de départ, le comportement du système finit par être totalement différent. Horizon temporel de prédiction Pendule magnétique

Deuxième choc : Mécanique Quantique (1925) Les lois de la nature sont probabilistes par essence : indéterminisme Troisième choc : systèmes complexes Lois simples Comportements simples Hervé ZWIRN 7

Les sources d imprédictibilité 1. Indéterminisme (Physique quantique) 2. Déterminisme Incertitude / Connaissance imparfaite de l état initial Sensibilité aux conditions initiales (Complexité trop grande) Hervé ZWIRN 8

Une nouvelle source d imprédictibilité dans les systèmes déterministes simples L irréductibilité computationnelle The behavior of the system can be found only by direct simulation or observation: No general predictive procedure is possible. Wolfram S., Undecidability and intractability in theoretical physics, Vol 54, N 8. Phys. Rev. Letters, 1985 Hervé ZWIRN 9

Predire : connaitre le résultat avant le système lui-même calculer plus vite que le système trouver des raccourcis Intuitivement un système sera CIR si l algorithme qui le simule à travers une stricte imitation étape par étape ne peut pas être court-circuité pour prédire directement le résultat de l étape n, si le seul moyen de savoir ce qui se passe à l étape n est de suivre pas à pas le processus qui se déroule jusqu à arriver à l étape n. Cela signifie qu il n existe aucun raccourci. Automates cellulaires : Cadre avec un temps discret Systèmes Complexes Hervé ZWIRN 10

Qu est-ce qu un système complexe? SYSTEME COMPLEXE? Un système complexe est composé de constituants qui interagissent de manière non triviale (non linéaire, boucles de rétroaction ) Complexe Compliqué 1. Simple 2. Compliqué 3. Complexe Hervé ZWIRN

Qu est-ce qu un système complexe? Simple On peut suivre la propagation du mouvement de proche en proche On peut facilement comprendre le comportement du système car on peut simuler mentalement sa dynamique Hervé ZWIRN

Qu est-ce qu un système complexe? Compliqué On peut analyser sa fonction comme composée de plusieurs fonctions distinctes qui se combinent. On peut tracer le fonctionnement de chacun des constituants de manière indépendante Une fois décomposé convenablement, on peut comprendre (même si ce n est plus facile) le fonctionnement du système car on peut encore simuler mentalement la manière dont les différentes fonctions donnent naissance à la fonction principale (schéma mental) Hervé ZWIRN

Qu est-ce qu un système complexe? Compliqué Il est possible de découper le système en sous-systèmes (plus simples) dont le comportement peut s analyser indépendamment les uns des autres. On peut ensuite reconstituer le comportement global comme une succession ou une juxtaposition des sous comportements. Hervé ZWIRN

Qu est-ce qu un système complexe? Complexe? Le comportement global ne peut plus être analysé comme succession ou juxtaposition de comportement de sous-systèmes indépendants Tous les constituants concourent simultanément au comportement du système On ne peut découper le système pour l étudier : comportement holistique Hervé ZWIRN

Qu est-ce qu un système complexe? Simple A B C D +1-0.5 +2 +10% +10% -5% -10% Complexe +1 B A -1-1 +20%? +0.5 C Hervé ZWIRN

Qu est-ce qu un système complexe? comportement holistique Changement de la nature de compréhension du système La compréhension intuitive disparaît Hervé ZWIRN

La fourmi de Langton REGLES: La fourmi se déplace sur les cases d une grille à gauche, à droite, en haut, en bas. Si la fourmi est sur une case noire, elle tourne de 90 vers la droite, change la couleur de la case en blanc et avance d'une case. Si la fourmi est sur une case blanche, elle tourne de 90 vers la gauche, change la couleur de la case en noir et avance d'une case Hervé ZWIRN 18

Fourmi de Langton Hervé ZWIRN 19

Hervé ZWIRN 20

La fourmi de Langton Après environ 10 000 itérations, la fourmi part à l infini en construisant une sorte d autoroute formée de 104 pas qui se répètent Personne ne sait aujourd hui prouver ce résultat qui reste un constat d observation Hervé ZWIRN 21

Hervé ZWIRN 22

Règle 30 Hervé ZWIRN 23

Règle 110 Hervé ZWIRN 24

Le jeu de la vie de Conway Une cellule morte possédant exactement trois voisines vivantes devient vivante (elle naît). Une cellule vivante possédant deux ou trois voisines vivantes le reste, sinon elle meurt. Hervé ZWIRN 25

Le jeu de la vie de Conway Hervé ZWIRN 26

Hervé ZWIRN 27

Hervé ZWIRN 28

Pourquoi s intéresser à l'irréductibilité computationnelle? Algorithme : oest-ce qu il existe une définition robuste? oest-ce qu il y a réellement des phénomènes CIR? Raisons philosophiques : o Comprendre le comportement des systèmes complexes o Comprendre les phénomènes emergents Hervé ZWIRN 29

Un vol d oiseaux Ils obéissent à 4 règles simples : Séparation: éviter de rentrer dans ses voisins Alignement: voler dans la même direction que ses voisins Cohésion: rester proche du centre de gravité de ses voisins Evitement: s éloigner d un éventuel obstacle Vol d oiseaux évitant des obstacles Hervé ZWIRN

Exemples de phénomènes considérés comme émergents : - La liquidité de l eau, - La superfluidité de l hélium à 2.17 K, - La superconductivité du mercure à 4.2 K, - La forme des flocons de neige qui suit des motifs symétriques complexes, - La forme et le comportement d un vol d oiseaux - Un arc en ciel ou une tornade, - Un glisseur dans le jeu de la vie, - Les anneaux de Saturne, - La vie, - Les yeux ou les ailes des animaux, - La conscience. Hervé ZWIRN 31

Qu est ce qu un phénomène émergent? 2 niveaux: individuel / collectif micro / macro Connaissance des règles pour le niveau micro Imprédictibilité apparente des phénomènes se produisant au niveau supérieur Hervé ZWIRN 32

Hervé ZWIRN L émergence Emergence Caractéristique qui apparaît au niveau global et qui est difficilement prédictible à partir de la connaissance des règles du niveau inférieur Des lois simples entre constituants engendrent un comportement qui va au-delà des capacités individuelles de chacun d entre eux Pertinent au niveau global mais dépourvu de sens au niveau inférieur Explication?

Comprendre un phénomène c est : - Identifier les mécanismes qui régissent son comportement - Pouvoir relier mentalement l état initial et l état final Différence entre automate simple et jeu de la vie Nécessité de simulation sur un ordinateur la sensation de compréhension disparaît. Plus de compréhension intuitive Emergence Hervé ZWIRN 34

2 concepts d émergence 1. Emergence subjective : Il est trop difficile de suivre mentalement la manière dont le phénomène se produit. Cette limitation provient de nos capacités humaines 2. Emergence objective : Il n y a pas de raccourci pour savoir comment le système se comporte. Dynamique computationnellement irréductible. Emergence subjective > Emergence objective ( ) Emergence objective > Emergence subjective Hervé ZWIRN 35

Comprendre les phénomènes émergents? Si prédire c est simuler Si la simulation est computationnellement irreductible Impossibilité de prédire Affaiblissement du concept de compréhension La vie? La conscience?