explorations AGI (Artificial General Intelligence)

[Jean-Marc Vanel]

Bonjour

J'ai rassemblé mes notes sur les cas d'utilisation AGI:

http://eulergui.svn.sourceforge.net/viewvc/eulergui/trunk/eulergui/html/AGI_use_cases.html

J'attends un peu quelques retours avant de le publier sur la liste de diffusion AGI ...

Avec mon expérience en "bonne vieille" IA et génie logiciel, j'y ai écrit quelques suggestions pour les agents intelligents.

Il s'agissait d'une conférence fascinante à Oxford [1] en décembre 2012 sur l'Intelligence Artificielle Générale (# AGI). J'ai eu le plaisir de s'entretenir avec certains des chercheurs les plus éminents dans ce domaine. Les principaux systèmes sont les suivants:

Opencog (en C++ et Python)

NARS (Java)

MicroPsi (1 en Java SWT +, 2 en Python)

SOARS (C++)

ACT-R (C)

Pour l'instant je teste surtout NARS, OpenCog ne pouvant être construit sur Ubuntu 2012.10 ( seulement 12.04 ) .

[1] http://www.winterintelligence.org/

[Cyril Hansen]

Bonjour à tous,

Le point intitulé 'Software project analysis' dans le billet correspond à l'un de mes centres d'intérêt prioritaire, sur lequel je peux m'engager sur une contribution dans le cadre d'un périmètre pré déterminé.

Concernant le contexte de la recherche française en IA, j'aimerai savoir s'il existe des projets activement maintenus et raisonnablement à jour techniquement intégrant les travaux de JL Laurière

 (aka Alice, cf http://www.lip6.fr/actualite/information-fiche.php?RECORD_KEY(informations)=id&id(informations)=20).

Ceux ci ont été d'une certaine façon prolongés dans le domaine des jeux de logique par les travaux récents de J. Pitrat, mais leur environnement technique ancien, la réorientation des travaux vers l'IA "dure" et surtout le manque de documentation technique les rend particulièrement peu accessibles, malgré une licence libérale.

Une présentation des capacités de ces systèmes peut se trouver ici : 

http://code.google.com/p/jll-ia-1987/

et là :

http://jacques.pitrat.pagesperso-orange.fr/

Cordialement,

Cyril

--
 
---
You received this message because you are subscribed to the Google Groups "Déductions et EulerGUI en Français" group.
To unsubscribe from this group, send email to deductions-f...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
 
 

[Jean-Marc Vanel]

Pardon pour cette réponse tardive.

Je suis toujours en évaluation / aprentissage de NARS, plutôt avec le cas d'utlisation "assistant de courriels".
J'ai échangé plusieurs courriels avec son auteur Pei Wang, et commité quelques améliorations dans le code.
Il n'est pas utopique que NARS devienne un nouveau moteur d'inférence dans EulerGUI, capable de prendre en compte dynamiquement la révision des connaissances, les contradictions, et la création des nouveaux buts via induction, abduction.

Lire + bas.

Le 29 janvier 2013 13:50, Cyril Hansen <cyril....@gmail.com> a écrit :

Bonjour à tous,

Le point intitulé 'Software project analysis' dans le billet correspond à l'un de mes centres d'intérêt prioritaire, sur lequel je peux m'engager sur une contribution dans le cadre d'un périmètre pré déterminé.

Je n'ai as eu de réactions là-dessus pour l'instant.
Mais je vais l'envoyer à la liste AGI; cependant cette liste contient surtout des messages sur la théorie.
On verra.
J'ai ajouté des cas plus simples liés au développement logiciel.

Concernant le contexte de la recherche française en IA, j'aimerai savoir s'il existe des projets activement maintenus et raisonnablement à jour techniquement intégrant les travaux de JL Laurière

 (aka Alice, cf http://www.lip6.fr/actualite/information-fiche.php?RECORD_KEY(informations)=id&id(informations)=20).

Alice est un système historique , voir :
http://liris.cnrs.fr/csolnon/Site-PPC/session5/e-miage-ppc-sess5.htm

Déjà, faire une utilisation dans des vrais projets, d'outils issus de la recherche,  n'est pas toujours facile.
Je le vois bien avec NARS, et ATTEMPTO, où pourtant j'ai un contact direct avec les auteurs des outils.
Déjà c'est plus facile avec des projets utilisés en production comme Drools, Jena et Euler (entre autres).
Mais alors des projets anciens comme Alice, ou ceux de Pitrat, c'est  tellement difficile que ça ne vaut pas le coup.
En fait les bonnes idées se retrouvent dans plusieurs outils qui apparaissent plus tard.
Par exemple pour Alice, Drools inclut un moteur de résolution des contraintes ( alias SCP ).
Aussi, un système comme CHR est puissant (utilisé par l'équipe Contraintes de l'INRIA à Rocquencourt). Mais Drools Planner n'a rien à envier à CHR sur le plan expressivité et performance (discussion privée avec un des chercheurs de CHR).

Je vais bientôt déjeuner avec un chercheur en IA. Je chercherai à trouver d'autres contacts.
Les contacts que j'ai actuellement en France, sont dans l'IA pour les jeux et la robotique, la logique formelle, les CSP, les ontologies, et le Web Sémantique.

Ceux ci ont été d'une certaine façon prolongés dans le domaine des jeux de logique par les travaux récents de J. Pitrat, mais leur environnement technique ancien, la réorientation des travaux vers l'IA "dure" et surtout le manque de documentation technique les rend particulièrement peu accessibles, malgré une licence libérale.

Une présentation des capacités de ces systèmes peut se trouver ici : 

http://code.google.com/p/jll-ia-1987/

Téléchargé , merci.

Dans une écolé, je suis tombé sur ce "grimoire" intéressant de 1994 :
http://www.priceminister.com/offer/buy/600417/Grumbach-Cognition-Artificielle-Livre.html

Je ne sais pas si Alain G est encore en activité. Je demanderai à l'ENST.

 

To unsubscribe from this group and stop receiving emails from it, send an email to deductions-f...@googlegroups.com.

For more options, visit https://groups.google.com/groups/opt_out.
 
 

--
Jean-Marc Vanel
Déductions SARL - Consulting, services, training,
Rule-based programming, Semantic Web
http://deductions-software.com/
+33 (0)6 89 16 29 52
Twitter: @jmvanel ; chat: irc://irc.freenode.net#eulergui