
Knowledge-Based Programs as Plans - The Complexity of Plan Verification
Lang, Jérôme; Zanuttini, Bruno (2012), Knowledge-Based Programs as Plans - The Complexity of Plan Verification, dans De Raedt, Luc; Bessiere, Christian; Dubois, Didier; Doherty, Patrick; Frasconi, Paolo; Heintz, Fredrik; Lucas, Peter, Proceedings of 20th European Conference on Artificial Intelligence (ECAI 2012), Ios Press : Amsterdam, p. 504-509. 10.3233/978-1-61499-098-7-504
Voir/Ouvrir
Type
Communication / ConférenceDate
2012Titre du colloque
20th European Conference on Artificial Intelligence (ECAI 2012)Date du colloque
2012-08Ville du colloque
MontpellierPays du colloque
FranceTitre de l'ouvrage
Proceedings of 20th European Conference on Artificial Intelligence (ECAI 2012)Auteurs de l’ouvrage
De Raedt, Luc; Bessiere, Christian; Dubois, Didier; Doherty, Patrick; Frasconi, Paolo; Heintz, Fredrik; Lucas, PeterÉditeur
Ios Press
Ville d’édition
Amsterdam
Isbn
978-1-61499-097-0
Nombre de pages
1056Pages
504-509
Identifiant publication
Métadonnées
Afficher la notice complèteAuteur(s)
Lang, JérômeLaboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
Zanuttini, Bruno
Groupe de Recherche en Informatique, Image et Instrumentation de Caen [GREYC]
Résumé (EN)
Knowledge-based programs (KBPs) are high-level protocols describing the course of action an agent should perform as a function of its knowledge. The use of KBPs for expressing action policies in AI planning has been surprisingly underlooked. Given that to each KBP corresponds an equivalent plan and vice versa, KBPs are typically more succinct than standard plans, but imply more online computation time. Here we compare KBPs and standard plans according to succinctness and to the complexity of plan verification.Mots-clés
knowledge representation; planningPublications associées
Affichage des éléments liés par titre et auteur.
-
Lang, Jérôme; Zanuttini, Bruno (2013) Communication / Conférence
-
Lang, Jérôme; Zanuttini, Bruno (2013) Communication / Conférence
-
Zanuttini, Bruno; Lang, Jérôme; Saffidine, Abdallah; Schwarzentruber, François (2019) Article accepté pour publication ou publié
-
Lang, Jérôme; Zanuttini, Bruno (2015) Communication / Conférence
-
Laverny, Noël; Lang, Jérôme (2005) Communication / Conférence