sexe

La computation, après tout, sous-entendait un problème qui n'avait pas encore été abordé, une notions pas encore été mises en évidence. Il n'y avait vraiment qu'un seul type de programme pour lequel la connaissance préalable du résultat ne diminuait en rien l'intérêt de l'exercice, et Brüks n'avait jamais pu trouver d'ordre religieux qui décrive Dieu comme accro au porno.

Auteur: Watts Peter

Info: Echopraxia

[ méta-moteur ]

biopouvoir

Le HHMI [Howard Hugues Medical Institute] finance environ 3000 chercheurs répartis en 350 équipes dans 72 institutions en biologie cellulaire, génétique, immunologie, neurosciences, biologie structurale et, dernière-née, en biologie computationnelle. Parmi ses buts affichés, figure celui-ci : "Identifier les principes généraux qui gouvernent comment l’information est traitée par des groupes de neurones". On ne saurait mieux avouer que l’on recherche des modes de contrôle mental.

Auteur: Anonyme

Info: Dans "Les magiciens du nouveau siècle", page 127

[ manipulation des masses ] [ recherche scientifique ] [ PNL ]

homme-machine

Si nous équipons l'ordinateur programmé de transducteurs* afin qu'il puisse interagir librement avec un environnement naturel et un environnement linguistique, ainsi que du pouvoir de faire des inférences, il est loin d'être évident que le théoricien (qui sait comment les transducteurs fonctionnent et donc à quoi ils répondent) dispose encore d'une marge de manœuvre pour attribuer une interprétation cohérente aux états fonctionnels afin de saisir les régularités psychologiques pertinentes du comportement. Si la réponse est que le théoricien ne dispose d'aucune latitude au-delà de l'indéterminisme inductif habituel de toutes les théories face à des données finies, il serait pervers de nier que ces états ont le contenu sémantique qui leur est attribué par la théorie.

Auteur: Pylyshyn Zenon Walter

Info: Computation et cognition, 1984, p. 44. *Le principe de transduction sémantique est avancé pour extraire et formaliser des énoncés du langage naturel. Dans un second temps, les propriétés algébriques de modèles de spécification sont étudiés pour définir une théorie permettant de vérifier la consistance des exigences d'un cahier des charges.

[ machine-homme ] [ instable secondéité ]

noosphère cybernétique

La collusion à l’œuvre depuis plus d’un siècle entre un mode de rationalité prioritairement fonctionnaliste et les techniques computationnelles est aujourd’hui non seulement patente, mais atteint son acmé, imposant une raison numérique fondée sur le découpage d’une mémorisation de tous les actes de la vie. Acceptons-nous d’être toujours plus intégralement régentés par ce mouvement qui s’intensifie et se perfectionne à des vitesses exponentielles, ou sommes-nous décidés à opposer des logiques fondées sur de toutes autres exigences aptes à favoriser la faculté humaine de libre choix et la subjectivation des existences ? Il s’agit là d’un enjeu et d’un défi pratique décisifs, dont notre degré de réponse individuelle et collective définit d’ores et déjà la nature de notre présent et déterminera celle de l’humanité à venir.

Auteur: Sadin Éric

Info: La vie algorithmique, p.261

