tétralemme

Je propose une logique tétravalente, alternative à la logique binaire classique (vrai/faux). Elle  introduit quatre valeurs de vérité :

Vrai (V) : une proposition est vraie et correspond à la réalité.

Faux (F) : une proposition est fausse et ne correspond pas à la réalité.

Indéterminé (I) : il est impossible de déterminer si une proposition est vraie ou fausse avec les informations disponibles.

Contre-vrai (C) : une proposition est fausse mais semble vraie à première vue.

J'ai développé cette logique pour analyser des paradoxes logiques et des problèmes de langage et ai pu montrer que la logique tétravalente permet de résoudre des problèmes qui ne peuvent pas être résolus avec la logique binaire classique.

On a pu aussi voir quelques applications concrètes de cette logique tétravalente en sociologie :

- Analyse des identités sociales: La logique tétravalente peut être utilisée pour analyser les identités sociales complexes et multidimensionnelles, en tenant compte des nuances et des contradictions. Par exemple, un individu peut s'identifier à la fois comme homme et femme, ou comme appartenant à plusieurs groupes ethniques ou religieux. La logique classique binaire ne permet pas de capturer cette complexité, tandis que la logique tétravalente offre des nuances supplémentaires pour comprendre les identités multiples et fluides.

- Etude des attitudes et des opinions: Les attitudes et les opinions des individus ne sont pas toujours binaires (pour ou contre). La logique tétravalente peut être utilisée pour analyser les nuances des opinions, en tenant compte de l'incertitude, de l'ambivalence et des opinions contradictoires. Par exemple, une personne peut être "plutôt d'accord" avec une affirmation, tout en ayant des réserves ou en reconnaissant des arguments contraires.

Analyse des interactions sociales: Les interactions sociales ne se limitent pas toujours à des situations de confrontation binaire (coopération/conflit). La logique tétravalente peut être utilisée pour analyser les interactions plus subtiles et nuancées, en tenant compte de la négociation, de la manipulation, de la résistance et d'autres formes de relations sociales complexes. 

 

Auteur: Tarski Alfred

Info: "Der Wahrheitsbegriff in den formalisierten Sprachen." Studia Philosophica 1, 1-26. 1936

[ phiosophie ]

anticipation

Cette anticipation démentie de notre auteur conduit à s'interroger sur la dimension prospective de la Science-Fiction, et sur la persistance de son intérêt même lorsque la vision est démentie par le déroulement de l'histoire. C'est une vieille question posée dès les premiers romans de Wells et ses essais prospectifs. Elle a été profondément renouvelée par les romans “réalistes” de John Brunner, l'Orbite déchiquetée, Tous à Zanzibar, Sur l'onde de choc et Le troupeau aveugle .

En plus d'un sens, le public y a répondu en continuant à lire avec enthousiasme des œuvres qui avaient, apparemment, perdu leur actualité. Le Vingt mille lieues sous les mers de Jules Verne a toujours des lecteurs, tout comme les Premiers hommes dans la Lune de Wells. Sous certaines conditions de présentation, une intrigue spéculative demeure passionnante comme si son lecteur pouvait se remettre dans les conditions d'ignorance qui rendaient possible l'énigme originelle. Peut-être s'agit-il même là d'un des traits importants de la Science-Fiction. Elle ne serait pas spéculation à partir d'un savoir, un au-delà du savoir positif en somme, comme affectent de s'en indigner certains scientifiques à propos de ses facilités, ou une ébauche de métaphysique comme s'en félicitent quelques philosophes. Mais elle serait un problème soulevé dans un cadre à peu près consistant et à laquelle l'auteur donne une ou plusieurs réponses à peu près logiques dans ce cadre. Sa vraisemblance est plus interne que contextuelle. Si le lecteur admet le problème, il va s'intéresser à la démarche de l'auteur dans l'exposition de ses propositions de réponse, allant jusqu'à faire abstraction de ses connaissances antérieures et admettant ce qui, en temps normal, lui aurait paru absolument inadmissible. Dans le cas d'un problème simple comme celui du voyage interstellaire, la question n'est donc pas de savoir si la solution proposée par l'auteur respecte ou non les limitations relativistes ni comment il les tourne ; elle n'est pas non plus tellement d'accepter que le voyage interstellaire soit possible sans trop s'inquiéter de ses moyens et d'explorer quelles en seraient les conséquences, ce qui est la définition la plus souvent donnée de la Science-Fiction ; mais elle est de voir quelle dramaturgie, quel style, l'auteur va adopter pour faire accepter sa solution.

