Παρουσίαση/Προβολή

Εικόνα επιλογής

ΣΧΕΔΙΑΣΜΟΣ ΚΑΙ ΧΡΟΝΟΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / PLANNING & SCHEDULING

(AID202) -  iOANNIS REFANIDIS, ILIAS SAKELARIOU

Περιγραφή Μαθήματος

Σχεδιασμός είναι το πρόβλημα εύρεσης των ενεργειών που πρέπει να εκτελεστούν ώστε να επιτευχθούν στόχοι. Χρονοπρογραμματισμός είναι η τοποθέτηση των ενεργειών στο χρόνο, λαμβάνοντας υπόψη τη διάρκειά τους, τις απαιτήσεις τους σε πόρους και άλλους περιορισμούς. Το πρόβλημα του χρονοπρογραμματισμού μπορεί να θεωρηθεί ως ανεξάρτητο πρόβλημα (αν οι ενέργειες που πρέπει να εκτελεστούν είναι δεδομένες) ή ως μέρος του προβλήματος σχεδιασμού.

Στο μάθημα θα ασχοληθούμε με διάφορες παραλλαγές μοντελοποίησης προβλημάτων σχεδιασμού και χρονοπρογραμματισμού, καθώς και με αλγορίθμους επίλυσης τέτοιων προβλημάτων.

Περισσότερα στις Πληροφορίες του μαθήματος, ακριβώς από κάτω.

Ημερομηνία δημιουργίας

Τετάρτη 30 Δεκεμβρίου 2020

Σελίδα μαθήματος
  • Περίγραμμα

    Μαθησιακοί στόχοι

    Στόχος του μαθήματος είναι η εμβάθυνση στη σύγχρονη θεωρία και αλγορίθμους αυτοματοποιημένου σχεδιασμού και χρονοπρογραμματισμού ενεργειών και των εφαρμογών τους.

    Περιεχόμενο μαθήματος

    • Γλώσσες περιγραφής προβλημάτων σχεδιασμού (PDDL+, SAS). Σχεδιασμός μερικής διάταξης, βασισμένος σε γράφους, ως πρόβλημα ικανοποιησιμότητας, ιεραρχικός, στο χρόνο, με περιορισμούς πόρων.
    • Ευρετικοί μηχανισμοί και αλγόριθμοι αναζήτησης.
    • Μηχανική γνώσης για προβλήματα σχεδιασμού. Εργαλεία σχεδίασης/επικύρωσης πεδίων. Διεπαφές.
    • Κατανεμημένος και πολυπρακτορικός σχεδιασμός. Σχεδιασμός μικτής πρωτοβουλίας.
    • Πιθανοτικός σχεδιασμός, μη-αιτιοκρατικά περιβάλλοντα. Ολοκλήρωση σχεδιασμού, εκτέλεσης και παρακολούθησης.
    • Σχεδιασμός και ρομποτική. Εύρεση μονοπατιών και σχεδιασμός κίνησης.
    • Προβλήματα ικανοποίησης Περιορισμών, αλγόριθμοι διήθησης συνέπειας τόξου και γενικευμένης συνέπειας τόξου. Καθολικοί περιορισμοί. Συνδυασμός αναζήτησης και διήθησης περιορισμών. Αναζήτηση βέλτιστης λύσης. MiniZinc. Καθολικοί περιορισμοί προβλημάτων χρονοπρογραμματισμού (disjunctive, cumulative) και αλγόριθμοι, προβλήματα εναλλακτικών πόρων (alternative resources). Kατάρτιση βαρδιών και ο περιορισμός regular.

    Προτεινόμενα συγγράμματα

    Automated Planning and Acting (1st edition, 2016), Malik Ghallab, Dana Nau and Paolo Traverso, Cambridge University Press.

    Automated Planning, theory and practice (1st edition, 2004), Malik Ghallab, Dana Nau, Paolo Traverso.

    A Concise Introduction to Models and Methods for Automated Planning (1st edition, 2013), Hector Geffner and Blai Bonet, Morgan & Claypool Publishers.

    International Conference on Automated Planning & Scheduling (ICAPS) proceedings, 2003-2018, AAAI (free).

    Principles of Constraint Programming 1st Edition, 1 edition (December 17, 2009), by Krzysztof Apt, Cambridge University Press

    Μέθοδοι αξιολόγησης

    Εργασίες & τελική γραπτή εξέταση

    Διδάσκοντες

    Γιάννης Ρεφανίδης, Καθηγητής

    Ηλίας Σακελλαρίου, Επίκουρος Καθηγητής