pddl2cnf est un traducteur associant à une instance de planification classique codée en PDDL (Planning Domain Definition Language) et à un horizon donné une sortie qui consiste en une formule CNF. Les plans valides pour l’instance de planification d’entrée correspondent aux modèles de la formule CNF de sortie correspondante, projetés sur les variables d’action.


Toute catégorie    Compilateurs   

Aller sur la page web du logiciel