Section outline

  • Συζητήσαμε για το πρόβλημα του σχεδιασμού ενεργειών (planning). Ουσιαστικά πρόκειται για μία προσέγγιση αντιμετώπισης ενός προβλήματος αναζήτησης. Η προσέγγιση αυτή είναι η συστηματική περιγραφή με κάποια συμβολική γλώσσα των αληθών γεγονότων του κόσμου, και των στόχων. Οι καταστάσεις είναι σύνολα γεγονότων που ισχύουν. Η "αναζήτηση" της λύσης γίνεται ουσιαστικά με εφαρμογή κανόνων συμπερασμού (reasoning) της συμβολικής γλώσσας που έχουμε χρησιμοποιήσει. Κομβική είναι η έννοια της ενέργειας (action) η οποία δύναται να εκτελεσθεί όταν ισχύουν κάποιες προϋποθέσεις ως γεγονότα του κόσμου. Η ενέργεια τροποποιεί τον κόσμο, υπό την έννοια ότι προσθέτει και αφαιρεί γεγονότα.

    Ως παράδειγμα είδαμε την γλώσσα STRIPS (η οποία χρησιμοποιεί κατηγορηματική λογική ως γλώσσα περιγραφής του κόσμου) και κάποιων επεκτάσεων αυτής. Είδαμε τον αλγόριθμο Partial Order Planner, ορίσαμε το γράφημα σχεδιασμού (graph plan) και είδαμε πως να τον περιγράψουμε με CNF (Conjunctive Normal Form) και κατά συνέπεια να αναχθεί το πρόβλημα της εύρεσης πλάνου στο SAT.

    Υλικό σχετικό με την συζήτηση υπάρχει
    στο [1] στα κεφάλαια 15 και 16
    στο [2] στα κεφάλαια 11 και 12

    Παρακίνηση & συντονισμός συζήτησης: Δήμος Σωτήριος