Auteur: Klein Gérard

Info: In Préface d'Eon de Greg Bear

[ futur-ancien ] [ littérature ] [ être bon public ] [ lecteur docile ]

sujet inconscient

Qu’il y ait "des pensées qui se pensent elles-mêmes", disons que c’est à l’accepter et à l’entendre, que la découverte de FREUD nous a convoqués.

Qu’il y ait "des pensées qui se pensent elles-mêmes" reçoit de FICHTE le nom de "postulat de la déraison". C’est là sans doute une expression qui doit nous retenir en ce qu’elle marque, sans équivoque, la limite de la philosophie de la subjectivité, dans son impossibilité à concevoir rien d’une pensée qui ne serait pas l’acte d’un sujet.

Au contraire, articuler "les lois de la pensée qui se pense elle-même" requiert de nous, de nous constituer des catégories incompatibles radicalement avec celles de la pensée pensée par le sujet. C’est pourquoi nous nous aiderons ici de ce qui a été élaboré dans un domaine de la science où il fut question, dès l’origine, des pensées qui se pensent elles-mêmes : qui s’articulent en l’absence d’un sujet qui les anime.

Ce domaine de la science, c’est la logique mathématique. Disons que nous devons tenir la logique mathématique comme logique pure, pour le jeu théorique où se réfléchissent " les lois de la pensée qui se pense elle-même " en dehors de la subjectivité du sujet.

Or, on doit noter que la constitution du domaine de la logique mathématique s’est faite par l’exclusion, progressivement assurée, de la dimension psychologique, où il semblait auparavant possible de dériver la genèse des éléments des catégories spécifiquement logiques. Rappelons qu’à nos yeux l’exclusion de la psychologie nous laisse libres de suivre, en ce champ, les traces où se marque ce qu’il faut nommer "le passage du sujet", dans une définition qui ne doit plus rien à la philosophie du cogito pour ce qu’elle rapporte le concept du sujet, non pas à sa subjectivité, mais à son assujettissement.

En quoi la logique mathématique s’avère-t-elle propre à notre lecture ? Eh bien, en ceci : que l’autonomie et la suffisance qu’elle s’efforce d’assurer à son symbolisme rendent d’autant plus manifestes les articulations où achoppe la marque de son fonctionnement. C’est donc très simplement en tant qu’elles articulent sans le savoir la suggestion de la subjectivité du sujet, que les lois de la logique mathématique peuvent nous retenir ici.

Auteur: Miller Jacques-Alain

Info: Séminaire de Jacques Lacan, 30 novembre 1966

[ psychanalyse ] [ exemplarité structurelle ]

écosophie linguistique

FLP voudrait appréhender les mots et les phrases comme les atomes et autres briques du vivant, qui se structurent et structurent la nature. C'est à dire élaborer un agencement lexicologique, codage humain, qui s'inspire de certains mécanismes dont nous sommes issus. 

Il s'agira alors d'une hiérarchie différente, c'est à dire non pas selon des logiques de pouvoir, mais plutôt via des rencontres qui définissent en elles-mêmes certains points chauds, lieux, endroits topologico-temporels, carrefours gravitationnels, rencontres... tous synonymes d'opportunités collaboratives. Et éventuellement de rejets. 

La matière parle, interagit, s'adapte, sous l'influence de 3 acteurs majeurs : la gravitation, le cycle de l'eau et les transferts d'énergie. A partir de là elle développe des complexités qui résonnent entre elles et avec l'environnement au sens plus large, comme le soleil et les planètes... (autre chose ? voir ici les paragraphes à propos de la force de Coriolis). 

Ainsi la nature "fait avec" les conditions données telles que nous les percevons et les comprenons, générant des processus orthogonaux (espèces, essences... qui simultanément subjectivisent et généralisent... mutent...) dans le cadre d'une complexe syntropie d'interactions en constant rééquilibrage sur plusieurs niveaux-échelles. Tout ceci produisant un enchevêtrement qui ne peut qu'émerveiller l'observateur, intégré et dépassé par ce qui l'a généré lui-même. Nommons ce phénomène au niveau planétaire local : Gaïa. 

Orthogenèse elle-même ? C'est possible.

