• xmlui.mirage2.page-structure.header.title
    • français
    • English
  • Aide
  • Connexion
  • Langue 
    • Français
    • English
Consulter le document 
  •   Accueil
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • Consulter le document
  •   Accueil
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • Consulter le document
JavaScript is disabled for your browser. Some features of this site may not work without it.

Afficher

Toute la baseCentres de recherche & CollectionsAnnée de publicationAuteurTitreTypeCette collectionAnnée de publicationAuteurTitreType

Mon compte

Connexion

Enregistrement

Statistiques

Documents les plus consultésStatistiques par paysAuteurs les plus consultés
Thumbnail

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
lz-ecai12.pdf (268.3Kb)
Type
Communication / Conférence
Date
2012
Titre du colloque
20th European Conference on Artificial Intelligence (ECAI 2012)
Date du colloque
2012-08
Ville du colloque
Montpellier
Pays du colloque
France
Titre 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
1056
Pages
504-509
Identifiant publication
10.3233/978-1-61499-098-7-504
Métadonnées
Afficher la notice complète
Auteur(s)
Lang, Jérôme
Laboratoire 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; planning

Publications associées

Affichage des éléments liés par titre et auteur.

  • Vignette de prévisualisation
    Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence 
    Lang, Jérôme; Zanuttini, Bruno (2013) Communication / Conférence
  • Vignette de prévisualisation
    Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence 
    Lang, Jérôme; Zanuttini, Bruno (2013) Communication / Conférence
  • Vignette de prévisualisation
    Knowledge-Based Programs as Succinct Policies for Partially Observable Domains 
    Zanuttini, Bruno; Lang, Jérôme; Saffidine, Abdallah; Schwarzentruber, François (2019) Article accepté pour publication ou publié
  • Vignette de prévisualisation
    Probabilistic Knowledge-Based Programs 
    Lang, Jérôme; Zanuttini, Bruno (2015) Communication / Conférence
  • Vignette de prévisualisation
    From knowledge-based programs to graded belief-based programs, part II: off-line reasoning 
    Laverny, Noël; Lang, Jérôme (2005) Communication / Conférence
Dauphine PSL Bibliothèque logo
Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16
Tél. : 01 44 05 40 94
Contact
Dauphine PSL logoEQUIS logoCreative Commons logo