Τεχνητή Νοημοσύνη

Σε προηγούμενες ενότητες παρουσιάστηκε η έννοια του προβλήματος και αντιμετωπίστηκε διεξοδικά η επίλυση προβλημάτων. Μία κατηγορία προβλημάτων είναι τα προβλήματα σχεδιασμού (planning problems) στα οποία η τελική κατάσταση είναι πλήρως γνωστή και επιδιώκεται η εύρεση μιας σειράς ενεργειών, η εκτέλεση των οποίων προκαλεί τη μετάβαση από την αρχική στην τελική κατάσταση. Επίσης εξετάστηκαν διάφοροι αλγόριθμοι αναζήτησης οι οποίοι όμως κρίνονται ανεπαρκείς για την αντιμετώπιση πραγματικών προβλημάτων αυτού του τύπου εξαιτίας του φαινομένου της συνδυαστικής έκρηξης (τυφλοί αλγόριθμοι) ή της δυσκολίας εφαρμογής κατάλληλων ευριστικών μηχανισμών εξ’ αιτίας του τρόπου αναπαράστασης (ευριστικοί αλγόριθμοι). Η ενότητα αυτή ασχολείται με ειδικές τεχνικές αναπαράστασης και αλγορίθμους αναζήτησης, ως μία εναλλακτική συνολική θεώρηση της αποδοτικής επίλυσης προβλημάτων σχεδιασμού ενεργειών, όπως το σχεδιασμό ενεργειών με βάσης την αρχή της ελάχιστης δέσμευσης (least-commitment planning), το σχεδιασμό βασισμένο σε γράφους (graph-based planning), τον ιεραρχικό σχεδιασμό (hierarchical planning), κτλ. Αρχικά, παρουσιάζεται η γλώσσα περιγραφή προβλημάτων STRIPS και δίνονται οι βασικές αρχές των συστημάτων σχεδιασμού (planning systems). Στη συνέχεια αναλύονται οι δύο μεγάλες κατηγορίες σχεδιαστών, αυτοί που αναζητούν λύση στο χώρο των καταστάσεων (state-space planners) και αυτοί που αναζητούν λύση στο χώρο των πλάνων (plan-space planners). Ακολουθεί μία παρουσίαση εξελιγμένων τεχνικών σχεδιασμού και η ενότητα ολοκληρώνεται με την περιγραφή κλασικών σχεδιαστών, όπως o STRIPS, o ABSTRIPS, o DEVISER και ο IPEM.

Λέξεις Κλειδιά: Σχεδιασμός Ενεργειών, STRIPS, Σχεδιαστές Χώρου Καταστάσεων, Αρχή της Ελάχιστης Δέσμευσης, Σχεδιαστές Χώρου Πλάνων, Σχεδιαστές Βασιμένοι Σε Γράφους, STRIPS, ABSTRIPS, DEVISER, IPEM