L'homme doit se réinventer afin de retrouver une place raisonnable au sein de ce système. 

Nous pensons que cela concerne, entre autres, le langage, ici écrit, pure particularité humaine, presque une définition de cette race.

Ainsi FLP, outil communautaire collaboratif, en développant un corpus lexicologique grâce à quelques esprits curieux - veut participer à cette réflexion-refonte, à partir de quelques idées. Dont celle, centrale, qui désire intégrer-concilier le développement idiosyncratique individuel subjectif solipsiste et horizontal de chacun au sein du processus vertical de la culture humaine, séquence humaine orthogonale elle-même intégrée le plus finement possible dans un processuf évolutif terrestres élargi, objectif, vertical temporel... et peut-être exponentiel. 

Il est plausible que tout ceci soit téléologiquement programmé et que la création-intégration de FLP apparaisse comme une émergence naturelle, contrefeu aux diverses IA sémantiques, structures mécaniques sans affect ni douleurs, ni émotions...   peur de la mort...   et autres particularités purement organiques.

Auteur: Mg

Info: déc 2023

[ ouverture ] [   intégration ] [   coopétition ] [   glocalisation ] [    au coeur de FLP mégalo ] [    tétravalence ] [   atemporalité ] [ transcendance ] [ contre-pouvoir ] [ nature ] [ modèle ] [ organique ]

philosophie

Les trois principes de la logique aristotélicienne, qui fondent l'édifice de la raison, sont l'expression formalisée de cette récusation de toute confusion incestuelle qui a formé une part fondamentale du propos central de la civilisation hellénistique: le premier d'entre eux, le principe d'identité, vise à établir ce que j'appelle le "corsetage distinctif des étants", à partir de ce saut majeur vers l'humanisation que constitue le stade du sein, cette véritable dé-fusion qui cristallise la naissance d'un sujet distinctif ne se confondant désormais plus avec les bras qui le portent ou le sein qui le nourrit, reconnus comme attestation d'une altérité dorénavant irréductible. De proche en proche, par le jeu des inférences et des extrapolations, cette faculté acquise d'appréhension distinctive du monde s'étendra à tous les étants qui le peuplent. Le principe de non-contradiction, qui forme le deuxième des trois grands principes de la logique aristotélicienne, a pour objet de garantir la cohérence des propriétés intrinsèques et relationnelles propres d'un objet quel qu'il soit. Sa matrice initiale en est également la récusation de la confusion incestuelle: les conflits logiques inter et intra générationnels qui résulteraient du franchissement d'un tel interdit sont insolubles pour la raison et ouvrent une béance vers les gouffres de la psychose. Le mythe d'Œdipe notamment l'atteste de manière indubitable: sous peine d'être aveuglé, supplice qu'Œdipe s'inflige au terme de ses transgressions, c'est-à-dire d'être privé de lumière au sens littéral autant que métaphorique dans l'ordre de la raison, un fils ne peut épouser sa mère, qui sinon deviendrait à la fois la mère de ses enfants, mais en serait également la grand-mère, lui-même devenant leur père mais également leur frère et leur grand-père, en sa qualité de conjoint de celle qui, sous un certain angle, est leur grand-mère. On le voit, la folie n'est pas loin, sœur d'une telle confusion. Le troisième pilier de la logique classique, le principe du tiers exclu, forme le gardien de cette porte ouvrant sur la folie, interdisant la tentation de l'édification d'univers alternatifs où, entre l'existence et l'inexistence d'un étant, pourrait se trouver un état intermédiaire permettant illusoirement de laisser une place à l'impensable - il convient cela dit de préciser incidemment que l'application au domaine de l'être de ce principe du tiers exclu, selon laquelle il n'y aurait pas de gradations dans l'être semble n'être pas soutenable dès lors qu'elle est appliquée au domaine du vivant, tant il y a bien dans l'ordre de l'inscription des êtres vivants au sein du monde différentes gradations d'être, depuis l'organisme mono cellulaire jusqu'à l'être humain en passant par les multiples modalités plus ou moins évoluées de présence au monde que l'on trouve dans le règne animal.

Auteur: Farago Pierre

Info: Au sujet du diable

[ inceste ] [ traduction psychanalytique ] [ castration ]

pré-sémantique lexicale

