Discussion :

[Alp]

Bonsoir,

Je m'intéresse actuellement au raisonnement automatisé. Je vous mets en situation.

J'aurai à ma disposition des données structurées (cf le schéma en pièce jointe de ce message, mais en gros soit en base de données, soit dans du XML, etc...). Il faudrait que je réalise un agent qui raisonne sur ces données et qui en tire des conclusions, des faits.
Ces données seront probablement des mots (dans mon cas), liés donc par des relations qui font que l'on a pu structurer ces informations.

Sachant qu'il faudrait que j'utilise une technique générique qui me permettent de faire un moteur d'inférence qui puisse marcher sur n'importe quelle source d'information structurée, que me conseilleriez-vous comme technique ?

N'hésitez pas à donner des liens voir même (encore mieux) des explications et arguments.

Merci d'avance à tous ceux qui prendront le temps de me lire et de me répondre.

[marchand_de_sable]

Bonjour.

Tu peux regarder du côté des ontologies, et notamment des langages comme RDF et OWL (extension de XML).
Ces langages permettent de décrire des objets, relations entre objets, etc., et d'inférer dessus. Je ne maîtrise malheureusement pas ces langages donc je ne peux pas t'en dire beaucoup plus sur la manière de raisonner sur du contenu décrit dans ces langages...

Une des manières est d'utiliser un logiciel comme Protogé2000 (que je connaîs un peu). Il permet de manipuler des ontologies (définir des objets, les liens entre eux, etc.) et permet d'inférer dessus, notamment à l'aide d'une API de développement en Java.
Si je me souviens bien, tu peux créer une ontologie à partir d'un document XML (ainsi que RDF et/ou OWL). Des moteurs d'inférences, de régles, etc. (comme Jena, Racer qui lui, est payant) existent et peuvent se gréfer sur Protégé2000 sous forme de plug-in (s'ils ne sont pas déjà dedans par défaut).

J'ai bosser un peu dessus, mais ça commence à remonter loin, donc j'espère que je n'ai pas tout mélangé.
Il me reste peut-être de a doc sur le sujet. Je fouillerais, si ça t'intéresse.

Bon courage.

[EDIT]
En faisant un petit tour sur Wikipedia et en tapant OWL, tu trouveras déjà quelques infos (notamment des liens vers des moteurs d'inférence).
J'en profite pour faire une petite correction, on parle de concepts et non d'objets dans le monde sémantique.
[/EDIT]

[Alp]

Oui oui bien sûr. Les objets deviennent des concepts dans le monde du sémantique, au sens où ce sont eux que l'on manipule.

En fait, le projet sur lequel je vais travailler a déjà une équipe qui gère les ontologies / stockages en DB / ...


Du coup ma tâche est vraiment de faire de "l'automated reasoning" (en bas à droite sur le schéma) par le biais de moteur d'inférence. Seulement, je n'ai fait que lire des documents sur l'automated reasoning et je serais donc intéressé par des liens démystificateurs ou des explications.

C'est pourquoi j'accepte volontier ta proposition de retrouver de la doc sur les moteurs d'inférence, si tu en as la motivation. Sinon tant pis, je ferai ça

Bon je sais qu'on a des donnés bien structurées de sorte qu'il y ait des relations entre des concepts, etc...

Mais alors quelles sont les techniques d'IA que l'on utilise pour raisonner sur ces données structurées ainsi que tirer des conclusions de ces dernières ?

J'ai entendu parler de Pellet et Protégé par le biais du contact avec lequel je discute pour ce projet, mais je n'en sais pas des masses plus que ce qu'offre les pages principales de leurs sites respectifs.

Donc vraiment, toute aide sur ces moteurs d'inférence est bonne à prendre.

Je te remercie vraiment de t'intéresser à mon "petit soucis" et te remercie pour quoique tu puisse m'apprendre et m'apporter.

Il en va de même pour ceux qui apporteront leur aide bien sûr

encore

PS : en attendant, je vais effectivement me pencher sur la piste que tu donnes

[pepero]

salut
en bréf , les rules engine utilisé dans le raisonement OWL (surout le owl-DL) comme pellet se basent sur des résultats de recherche sur les logiques de description ...si tu veux crée ton moteur d'inférence owl c'est par la que tu doit commencé ...


si tu veux utilisé un moteur d'inférence pour la classification ,et la détection des inconsistances dans une ontologie ..utilise protégé pour l'ontologie et le pellet pour le raisonnement ... (API JAVA dispo )


autre chose : a part la classification et la subsomption , il y a un autre genre de raisonnement que tu peut utiliser sur une ontologie owl , les raisonnement a base de rule SWRL ( tré tré intéressant ) : ils te permettront d'écrire des regles d'inférence du genre A(?x,?y) ^ B(?x,?z) -> C(?y,?z)
tu devra alors utiliser le jess rule engine et le bridge SWRL de protégé ...

ps : désolé pour les erreurs d'orthographe

[Alp]

Merci beaucoup pour toutes ces infos. Je suis en train de lire des détails sur le fonctionnement du moteur d'inférence que je vais devoir utiliser afin de pouvoir le mettre en oeuvre dans un contexte spécifique. Je garde vos messages de côté