2011-02-24 4 views
0

Existe-t-il un logiciel qui agit comme une intersection entre les raisonneurs OWL/RDF contemporains et les planificateurs et ordonnanceurs automatisés STRIPS? Les deux systèmes utilisent l'appariement de motifs basé sur RETE, mais seuls les planificateurs automatisés semblent formaliser le concept d'une «action». Malheureusement, tous les projets que j'ai trouvé qui ont mis en œuvre la planification automatisée, comme Graphplan ou SOAR, semblent être morts ou mourants, et n'ont jamais semblé bien évoluer pour commencer. Les banques de données actuelles sont mises en œuvre sur RDMS et peuvent évoluer et raisonner sur des millions de triplets, mais je n'en ai trouvé aucun qui essaye spécifiquement de raisonner sur les actions. Je peux imaginer comment le concept d'actions pourrait être représenté dans le RDF traditionnel, mais je suis sûr que ce serait encore très compliqué et hackish sans support officiel. Malheureusement, je ne trouve pas beaucoup d'art antérieur. Cela a-t-il déjà été fait?OWL/RDF Automated Planner

Répondre

0

Drools Planner (open source, java, ASL) se repose sur le moteur de règles à base RETE Drools Expert et formalise le concept d'un Move, ce qui pourrait ou ne pourrait pas être l'action que vous cherchez. Il excelle dans la mise à l'échelle, tant dans les données que dans les contraintes de planification. Et il est prêt pour la production et dispose d'un manuel de référence complet.

Il ya quelques recherches en cours pour faire OWL avec Drools Expert, mais je ne sais pas dans quelle mesure c'est à ce stade.

+0

Oui, je suis en train de regarder dans Planner. Il est certainement utilisable, maintenu activement, et open source, bien que je ne sois pas sûr de son évolutivité. Il définit la logique de tout son domaine dans les objets Java compilés et code la spécification du problème dans les fichiers XML spécifiques au domaine. En d'autres termes, vous ne pouvez pas mettre à jour le domaine ou le problème en "téléchargeant" un fichier OWL/RDF dans une base de données. Vous auriez à traduire vos données dans le XML spécifique au domaine et/ou écrire manuellement du code Java et recompiler, ce qui semble peu pratique. J'espère que j'ai tort à ce sujet. – Cerin

+0

"Je ne suis pas sûr à quel point c'est évolutif." Il excelle dans la mise à l'échelle, tant dans les données (= espace de recherche) que dans les contraintes. La seule chose que j'ai vu qui peut évoluer à une taille similaire, c'est cpsolver, mais c'est un prototype de recherche (et non plus maintenu activement IIRC). –

+0

"il code la spécification du problème dans les fichiers XML spécifiques au domaine." Non. C'est juste parce que je ne veux pas charger les exemples avec une connexion à la base de données, mais j'ai besoin de données de test. Le tout est construit pour être capable de travailler sur de vieux objets Java et c'est à vous de les trouver (base de données, xml, infinispan, webservice, ...) –

Questions connexes