Par comparaison à ce qu'il se fait en TAL(N)*, Plongement lexical (word embedding), Fléau de la dimension, et autres Sélection de caractéristiques par vectorisation... disciplines-processus orientées par ce que nous nommerons "objectivité des statistiques", FLP préfère se situer au sein d'une démarche Homme-Machine. Ici les participants "mettent du leur", même si notre notre étiquetage, avec sa petite hiérarchisation "catégorie-tag", peut être analogisée avec certaines "sélection des caractéristiques" développées dans le TAL afin d'affronter le fléau de la dimension. 

Chez FLP nous nous sentons bien plus proches d'une "chair subjective" de la compréhension du sens des mots, en fonction de paramètres plus "a posteriori" qu'"à priori" - dans l'acception kantienne du terme, c'est à dire que la réflexivité, "issue du vécu" de la personne qui insère une entrée, est à la base du processus. 

Processus homme-machine donc, parce que nous pensons que toutes les méthodologies de mathématisation du langage sont principalement issues de logiques soit de marchandisation, soit de fabrication du consentement... Allez, disons le mot, nous considérons que ce furent, et sont encore, des logiques de pouvoir, comme déjà expliqué dans notre profession de foi. Pouvoirs en général trop éloignés des "lignes de fronts" de nos vie. Nous somme pro-décentralisation.

On trouvera au passage un excellent article qui décortique brillamment et catalogue ce qui existe en Sémantique distributionnelle et en linguistique de corpus en ce début de 3e millénaire. Et donc, par comparaison avec toutes les complexités explicitées dans ce compendium en lien, FLP avance avec quelques "idées simples". Nous n'en conserverons qu'une ici.

Celle que nous sommes semblables aux humains d'antan, ceux qui développèrent les premiers langages-symboles "externes", signes-marques organisés utilisés très majoritairement pour établir des listes. Avec FLP nous faisons à peu près la même chose, à la différence que jusqu'à peu, à une époque on on peut avancer que chaque terme-idée-concept humain est devenu un "quasi-esprit". En effet, les dictionnaires, avec maintenant wikipedia, ne listent que des mots-concepts simples, présentant leur définitions, variantes et autres polysémies. Les fameux mots-mondes, presque esprits, sont isolés.

Alors, allant au-delà des grandes possibilités de désambiguation que le web permet, FLP offre la possibilité de lister-indexer-combiner deux mots-idées (souvent leur radicaux suffiront). Avec trois termes - ou plus - c'est aussi possible, mais cette première articulation à deux est très importante. Nous la voulons à petit pas parce qu'il nous parait qu'elle représente par essence un saut important. Donc à explorer avec circonspection.

Ainsi, via une modération communautaire, se développe la base de données FLP. Elle qui intègre des textes en général très ou assez courts, traitants n'importe quel sujet. BD intelligente aussi, au sens où ses paramètres et ceux des auteurs sont affinés, et permettent de combiner beaucoup de recherches différentes (par sexe, diacronies, topologies, etc) grâce à la souple puissance d'Elastic Search.

Auteur: Mg

Info: oct 2022 *Traitement automatique du langage (N) le N est pour naturel

