TheCricLinks

Je me pose plein de questions, Internet est un moyen d'y répondre

Nom :

La devise de la France est Liberté - Égalité - Fraternité. Cette devise peut et doit nous aider à trouver le bon chemin.

mercredi 21 décembre 2011

Life as Evolving Software - Grégory Chaitin (PDF)

Lorsque les mathématiques s'attaquent
(enfin)
à l'évolution

Document pour les matheux/scientifiques qui parlent anglais.

Il s'agit de métabiologie au sens de Chaitin: "metabiology is the study of the evolution of computer programs, with the goal of proving theorems concerning the circumstances under which evolution occurs. It’s ultimate goal, as the name suggests, is proving that under Earth-like conditions, DNA-based computers must evolve."

Traduction libre:
"La métabiologie est l'étude de l'évolution des programmes d'ordinateur, avec comme objectif la preuve de théorèmes concernant les circonstances dans lesquelles l'évolution a lieu. Son but ultime, comme son nom l'indique, est la preuve que sous les conditions terrestres, des modèles informatiques basés sur l'ADN doivent évoluer"

Métabiologie n'est pas encore dans Wikipédia mais ça viendra. J'avais déjà parlé de Chaitin [ici!]. La constante Omega de Chaitin est dans wikipédia.

La naissance de Terminator ne semble plus très loin, bienvenue dans le 21ème siècle ;-)

Libellés : , , , , ,

samedi 6 août 2011

Chez AliceBot, on vous propose de créer des "Chat Bots" (agents virtuels) ayant votre propre personnalité

L'environnement Brainhat de Kevin Dowd est connu dans la monde du traitement du langage naturel par ordinateur en particulier pour ses capacités à faire passer des ordinateurs pour des humains comme on peut l'entendre dans ces dialogues enregistrés en anglais (et en MP3) entre un homme qui ne savait pas avec qui il discutait et une intelligence virtuelle nommée Alisha [ici!] et [la!] et cela il y a presque 10 ans. Évidemment il faut comprendre l'anglais pour apprécier...

Vous avez dit Chat quoi ?

Dans le même genre et de nos jours, on peut développer des chat bots (chat= discuter) ayant des personnalités particulières.

"Les Assistants virtuels, appelés aussi chatbots, agents virtuels ou agents conversationnels appartiennent à une large famille de programmes qui emploient des techniques d'intelligence artificielle pour fournir de l'assistance aux usagers de l'Internet"

Si vous ne connaissez pas ce de quoi il s'agit et voulez par vous-même découvrir cette branche de l'intelligence artificielle, voila un chat bot avec un "faux" captain Kirk animé ;-) qui parle anglais bien sûr.

Il faut savoir qu'il existe une compétition annuelle appelée Loebner Prize qui couronne les agents conversationnels satisfaisant le mieux les critères du test de Turing (avec lesquels il est le plus difficile de déterminer s'il s'agit d'un robot ou d'un humain).

Le site chatbots.org qui recense les chatbots vous montrera toutes une série d'agents virtuels déjà en activité. Site à découvrir car vous avez peut-être déjà rencontré ces agents sur certains sites web des plus connus (Numéricable, SFR...) .

Il y a à ce jour déjà 43 agents virtuels en activité parlant français référencés chez chatbots.org, agents qui sont bien sûr plus ou moins intelligents.

Cette branche de l'intelligence artificielle cherchant toujours de nouveaux débouchés, l'équipe d'IA du Dr Wallace qui est le créateur du langage dédié AIML vous propose de l'aide sur votre propre projet de création de bot intelligent parlant ou chat bot , offre valable jusqu'au 1er octobre 2011.

Plus d'infos sur les bots en tous genres sur Alicebot , PandoraBots, chez Brainhat, sur AI Dreams et bien sur Wikipédia rubriques Informatique affective , agent conversationnel et chatbot (page en anglais)

Libellés : , ,

vendredi 12 mars 2010

The Shortest Universal Turing Machine Implementation Contest

