Αυτοματοποιημένος σχεδιασμός ενεργειών για πολλούς πράκτορες, βασισμένος σε προτιμήσεις γραμμικής χρονικής λογικής (LTL)

Πτυχιακή Εργασία uoadl:1324112 450 Αναγνώσεις

Μονάδα:
Τομέας Θεωρητικής Πληροφορικής
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Ημερομηνία κατάθεσης:
2015-11-04
Έτος εκπόνησης:
2015
Συγγραφέας:
Πετσαλάκης Σταύρος
Στοιχεία επιβλεπόντων καθηγητών:
Ιωάννης Ιωαννίδης (di uoa), Σωτήρης Λιάσκος (yorkU)
Πρωτότυπος Τίτλος:
Αυτοματοποιημένος σχεδιασμός ενεργειών για πολλούς πράκτορες, βασισμένος σε προτιμήσεις γραμμικής χρονικής λογικής (LTL)
Γλώσσες εργασίας:
Ελληνικά
Περίληψη:
Ο Αυτοματοποιημένος Σχεδιασμός, είναι ο τομέας της Τεχνητής Νοημοσύνης που
ασχολείται με την επιλογή των κατάλληλων ενεργειών τις οποίες πρέπει να κάνει
ένας
πράκτορας ή αλλιώς παράγοντας (actor), ώστε να βρεθεί σε μια επιθυμητή
κατάσταση.
Ειδικότερα, στη σχετική βιβλιογραφία, υπάρχουν πολλά εργαλεία τα οποία
ασχολούνται
με τον αυτοματοποιημένο σχεδιασμό, κυρίως σε περιπτώσεις σχεδιασμού βασισμένου
σε προτιμήσεις, αλλά και σε περιπτώσεις σχεδιασμού για πολλούς πράκτορες. Παρ'
όλα
αυτά, υπάρχει έλλειψη στον τομέα που συνδυάζει τους παραπάνω, δηλαδή τον
σχεδιασμό με προτιμήσεις για πολλούς πράκτορες. Αυτός ο τομέας παρουσιάζει
ιδιαίτερο ενδιαφέρον, γιατί εφαρμογές πάνω σε αυτόν είναι άμεσα
χρησιμοποιήσιμες σε
καθημερινές εφαρμογές, όπως την συλλογική λήψη απόφασης για κάποιο σχέδιο
δράσης. Η συνεισφορά της παρούσας εργασίας είναι ένας τρόπος φορμαλισμού τέτοιων
προβλημάτων, ώστε να δοθεί η δυνατότητα επίλυσής τους από ήδη υπάρχοντα
εργαλεία, δημιουργώντας σχέδια με ένα κεντρικό τρόπο, λαμβάνοντας υπ' όψιν τις
προτιμήσεις του κάθε παράγοντα που συμμετέχει στο σχέδιο. Αυτός ο τρόπος
φορμαλισμού εφαρμόστηκε με επιτυχία σε διαφορετικές περιπτώσεις ενός
παραδείγματος λήψης αποφάσεων: την διαδικασία που θα ακολουθήσει μια επιτροπή
όταν καλούνται όλα τα μέλη της να κρίνουν μία επιστολή που τους παραθέτει ο
πρόεδρος της επιτροπής.
Λέξεις-κλειδιά:
Σχεδιασμός Ενεργειών, Σχεδιασμός πολλών πρακτόρων, προτιμήσεις, Στόχοι, Προγραμματισμός με περιορισμούς
Ευρετήριο:
Ναι
Αρ. σελίδων ευρετηρίου:
5-6
Εικονογραφημένη:
Όχι
Αρ. βιβλιογραφικών αναφορών:
17
Αριθμός σελίδων:
34