Skip to Main content Skip to Navigation
Conference papers

Plus d'inférence et moins de reherche pour la résolution de problèmes de planification simples

Résumé : De nombreux problèmes utilisés en planification de tâches dans le domaine de l'intelligence artificielle comme Blocks, Logistics, Gripper, Satellite et d'autres, ne possèdent pas les interactions qui caractérisent les puzzles. Ils peuvent être résolus rapidement mais non optimalement en temps polynomial. Ce sont en effet des problèmes faciles pour les humains, mais comme beaucoup d'autres problèmes en intelligence artifcielle, difficiles pour les machines. Dans ce travail, nous étudions le type d'inférences requises dans un planificateur indépendant du domaine pour résoudre des problèmes simples en évitant au maximum de faire des retours arrière, en ajoutant uniquement quelques opérations polynomiales à chaque noeud de l'arbre de recherche. A cette fin, nous utilisons le planificateur temporel optimal CPT qui combine un schéma de branchement de type POCL avec des mécanismes d'inférence puissants, et montrons que l'ajout de quelques règles d'inférence simples et générales suffisent pour éliminer les retours arrière pour de nombreux domaines. Il s'agit là d'un résultat empirique intéressant, à notre avis, qui pourrait contribuer au développement de planificateurs automatiques plus robustes, et à une meilleure compréhension de la façon des planifier des humains. Nous apportons aussi une amélioration des performances significative par rapport à CPT.
Complete list of metadata

https://hal.inria.fr/inria-00000093
Contributor : Christine Solnon <>
Submitted on : Friday, May 27, 2005 - 2:09:21 PM
Last modification on : Thursday, March 7, 2019 - 4:10:11 PM
Long-term archiving on: : Thursday, April 1, 2010 - 9:35:05 PM

Files

Identifiers

  • HAL Id : inria-00000093, version 1

Collections

Citation

Vincent Vidal, Hector Geffner. Plus d'inférence et moins de reherche pour la résolution de problèmes de planification simples. Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.355-364. ⟨inria-00000093⟩

Share

Metrics

Record views

154

Files downloads

42