Je parle en tant que chercheur, programmeur et utilisateur de mes développements
Je fais de l’informatique depuis 44 ans
Je suis déçu par l’évolution de l’informatique
Depuis 40 ans on n’a presque rien trouvé de neuf en logiciel
Le logiciel n’est pas réductible à de l’ingénierie
J’essaie de construire des Amplificateurs d’Intelligence
J’écris du contenu sémantique chaque jour depuis 1997
Le nœud du problème est le langage: langage de programmation et langage naturel
Etymologiquement, programmer veut dire « écrire à l’avance »
Le futur n’est pas écrit, donc la programmation n’a pas de futur
La programmation n’a pas de passé: on a oublié les meilleurs langages (Lisp, APL, Prolog) et l’Intelligence Artificielle des années 80.
Il est très difficile de développer des applications intelligentes avec les langages à la mode
On a oublié ce qu’était une application intelligente
« Software Engineering » est une contradiction dans les termes
Il y a deux sortes de langages de programmation: ceux faits pour programmer les machines (à la mode), ceux faits pour résoudre des problèmes difficiles (oubliés)
3. Je parle en tant que chercheur, programmeur et utilisateur de mes développements Je fais de l’informatique depuis 44 ans Je suis déçu par l’évolution de l’informatique Depuis 40 ans on n’a presque rien trouvé de neuf en logiciel Le logiciel n’est pas réductible à de l’ingénierie J’essaie de construire des Amplificateurs d’Intelligence J’écris du contenu sémantique chaque jour depuis 1997 Le nœud du problème est le langage: langage de programmation et langage naturel
4. Etymologiquement, programmer veut dire « écrire à l’avance » Le futur n’est pas écrit, donc la programmation n’a pas de futur La programmation n’a pas de passé: on a oublié les meilleurs langages (Lisp, APL, Prolog) et l’Intelligence Artificielle des années 80. Il est très difficile de développer des applications intelligentes avec les langages à la mode On a oublié ce qu’était une application intelligente « Software Engineering » est une contradiction dans les termes Il y a deux sortes de langages de programmation: ceux faits pour programmer les machines (à la mode), ceux faits pour résoudre des problèmes difficiles (oubliés)
5. Le langage naturel est très structuré Seul les humains comprennent le langage naturel Comprendre le langage naturel demande un effort personnel dont n’a idée aucune machine Nous ne savons pas comment nous comprenons la structure complexe du langage naturel Nous ne savons pas expliquer à une machine comment comprendre le langage naturel L’homme essaie depuis toujours d’inventer des langages calculables
6. Ce qu’une machine sait représenter, elle ne sait pas le comprendre Une connaissance hors de la tête de quelqu’un, ça ne veut rien dire Nous ne sommes pas assez intelligents pour fabriquer une machine aussi intelligente que nous
13. PAOLO ROSSI: « I filosofi e le macchine » (Feltrinelli, 2002) « La nascita della scienza moderna » (Laterza, 1997) Editi o riediti con il Mulino: « Clavis universalis » (1983), « Il passato, la memoria, l’oblio » (1991, premio Viareggio 1992), « Un altro presente » (1999), « Francesco Bacone » (2004), « Speranze » (2008). Frances A. Yates: The Art of Memory
14. (Peter Matussek:) Giulio Camillo (1480 - 1544) was as well-known in his era as Bill Gates is now. Just like Gates he cherished a vision of a universal Storage and Retrieval System , and just like Microsoft Windows, his 'Theatre of the Memory' was, despite constant revision, never completed. Camillo's legendary Theatre of Memory remained only a fragment, its benefits only an option for the future. When it was finished, the user - so he predicted - would have access to the knowledge of the whole universe
15. RAMON LLUL (1232 -1316) Arbor Scientiae: Ontologies Universelles Combinatoires « une lecture directe de l’alphabet que le Créateur a gravé dans les choses »
16.
17. RESEAU SEMANTIQUE ET LOGIQUE DU 16 EME SIECLE DANS LA CATHEDRALE DE GRENADE MODELISANT LA SAINTE TRINITE
18. IDEE D’UNE CONTINUITE ENTRE MÉMOIRE / CONNAISSANCE / LOGIQUE / RAISONNEMENT AUTOMATIQUE BRUNO (1548-1600) BACON (1561-1626) COMENIUS (1592-1670) DESCARTES (1596 -1650) LEIBNIZ (1646-1716)
36. PAS DE DEFINITION DE MODELE A PRIORI MAIS EMERGENCE DES STRUCTURES SEMANTIQUES PAR UN OUTIL DE DECOUVERTE / APPRENTISSAGE A PARTIR D’ENONCES SUJET / VERBE / COMPLEMENT INVERSES / CATEGORIES ENTRES A LA MAIN OU IMPORTES DEPUIS DES DONNEES STRUCTUREES IDELIANCE
48. GRANDS PROJETS Défense / Sécurité / Renseignement UNE DOUCE ILLUSION PARTAGEE DES PHYSICIENS AUX DECIDEURS VIA LES CHARLATANS
49.
50.
51. SEMANTIC NETS PRODUCTION SEMANTIC NETS MANAGEMENT SEMANTIC NETS ANALYSIS CAPTURE AND MERGE HETEROGENEOUS SOURCES OF INFORMATION INTO AN UNIFIED HUMAN READABLE FORMAT NAVIGATE, QUERY VISUALIZE, UPDATE, DESIGN, RESTRUCTURE, PUBLISH DEDUCTION, ANALOGY, CLASSIFICATION, DISCOVERY, WEAK SIGNS DETECTION ASK MORE INFORMATIONS FROM SOURCES ENRICH SEMANTIC NETS WITH ANALYSIS RESULTS A A A Continuous Collective Process From Data to Knowledge
52. IT COSMOLOGY: DICTATURE OF TWO BLACKHOLES LBH : LITTERATUS Black Hole CBH: CALCULUS Black Hole PLAIDEURS COMPTABLES KM SQL XML WEB 2.0 Semantic WEB A.I. Blasted Out! Realm of DOCUMENTS Realm of PROGRAMS Forbidden zone! « dispute » « compute » Object Oriented Languages
53. Moins de critique littéraire, moins de calcul scientifique Plus de critique scientifique, plus de calcul littéraire Fabriquer un Excel Littéraire Fabriquer un PowerPoint Sémantique Faire faire du calcul aux gens d’en haut Donner de la matière littéraire aux gens d’en bas Rêver un Foucault programmeur de « l’Archéologie du Savoir » Rêver un Spinoza programmeur Rêver un Wittgenstein programmeur
54. SOFTWARE CRISIS The major cause of the software crisis is that the machines have become several orders of magnitude more powerful! As long as there were no machines, programming was no problem at all When we had a few weak computers, programming became a mild problem Now we have gigantic computers, programming has become an equally gigantic problem Edsger Dijkstra 1968
55. L’informatique technique est un mélange d’académisme, de bricolage, de marketing, de mode, de religions, de sectes Le management méprise l’informatique, les jeunes s’en détournent Les professionnels se barricadent dans un jargon technique repoussant et font du racket « payez, et nous nous occupons de tout » (intégration, externalisation, cloud computing) On n’arrive pas à utiliser la puissance du hardware pour rendre le software plus simple « L’interconnexion des silos d’information par des Web Services conduit à des systèmes cauchemardesques » (Pierre Col, 11/10/ 2011) L’INFORMATIQUE TECHNIQUE EST UNE TARTE AU CITRON MERINGUEE: DEFINITIVEMENT FIGEE
56. ESSAYONS AUTRE CHOSE! PAS DE DOCUMENTS PAS DE BASES DE DONNEES PAS DE PROGRAMMES PAS D’ONTOLOGIES PAS DE MODELES PAS DE LOGIQUE FORMELLE PAS DE GRAMMAIRES PAS DE FORMATS LANGAGE NATUREL EMERGENCE DISCIPLINE GEOMETRIE ALTERITE SYMETRIE INTERACTION RESPONSABILITE LOCALITE EDUCATION MOINS D’INGENIERIE INCULTE PLUS D’UTILISATION RESPONSABLE⌈
57.
58.
59. Tim Berners-Lee: The Web is now philosophical engineering Staline: Les écrivains sont les ingénieurs de l’âme Les ontologies sont produites par les ingénieurs du sens Les ingénieurs ne doivent pas fabriquer du sens Les ingénieurs doivent fabriquer des instruments de mise en contact / osmose avec l’information Le Web Sémantique, c’est l’Intelligence Artificielle sans les applications Le grand mérite du Web Sémantique à la W3C est de poser la question « Pourquoi ça ne marche pas »
60. Tim Berners-Lee a commencé le Web car il savait le faire Tim Berners-Lee a commencé le Web Sémantique car il ne savait pas le faire
65. A quoi bon LIBERER les données si c’est pour les LINKER à des URI dès leur sortie de prison ? LIBRE OU LIE, il faut choisir! N’échangeons pas une prison locale contre une prison mondiale Les URI ne sont pas des identifiants, mais des adresses, des lieux (donc des URL) dans l’unique mémoire mondiale Les URI sont dans l’orbite du Trou Noir du Calcul Une information est un énoncé et non un identifiant Un énoncé a physiquement une adresse L’atome de sens c’est l’énoncé et non l’identifiant
68. Au commencement sont les énoncés Les (id) entités émergent des énoncés et non l’inverse On ne peut pas porter une entité à la connaissance de quelqu’un sans faire au moins deux énoncés Si l’atome est l’énoncé, on pourra se passer des documents dans le futur Si l’on n’a plus de documents, on n’a plus besoin de métadonnées Les métadonnées sont des énoncés comme les autres Non au monde carcéral des documents enserrés dans des rets de métadonnées enchaînées à des URI !
69. Dans un ordinateur, ne mettons que des énoncés Information is the System Usage is the Architect Practice alterity to alter IT Le Web 1.0 permet de lire facilement des choses écrites difficilement Le Web 2.0 permet d’écrire facilement des choses difficiles à lire Quand il s’agit de travailler, on retourne à Excel et à PowerPoint Faire un Web qui facilite et amplifie l’écriture, la lecture et le TRAVAIL / LA REFLEXION = Web 3.0!
70. Les ordinateurs, ont besoin de formats et de modèles Les humains détestent les formats et les modèles Le Software Engineering et la Programmation sont des bureaucraties de gestion de formats et modèles Les formats et modèles informatique ne sont pas biodégradables; ils s’accumulent et polluent Les formats sont manipulés en cachette du public par des travailleurs spécialisés appelés programmeurs Il est difficile et couteux de démanteler les centrales à formats ( = les applications), et de recycler les formats Des organisations mondiales essaient d’imposer des formats et modèles standard J’ai choisi le langage naturel comme format standard
71. Une ontologie est un ensemble d’énoncés comme les autres Un dictionnaire, un tableau Excel, un thésaurus … sont des ensembles d’énoncés comme les autres On a le droit de vouloir faire des ontologies au sens du W3C à condition de savoir que c’est impossible Faites les ontologies qui vous sont utiles sous la forme humaine que vous préférez Traduisez ces ontologies en énoncés en langage naturel Mélangez cette ontologie avec d’autres énoncés en langage naturel Faites du calcul littéraire sur les ensemble d’énoncés
73. Ne mettez pas d’ingénieurs dans la boucle Faites vous-même tout le travail sur le sens et le contenu Il ne faut pas informatiser les sciences humaines, il faut humaniser l’informatique C’est aux ingénieurs de construire l’appareil C’est aux autres de l’utiliser
78. MERGE MANY SOURCES INTO AN UNIQUE SEMANTIC NETWORK OF MEETINGS, PEOPLE, PLACES, DATES ... MEETING B MEETING C MEETING D MEETING A Paris London Munich Sept 23 Oct 17 John A. Kees C. Theo Z. Jamel B. Fred L. Hans X. Sven F. Marco L. From web mining From database From Humint From Jane ’s files
79. Mapping of an Organisation via a Journey from Informations to Intelligence Raw Informations About Organisation XXX Intelligence Report About Organisation XXX
80. LITTERATUS CALCULUS FUNDAMENTALS INFERON : minimal and autonomous sentence in natural language INTERLOGOS : set intersection (words) of two INFERONS ARGOS : a subgraph of INFERONS and their INTERLOGOS
81. EXAMPLE There are two national airlines having scheduled flights to airport of Tivat Montenegro Airlines has regular flights serving Tivat Airport flights tivat airport airlines Montenegro Airlines opens an Agency in Kotor montenegro airlines airlines
82. OUR GOAL IS TO REPLACE INFORMATION SYSTEMS, DOCUMENTS, DATABASES BY USERS INTERACTION (WRITE, READ, QUERY, REUSE, ANALYSE, VISUALIZE, NAVIGATE, COMPUTE …) WITH INFERONS
89. What are the domains of expertise of Laure which are also known of Polytechnique students?
90.
91. SI ON REMPLACE LES ENONCES PAR DES IMAGES ? SI ON REMPLACE LES INTERLOGOS PAR DES INTERSECTIONS D’IMAGES ? SI ON REPRESENTE UNE VIDEO COMME UN LIGNE D’IMAGES, CHACUNE PARTAGEANT DES INTERLOGOS AVEC D’AUTRES IMAGES APPARTENANT A D’AUTRES LIGNES ? VERS DES AZIMUTS SPATIO-TEMPORELS