Μονάδα:
Κατεύθυνση / ειδίκευση Διαχείριση Πληροφορίας και Δεδομένων (ΔΕΔ)Βιβλιοθήκη Σχολής Θετικών Επιστημών
Ημερομηνία κατάθεσης:
2014-11-06
Συγγραφέας:
Αναστασίου Βασίλειος-Μάριος
Στοιχεία επιβλεπόντων καθηγητών:
Παναγιώτης Σταματόπουλος Επίκ. Καθηγητής, Στασινός Κωνσταντόπουλος Μετα-Διδακτορικός Ερευνητής ΕΚΕΦΕ Δημόκριτος
Πρωτότυπος Τίτλος:
Optimization and inference under fuzzy numerical constraints
Γλώσσες εργασίας:
Αγγλικά
Μεταφρασμένος τίτλος:
Bελτιστοποίηση και συμπερασμός παρουσία ασαφών αριθμητικών περιορισμών
Περίληψη:
Εκτεταμένη έρευνα έχει γίνει στους τομείς της Ικανοποίησης Περιορισμών με
διακριτά (ακέραια) ή πραγματικά πεδία τιμών. Αυτή η έρευνα έχει οδηγήσει σε
πολλαπλές σημασιολογικές περιγραφές, πλατφόρμες και
συστήματα για την περιγραφή σχετικών προβλημάτων με επαρκείς βελτιστοποιήσεις.
Παρά ταύτα, λόγω της ασαφούς φύσης
πραγματικών προβλημάτων ή ελλιπούς μας γνώσης για αυτά, η σαφής μοντελοποίηση
ενός προβλήματος ικανοποίησης περιορισμών δεν είναι πάντα ένα εύκολο ζήτημα ή
ακόμα και η καλύτερη προσέγγιση. Επιπλέον, το πρόβλημα της μοντελοποίησης και
επίλυσης ελλιπούς γνώσης είναι ακόμη δυσκολότερο. Επιπροσθέτως, πρακτικές
απαιτήσεις μοντελοποίησης και μέθοδοι βελτιστοποίησης του χρόνου αναζήτησης
απαιτούν συνήθως ειδικές πληροφορίες για το πεδίο εφαρμογής,
καθιστώντας τη δημιουργία ενός γενικότερου πλαισίου βελτιστοποίησης ένα
ιδιαίτερα δύσκολο πρόβλημα. Στα πλαίσια αυτής της εργασίας θα μελετήσουμε το
πρόβλημα της μοντελοποίησης και αξιοποίησης σαφών, ελλιπών ή ασαφών
περιορισμών, καθώς και πιθανές στρατηγικές βελτιστοποίησης. Καθώς τα
παραδοσιακά προβλήματα ικανοποίησης περιορισμών λειτουργούν βάσει συγκεκριμένων
και προκαθορισμένων κανόνων και σχέσεων, παρουσιάζει ενδιαφέρον η διερεύνηση
στρατηγικών και βελτιστοποιήσεων που θα επιτρέπουν το συμπερασμό νέων ή/και
αποδοτικότερων περιορισμών. Τέτοιοι επιπρόσθετοι κανόνες θα μπορούσαν να
βελτιώσουν τη διαδικασία αναζήτησης μέσω της εφαρμογής αυστηρότερων περιορισμών
και περιορισμού του χώρου αναζήτησης ή να προσφέρουν χρήσιμες πληροφορίες στον
αναλυτή για τη φύση του προβλήματος που
μοντελοποιεί.
Λέξεις-κλειδιά:
Βελτιστοποίηση, Περιορισμός, Συμπερασμός, Ασάφεια, OWL
Αρ. σελίδων ευρετηρίου:
7-10
Αρ. βιβλιογραφικών αναφορών:
143
