Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο: https://ruomo.lib.uom.gr/handle/7000/504
Τίτλος: Computing higher order exclusion relations in propositional planning
Συγγραφείς: Refanidis, Ioannis
Sakellariou, Ilias
Τύπος: Article
Θέματα: FRASCATI::Natural sciences::Computer and information sciences
Λέξεις-Κλειδιά: propositional planning
exclusion relations
Graphplan
consistency
Ημερομηνία Έκδοσης: 2013
Εκδότης: Taylor & Francis
Πηγή: Journal of Experimental & Theoretical Artificial Intelligence
Τόμος: 25
Τεύχος: 1
Πρώτη Σελίδα: 23
Τελευταία Σελίδα: 51
Επιτομή: This article presents a systematic and complete algorithm to compute all higher order exclusion relations for a propositional planning problem, that is, sets of propositions that cannot hold simultaneously at specific time points, without any bound on the order of the exclusion relations. This algorithm is proved to allow for backtrack-free plan extraction, provided that all goals have to be achieved simultaneously. In particular, levelled global consistency is achieved, i.e. all exclusion relations between propositions within each time step are computed. However, achieving levelled global consistency is impractical for most non-trivial planning problems. Indeed, as our empirical evaluation over a variety of planning problems suggests, best performance is achieved when setting a bound on the order of the computed exclusion relations and using search to extract a plan. Additional statistics extracted from our experiments shed light on the internal dynamics of Graphplan-style planners.
URI: https://doi.org/10.1080/0952813X.2012.660991
https://ruomo.lib.uom.gr/handle/7000/504
ISSN: 0952-813X
Ηλεκτρονικό ISSN: 1362-3079
Αλλοι Προσδιοριστές: 10.1080/0952813X.2012.660991
Εμφανίζεται στις Συλλογές: Τμήμα Εφαρμοσμένης Πληροφορικής

Αρχεία σε αυτό το Τεκμήριο:
Αρχείο Περιγραφή ΜέγεθοςΜορφότυπος 
JETAI-Hoex-Names-revised.pdfpostprint revised655,97 kBAdobe PDFΠροβολή/Ανοιγμα


Τα τεκμήρια στο Αποθετήριο προστατεύονται από πνευματικά δικαιώματα, εκτός αν αναφέρεται κάτι διαφορετικό.