[ objectif-subjectif ] [ question ] [ citation s'appliquant à ce logiciel ]

heuristique

"Tout processus intelligent réalisé mécaniquement comprendra des ingrédients structurels dont  a) nous considérerons, en tant qu’observateurs externes, qu’ils représentent un compte rendu propositionnel des connaissances exhibées par ce processus et  b) qui, indépendamment d’une telle attribution, jouent un rôle non seulement formel, mais aussi causal et essentiel dans l’engendrement du comportement qui rend ces connaissances manifestes."

(...)

"Dans la mesure où un processus computationnel peut être construit pour raisonner à propos du monde externe en vertu du fait qu’il possède un composant processuel (l’interprète) qui manipule formellement les représentations dudit monde, de même, un processus computationnel pourrait être conçu avec, pour finalité, de raisonner à propos de lui-même, et ce à condition d’être équipé d’un composant processuel (un interprète) qui manipulerait formellement les représentations de ses propres opérations et structures".

Auteur: Cantwell Smith Brian

Info: B.C.Smith, Procedural Reflection in Programming Languages, thèse, Massachusetts Institute of Technology, 1982. pp 15 et 17- Trad. Alexandre Monnin

[ tâtonnement ] [ rétroaction ] [ homme-machine ] [ auto-programmation ] [ secondéité cybernétique ] [ modèle humain ] [ système réflexif ] [ autocritique ]

mathématiques

Algorithmes à Temps Polynomial pour Factorisation Primaire et Logarithmes Discrets sur un Ordinateur Quantique :
On considère généralement qu'un ordinateur numérique est un dispositif informatique universel efficace; C'est-à-dire qu'on l'estime capable de simuler n'importe quel dispositif de calcul physique avec augmentation du temps de calcul d'un facteur polynomial au plus.
Cela peut ne pas être vrai lorsque la mécanique quantique est prise en considération. Cet article examine l'affacturage des entiers et la recherche de logarithmes discrets, deux problèmes qui sont généralement considérés comme difficiles sur un ordinateur classique et qui ont servi de base à plusieurs propositions de cryptosystèmes. Des algorithmes aléatoires efficaces sont donnés pour ces deux problèmes sur un ordinateur quantique hypothétique. Ces algorithmes passent un certain nombre d'étapes polynomiales dans la mémoire d'entrée, par exemple le nombre de numéros de l'entier à prendre en compte.

Auteur: Shor Peter W

Info: AT&T Research, révisé en 1996

[ computation ]

intelligence artificielle

Notre article "Precision Machine Learning" montre que les réseaux neuronaux surpassent l'interpolation simplex uniquement dans plus de 2 dimensions, en exploitant la modularité. Nous développons des astuces de formation pour un ML de haute précision, utiles pour la science et l'interprétabilité.

Résumé : Nous explorons les considérations particulières impliquées dans l'ajustement des modèles ML aux données demandant une très grande précision, comme c'est souvent le cas pour les applications scientifiques. Nous comparons empiriquement diverses méthodes d'approximation de fonctions et étudions leur évolution en fonction de l'augmentation des paramètres et des données. Nous constatons que les réseaux neuronaux peuvent souvent surpasser les méthodes d'approximation classiques pour les exemples à dimensions élevées, en découvrant et en exploitant automatiquement les structures modulaires qu'ils contiennent. Cependant, les réseaux neuronaux dressés-formés avec des optimiseurs courants sont moins puissants pour les cas à basse dimension, ce qui nous motive à étudier les propriétés uniques des zones de déperdition des réseaux neuronaux et les défis d'optimisation qui se présentent et correspondent dans le régime de haute précision. Pour résoudre le problème de l'optimisation en basse dimension, nous développons des astuces d'entraînement-formation qui nous permettent de faire fonctionner les réseaux neuronaux avec une déperdition extrêmement faibles, proche des limites permises par la précision numérique.

Auteur: Tegmark Max

Info: Écrit avec Eric J. Michaud et Ziming Liu, oct 2022

[ mathématiques appliquées ] [ apprentissage automatique ] [ physique computationnelle ] [ machine-homme ] [ affinements mécaniques ] [ sémantique élargie ]

intelligence artificielle

Pourquoi donner à un robot un ordre d'obéir aux ordres, pourquoi les commandes d'origine ne sont-elles pas suffisantes ? Pourquoi commander à un robot de ne pas faire du mal - ne serait-il pas plus facile de ne jamais lui indiquer de faire du mal en premier lieu ? Est-ce que l'univers contient une force mystérieuse qui pousse les entités vers la malveillance, de sorte qu'un cerveau positronique doive être programmé pour y résister ? Est-ce que des êtres intelligents développent inévitablement un problème d'attitude? (...)
Maintenant que les ordinateurs sont devenus vraiment plus intelligents et plus puissants, l'anxiété a diminué à leur sujet. Omniprésents, les computers en réseau d'aujourd'hui ont une capacité sans précédent de faire du mal si jamais ils le voulaient.
Mais le seul chaos vient de bugs imprévisible ou de la malice humaine sous forme de virus. Nous ne nous inquiétons plus sur les tueurs en série électroniques ou autres cabales d'automates en silicium subversifs parce que nous commençons à comprendre que malveillance - comme la vision, la coordination motrice, et le bon sens - ne vient pas librement d'une computation ou d'un calcul, mais doit être programmée. (...)
L'agression, comme toute autre partie du comportement humain que nous prenons pour acquis, est un problème d'ingénierie très difficile, très motivant !

Auteur: Pinker Steven

Info: Comment fonctionne l'esprit

[ éthique ] [ robots ]

homme-machine

Mes travaux les plus importants ont porté sur le développement d'une approche logique de la sémantique du langage naturel, connue sous le nom de grammaire de Montague. Cette approche repose sur l'idée que la sémantique des langues naturelles peut être formalisée à l'aide de la logique intensionnelle, une branche de la logique qui s'intéresse aux significations des expressions.

Ma  Grammaire de Montague permet de rendre compte de la sémantique de nombreuses constructions grammaticales du langage naturel, notamment les constructions relatives, les constructions interrogatives, les constructions modales et les constructions quantifiées.

Mes travaux ont eu une influence considérable sur le développement de la linguistique et de la philosophie du langage. Ils ont notamment contribué à la création de la linguistique computationnelle, un domaine qui étudie les aspects formels du langage naturel.

Voici quelques-uns de mes apports les plus importants la sémantique du langage naturel :

- J'ai montré qu'il est possible d'utiliser la logique intensionnelle pour formaliser la sémantique des langues naturelles.

- J'ai développé une approche unifiée de la sémantique du langage naturel, qui permet de rendre compte de la sémantique de nombreuses constructions grammaticales.

- J'ai contribué à la création de la linguistique computationnelle, un domaine qui étudie les aspects formels du langage naturel.

A ce jour mes travaux sont toujours d'actualité et continuent d'être étudiés et développés par les linguistes et les philosophes du langage.

Auteur: Montague Richard

Info: Compil Bard-Mg, janv 2024 *qui s'oppose de manière critique à la théorie grammaticale de Chomsky, dans laquelle la sémantique est considérée comme un composant indépendant de la syntaxe. Montague affirme au contraire que le sens d'une phrase est immédiatement lié à sa construction syntaxique.

[ apprentissage automatique ] [ onomasiologie ]

dépliages

Je me suis laissé aller à produire quelques considérations sur J.S. Bach, tôt imprégné que je fus par ses soieries auditives (à 5 ans : maman, remets le disque stp), impressionné plus tard (mieux informé) par la force de travail, l'équilibre foncier et la puissance computationnelle du maître des variations symétriques. C'est beaucoup plus tard que mon inculture naturelle - aaah, bonheur de découvrir des choses ! - m'a amené à prendre connaissance des développements de Deleuze sur Leibniz et le baroque. Ces fameux textes de Deleuze sur le pli sont des périples mentaux que je qualifierai de "chimiques", tant ça vous embarque et dévoile des choses qui agissent comme un subtil médicament qui vous tripatouille les méninges. Écrits où les développements s’enchaînent sans discontinuer, présentant surprise après surprise, à l'image des plis qu'il défend, présente... Démontre... Déplie et replie... Le fond rejoint la forme.

C'est costaud.

Deleuze montre que le pli a toujours existé dans les arts, le propre du Baroque étant de le porter. Telle est la philosophie de Leibniz dont il s'inspire, où tout se plie, se déplie, se replie. Comme dans sa thèse la plus célèbre, celle de l’âme “monade”, sans porte ni fenêtre, qui tire d’un fond sombre toutes ses perceptions claires, et qui ne peut se confondre que par analogie avec l’intérieur d’une chapelle baroque de marbre noir où la lumière n’arrive que par des ouvertures imperceptibles vers l’observateur du dedans.

Aussi l’âme est-elle emplie de plis obscurs. Chacun sait que Bach, de la génération suivant Leibniz, est considéré comme le pinacle de la musique baroque. Mais je n'ai pas connaissance d'un travail quelconque (si ça se trouve il y en a des charrettes) sur les analogies de son oeuvre avec la philo de Leibniz*. Je n'ai pas non plus la présomption de m'y lancer. Pas vraiment les compétences. Et les journées sont courtes.

Auteur: Mg

Info: 3 juin 2020 *Les 4 inversions de base du contrepoint dont JSB fut le maître absolu pourraient peut-être servir de base de départ, en éventuelle corrélation avec la tétravalence - alcènes et alcynes - de l'atome du carbone, qui est à la source de la vie telle que nous la connaissons

[ post-renaissance ] [ convergence ] [ mathématiques ] [ éloge ] [ repliements ]