Uniquement réservé aux geeks ;-D
#include
#define Z atoi(b[a++])
int main(int a,char**b){
int c=a=1,d=0,e=2;
char*f,*g=0,*h,*i=0;
while(c){if(i<=g|i>=g+e)f=g,g=(char*)calloc(e,2),i=f?(memcpy(g+e/2,f,e),i-f+e/2+g):g+e,h=f?h-f+e/2+g:i,e*=2;
a=Z-c|Z-*i%2?a+3:(c=Z,*i=Z|48,i+=Z,h-=i


Et ceux qui ont Mathematica (lien wikipedia) seront aussi intéressé par ça

Un "gros" player Mathematica gratuit (de 80 Mo pour windows à 150 Mo pour Linux) permet d'accéder aux démonstrations interactives du Wolfram demonstration project

Libellés : , , , , , ,

mardi 21 avril 2009

La machine de Turing n'est pas que virtuelle - Lego of Doom

Alan Turing est LE mathématicien anglais à la source de l'informatique (lien Wikipédia).

Que Turing n'ait pas imaginé sa machine et le monde informatique aurait été certainement différent.

Tous les processeurs qui sont au cœur de vos ordinateur sont avant tout des cousins de la machine originelle de Turing qui peuvent faire au minimum les opérations que la 1ère machine de Turing pouvait faire. En gros la machine originelle est un train qui écrit sur ses rails (ou une bande de papier dans l'article originel ) et qui y lit ses instructions. L'analogie entre les adresses mémoire d'un ordinateur et les positions du train sur ses rails est évidente pour les informaticiens.

Ceci dit Turing n'a jamais réalisé réellement concrètement sa machine, il l'a inventée pour un article mathématique [article ici !] et n'a probablement jamais imaginé la voir naître un jour. C'était en principe un modèle abstrait comme on le dit dans Wikipedia.

L'équipe de LegoOfDoom quant à elle est passée de l'abstrait au concret en réalisant la machine de Turing originelle en Lego :-D



Si vous voulez jouer avec une machine de Turing virtuelle écrite en langage Java [en voici une fonctionnelle !], il vous faudra le Runtime java bien sûr si celui-ci n'est pas installé.

`°º¤ø,¸¸,ø¤º°`°º¤ø,¸¸,ø¤º°`°º¤ø,¸¸,ø¤º°`°º¤ø,¸¸,ø¤º°`°º¤ø,¸¸,ø¤º°`



Un peu plus sur Alan Turing

En plus de sa machine, Turing est aussi le héros qui cassa le mécanisme de chiffrement utilisé par la machine Enigma des nazis, code qui protégeait les positions des sous-marins allemands lors du blocus nazi de la Grande-Bretagne. Là encore point de Turing et l'histoire aurait été changée.

Turing était aussi grand sportif et ... homosexuel. Ce qui lui a peut-être coûté la vie indirectement. Il s'est officiellement suicidé mais certains dont sa mère ont mis en doute cette version (voir cette video en anglais).

Si vous voulez lire un livre en français sur l'histoire de Turing, vous pouvez lire L'homme qui a croqué la pomme de Laurent Lemire (présenté par ce fichier audio mp3) ou bien Turing l'homme qui inventa l'informatique traduit de l'américain (je n'aime personnelement pas ce dernier bouquin car écrit par un non-matheux n'ayant probablement pas eu accès au plaisir des sciences et qui émet trop de jugements lapidaires)

Charles Petzold- un des premiers gourous de l'enseignement de Windows - a même récemment écrit en anglais un bouquin appelé The Annotated Turing qui initie le lecteur en plus de 300 pages à la compréhension de l'article mathématique originel de 32 pages

Beaucoup de pages du web en anglais regroupent les écrits de Turing comme celle-ci sur abellarg.org à la couleur un peu douteuse (on peut la changer :-) mais qui en commente la substance.

Enfin vous ne pouvez rater ni le site Alan Turing.net , ni le site Turing.org.uk

Libellés : ,