[ citation s'appliquant à ce logiciel ] [ pré-mémétique ? ]

exactitude

Avant d'aborder quelques constatations théoriques sur le langage, le sens et la vérité, il faut examiner de plus près le concept sous un angle historique. Tout d'abord la classification d'un grand nombre de philosophes du 20e siècle en deux grands camps opposés est, au mieux, une entreprise hasardeuse. Les philosophes sont des individualistes notoires et les écoles ou mouvements philosophiques sont, pour cette raison, caractérisés aussi souvent par leurs tensions et divisions internes que par leurs accords. Mais le langage, le sens et la vérité, sont des préoccupations omniprésentes dans la pensée du 20e siècle - au-delà des frontières des écoles individuelles - et que les différences dans la façon dont ces concepts sont compris deviennent parfois définitives pour certaines écoles philosophiques. On notera aussi qu'une grande partie de la philosophie du 20e siècle montre un intérêt particulier pour le concept de vérité, dû à une insatisfaction à grande échelle de la conception classique de la vérité en tant que correspondance, et que différents philosophes cherchent à appréhender le concept de vérité de manière très différente. Une brève liste de ce que les philosophes et groupes de philosophes ont dit sur la vérité rend cela évident :

Les pragmatistes : la vérité est l'utilité.

Nietzsche : la vérité est interprétation.

Frege : la vérité est simple et indéfinissable et ne ressemble à aucun autre prédicat.

Moore et Russell à leurs débuts : la vérité est simple, indéfinissable et exactement comme tout autre prédicat.

Les positivistes logiques : il faut remplacer le concept de vérité par celui de vérification/falsification.

Heidegger : la vérité est la non-divulgation (a-letheia qui, selon Parménide, oppose le domaine de la Vérité - alètheia - à celui de l'opinion, ou doxa. Selon les Définitions jointes aux manuscrits de Platon, l’alètheia est la "disposition qui permet l’affirmation et la négation". Selon Parménide, on peut opposer le domaine de la Vérité alètheia à celui de l'opinion, ou doxa. 

Wittgenstein à ses débuts : la vérité est un miroir, mais dire cela n'a vraiment aucun sens.

Wittgenstein plus tard : les tentatives de caractériser la vérité sont vides.

Foucault : la vérité est un système de procédures liées dans une relation circulaire au pouvoir.

Ces variations montrent non seulement l'intensité des discussions sur le concept de vérité, mais aussi qu'on ne peut pas facilement réduire cette multiplicité à une opposition entre ceux qui considèrent que la vérité est définissable et ceux qui ne le font pas. Le caractère définissable ou indéfinissable de la vérité n'est qu'une des questions qui divisent les philosophes. Des divisions tout aussi fondamentales découlent de la question de savoir si la vérité doit être considérée comme un concept sémantique, pragmatique ou ontologique.

Une autre division fondamentale semble exister entre ceux qui veulent adhérer à une certaine notion de la vérité et ceux, comme les positivistes logiques, qui cherchent à la mettre de côté comme un résidu de la métaphysique traditionnelle.

Auteur: Hintikka Jaakko

Info: Tel que rapporté par Hans Sluga sur http://www.truthandpower.com/

[ étymologie ] [ relativité ] [ langage ] [ mathématiques ] [ synthèse ] [ aléthique ] [ triade ]

anthropo-zoom

Issus d'une infinité de précédents verbaux, parlés ou littéraires, nous nous sommes accoutumés-enfermés dans une certaine linélarité de la réflexion. Eloignés du monde : du monde des signes. Un signe n'est jamais linéaire - juste partie à miroitantes facettes d'un monde complexe et perspectiviste. Ainsi des signes perçus et souvent mal interprétés, peut-être plus pour ceux réfugiés dans l'univers des symboles, logiques réductives et autres conventions écrites-codées : le monde humain (soi-disant) consensuel. 

Mais le langage est aussi ouverture. Emergence du minéral-végétal-animal-singe pensant. Abstraction, mémoire-réflexion communautaire qui l'éloigne de la source. 

Mais non !...  Qui l'émancipe. Lui fait voir. 

La dualité est intriquée, toujours, elle est notre lot. La physique quantique se borne au constat, les limites intrinsèques de nos idiomes restant bien loin d'un quelconque "performatif" en la matière. Il nous manque un jargon communautaire sous-tendu par une logique indépendante de son substrat. 

Ah ah ah ah ah ah... C'est si facile à énoncer. 

Résumons-pensons : aux règnes minéraux, végétaux, etc. où des myriades d'interactions s'interpénétrent et s'auto-influencent sans cesse dans le flux d'une évolution apparemment lente et progressive. Mais qui avance aussi par paliers. 

Et vient l'affranchissement gravitationnel, enclenché chez le végétal, accéléré chez nos proches cousins animaux... qui se meuvent, changent de régions, de continents... Se libèrent topologiquement, s'opposent à l'immobilisme.

Et nous autres... qui explorons Mars.

L'entendement se brouille devant tout ça, épigénétique et binz des interactions multiples, sur des échelles trop grandes - du quark au cosmos entier - bidules qui s'assemblent, s'enveloppent, s'aggrègent... Pour constituer toutes sortes de sphères-astres, systèmes planétaires et autres immenses machins...  qui batifolent.

Et donc, à partir d'un de ces berceaux de matière-énergie E=mc2 - et sous certaines conditions pour ce que nous avons pu voir sur terre - les atomes se sont combinés-organisés, formant des molécules, cellules... organismes... puis des mousses, etc...  jusqu'à nous. 

Les mêmes atomes, partout, qui, après treize milliards d'années, nous accouchent. 

Et voilà que nous parlons, inscrivons et conservons nos idées, en les mélangeant... les traduisant...

Ecrits, dialectes, signes-symboles, langages, proverbes, images, romans, codages, musique... représentations... Tout celà maintenant accessible d'un clickement de doigts sur le Web. 

Et vlatipa que certains démontrent que l'état des lieux de nos "savoirs humains" n'est que notre propre reflet. Lisez un peu ceci.  (...)

Humain transitoire perdu dans une complexité qui s'expand, mu par un truc miroir, progressif... "Si l'esprit humain était suffisamment limpide pour qu'on le comprenne, nous serions trop simple pour pénétrer les choses." formula Emerson W. Pugh. Notion exprimée différemment par Raymond de Becker : "L'esprit peut être comparé à un cristal restituant différemment la lumière selon la facette qui la reçoit." Ici nous sommes tout prêt de l'idée des étages-hiérarchies septénaires des Dialogues avec l'ange.

Constant essor des limites du solipsisme anthropique, joliment résumé par Velimir Khlebnikov

Auteur: Mg

Info: 2 nov. 2022

[ linguistique ] [ limitation ] [ pensée rationaliste ]

prospective

On ne se lasse pas, chez FLP, de découvrir, décrypter, traduire et analyser tous types d'écrits dont les extraits considérés comme intéressants et/ou significatifs sont ensuite intégrés dans la base de données. Les langages humains, centrés/rassemblés ici en français, sont d'une immense diversité.

Nous constatons en parallèle que le langage est, pour ce que nous pouvons constater, une émergence assez miraculeuse et étonnante puisqu'elle constitue un importante particularité de l'humain en tant qu'espèce. On constate aussi que les signes écrits sont une apparition très très tardive au regard de l'évolution terrestre et même de celle des mammifères hominidés. 

Ce développement récent, cette ouverture sémantique, est très probablement propice aux outrecuidances ; L'homme se met au centre de l'univers, développe des religions et voilà qu'arrivent ceux qui, avec force contorsions linguistiques, viennent nous expliquer l'être, le non-être, l'infini... toutes choses ma foi fort intéressantes en termes de développement des idiomes et des approches syntaxiques, mais qui semblent de bien pâles et simplistes explications si on veut bien comparer ces développement onomasiologiques et sémasiologiques avec l'incroyable et semble-t'il infini développement que le vivant (où est la frontière avec le non vivant ?) présente devant nos yeux ébahis.

FLP, outil lexicographique d'une certaines complexité, voudrait sans cesse remettre cette idée sur le tapis : les langages humains actuels, de par leurs  simplicités conceptuelles et donc les limites qu'elles imposent, sont porteurs d'extraordinaires développements futurs, développements potentiels qu'il faut stimuler sans se refuser, comme ici, à l'utilisation de la technologie informatique. Ainsi sera-t'il peut-être possible de se libérer de carcans idiomatiques tels que le binarisme, un certain mécanisme grammatical ou autres manies analogiques. 

Avec "Les Fils de La Pensée" nous voulons aussi nous positionner sur une voie pragmatique, en prolongement des fondements sémiotiques logiques apportés par C.S. Peirce, c'est à dire en tentant de rester en contact avec un réel dit scientifique, à l'image, par exemple, des développements de l'épigénétique. Avec cette phrase de Bruce H. Lipton au passage : "Il faut que les gens réalisent que leurs pensées sont plus primaires que leurs gènes, car l'environnement, qui est influencé par nos pensées, contrôle les gènes." Voilà probablement une piste pour éviter le langage pulsionnel simpliste et ses effets, par comparaison avec une sagesse de la matière vivante, progressivement développée dans le temps via d'itératives résonances que nous commençons à découvrir..

Le langage n'est que consensus grégaire provisoire pour communiquer, conserver et développer le savoir. Nous croyons donc que ce consensus s'appuiera de manière plus heureuse sur le réél (priméité) tel que délivré par nos sens et les outils mis à leur disposition, qu'en prenant pour acquis on ne sait quels raisonnements métaphysiques abstraits ou religieux qui, avec l'inertie et les routines du temps, ont pris des positions sémantiques bien trop importantes au regard de leurs réalités démontrées. Les mondes astraux, la télépathie ou les Ovnis, si on veut s'amuser avec d'autres concepts ésotériques et/ou proches de la simple croyance religieuse, ne semblent pas avoir moins de consistance que les diverses traditions spirituelles humaines, en termes de témoignages rapportés en tous les cas.

Auteur: Mg

Info: 30 août 2020

[ citation s'appliquant à ce logiciel ]

machine pensante

Cette IA de Deepmind pourrait révolutionner les maths et " repousser les frontières de la connaissance humaine "

DeepMind vient de frapper un grand coup : le laboratoire d'IA de Google a annoncé en janvier avoir développé AlphaGeometry, une intelligence artificielle révolutionnaire capable de rivaliser avec les médaillés d'or des Olympiades internationales dans la résolution de problèmes de géométrie. Si cela ne vous parle pas, sachez que les médailles Fields - Terence Tao, Maryam Mirzakhani et Grigori Perelman - ont tous les trois été médaillés d'or lors de cette compétition annuelle de mathématiques qui fait s'affronter les meilleurs collégiens et lycéens du monde. Or, AlphaGeometry a résolu avec succès 25 des 30 problèmes de géométrie de l'Olympiade, se rapprochant ainsi du score moyen des médaillés d'or humains. C'est 15 de plus que son prédécesseur. Mais comment les scientifiques de DeepMind ont-ils accompli un tel exploit ?

L'approche neuro-symbolique, la petite révolution de l'IA

AlphaGeometry est le fruit d'une approche neuro-symbolique, combinant un modèle de langage neuronal (MLN) et un moteur de déduction symbolique (MDS).

Les MLN sont des réseaux de neurones artificiels entraînés sur de vastes ensembles de données textuelles. Ils sont capables d'apprendre et de reconnaître des schémas et des structures dans les données textuelles, ce qui leur permet de générer du texte cohérent et de comprendre le langage naturel. Les MDS sont, pour leur part, particulièrement efficaces pour traiter des problèmes qui nécessitent une manipulation formelle des symboles et des règles logiques.

L'approche neuro-symbolique permet de faire travailler ces deux composantes en tandem : dans le cadre d'AlphaGeometry, le MLN prédit des constructions géométriques potentiellement utiles, puis le MDS utilise ces prédictions pour guider la résolution du problème. Cette combinaison offre à l'IA les capacités intuitives des réseaux de neurones et la rigueur logique des moteurs de déduction symbolique, ce qui lui permet de résoudre efficacement des problèmes de géométrie complexes.

Pour surmonter le manque de problèmes mathématiques de niveau Olympiades qui auraient dû servir de données d'entraînement à AlphaGeometry, les chercheurs ont développé une méthode innovante de génération de données synthétiques à grande échelle, permettant au génial bébé de DeepMind de s'entraîner sur un ensemble de 100 millions d'exemples uniques.

(Image : Alphageometry résoud un problème simple...) 

Mission : repousser les frontières de la connaissance

Cette réalisation marque une avancée significative dans le développement de systèmes d'IA capables de raisonner et de résoudre des problèmes mathématiques complexes, rapportent les chercheurs de DeepMind dans un article paru dans Nature en février dernier. Bien que présentant des résultats impressionnants, AlphaGeometry se heurte tout de même à quelques défis, notamment celui de s'adapter à des scénarios mathématiques de plus en plus complexes et à mobiliser ses compétences dans des domaines mathématiques autres que la géométrie. 

Malgré tout, cette avancée ouvre la voie à d'extraordinaires possibilités dans les domaines des mathématiques, des sciences et de l'IA. Ses créateurs ne cachent d'ailleurs pas leur ambition : " Notre objectif à long terme reste de construire des IA capables de transférer leurs compétences et leurs connaissances dans tous les domaines mathématiques en développant la résolution de problèmes et le raisonnement sophistiqués dont dépendront les systèmes d'IA généraux ", assènent Trieu Trinh et Thang Luong, les responsables du projet dans un communiqué. 

Le ton est donné : autrement dit, les systèmes d'IA développés par DeepMind doivent acquérir des capacités de résolution de problèmes sophistiquées et de raisonnement, ce qui implique la capacité à identifier des schémas, à formuler des hypothèses, à déduire des conclusions et à prendre des décisions logiques dans des contextes variés. Le tout en " repoussant les frontières de la connaissance humaine ". Très ambitieux, mais peut-être pas impossible.

Auteur: Internet

Info: https://www.futura-sciences.com/ - mars 2024

[ robot intelligent ] [ historique ]