SHS - IA : Semaine bordelaise de sémantique formelle

La semaine Bordelaise de Sémantique Formelle se déroulera à Bordeaux du 27 au 31 mars 2006.
Du 27 au 29 mars, organisée dans le cadre du GDR "Sémantique et Modélisation" et du RTP "Langage naturel, logique et philosophie du langage", l'Atelier logique et sémantique du langage naturel assurera une présentation élémentaire des modèles logiques utilisés en sémantique formelle,
A la suite auront lieux, les 30 et 31 mars, les journées du GDR "Sémantique et modélisation" où seront présentées les communications sélectionnées.
Programme.

IA : Du nouveau pour le club robotique

La société Lego annonce du nouveau pour ses "Lego Mindstorms".
Les NXT (pour New GeneraTion) disposent d'une brique "centre névralgique" (avec écran et boutons) qui héberge le programme (PC ou Mac) permettant de guider le robot grace à 3 moteurs et capteurs sonores et ultrasonores, lumineux et tactiles.
La programmation est soit graphique (par glisser-déposer d'icônes symbolisant actions et mouvements), soit par fichier texte téléchargeable par Bluetooth depuis un ordinateur vers la brique centrale. Plusieurs robots pouvant communiquer entre eux par connexion Bluetooth seront bientôt disponibles à l'IdC, pour les élèves ingénieurs et le club robotique.
Voir le communiqué de Lego, et une vidéo sur le NXT.

BIO - IA : Fourmis et microrobots.

Le projet Micron de Jörg Seyfried du laboratoire de micromecatronique et microrobotique à l’université de Karlsruhe en Allemagne, étudie l'analogie entre colonies biologiques et essaims de micro-robots dont les modes d'auto-organisation et de coopération s';inspirent des fourmis.
Voir l'animation.
Télécharger le pdf du Miniaturised Co-operative Robots advancing towards the Nano range.

DIV : Sur l'absurdité des théories positives

Un article critique du très sérieux journal The Economist sur la loi de Moore appliquée aux rasoirs...

On est bien loin de celui d'Occam.
Voir l'article de Gizmodo.

IA : Automates cellulaires.

Initiés par les travaux de Von Neumann, et mis à portée de tous par des réalisations comme le Jeu de la Vie de Conway, les automates cellulaires, ce sont des programmes informatiques simplissimes qui nous en apprennent beaucoup sur la vie et la complexité.
Un dossier de Jerôme Damelincourt, via Futura-Sciences

DIV : Inflation de l'univers.

Confimation de la La théorie du big bang.
Un cosmos de 13,7 milliards d'années, constitué de 74% d'énergie noire, de 22% de matière noire dont on ne sait pas de quoi elle est faite, et seulement de 4% de matière ordinaire qui compose les étoiles, les planètes et, pour quelques traces, les êtres vivants. Les cosmologistes, les données obtenues grace au satellite WMAP augmente la robustesse du modèle d'expansion de l'univers.
Voir l'article de Futura Sciences.
Accès au site de la mission WMAP.

IA : Aibo est mort ... vive Arin ... ! ! !

Tout le monde le sait, Aïbo est mort, et personne ne pourra jamais le remplacer …
Mais un nouveau prétendant coréen s'annonce. Il s'agit d'un chien de divertissement nommé "ARIN" , créé sur le modèle de la célèbre race de chien coréen Jindo.
D'après Eungsang Park, le créateur d'ARIN, ce robot a été conçu sur le même modèle qu'un vrai chien dans les moindres détails.