Your browser does not support JavaScript!

Αρχική    Automating commonsense reasoning : a satisfiability based commonsense reasoning system incorparating a tool for measuring the SAT progress  

Αποτελέσματα - Λεπτομέρειες

Προσθήκη στο καλάθι
[Προσθήκη στο καλάθι]
Κωδικός Πόρου 000334361
Τίτλος Automating commonsense reasoning : a satisfiability based commonsense reasoning system incorparating a tool for measuring the SAT progress
Άλλος τίτλος Ένα Σύστημα Συλλογιστικής Γνώσεων Βασισμένο σε Προβλήματα Ικανοποιησιμότητας και ένα Εργαλείο για την Πρόοδο Επίλυσής τους
Συγγραφέας Ταμπάκης, Ιωάννης Λεωνίδα
Σύμβουλος διατριβής Πλεξουσάκης, Δημήτρης
Περίληψη Τα τελευταία χρόνια γίνεται αυξημένη χρήση εργαλείων επίλυσης προβλημάτων ικανοποιησιμότητας προκειμένου να επιλυθούν πραγματικά προβλήματα σε πεδία όπως ο σχεδιασμός ενεργειών, ο έλεγχος μοντέλων κ.α , κωδικοποιώντας το προς επίλυση πρόβλημα σε πρόβλημα ικανοποιησιμότητας. Συχνά, η μέθοδος αυτή είναι πιο αποδοτική συγκριτικά με τη χρήση συγκεκριμένων αλγορίθμων στο πεδίο εφαρμογής κάθε προβλήματος. Η εργασία αυτή παρουσιάζει μια σύγκριση μεταξύ δύο δημοφιλών λογικών φορμαλισμών για την αναπαράσταση και συλλογιστική της γνώσης, του Λογισμού Καταστάσεων και του Λογισμού Γεγονότων, και προτείνει τη σχεδίαση και υλοποίηση ενός συστήματος συλλογιστικής γνώσεων βασισμένο σε προβλήματα ικανοποιησιμότητας με χρήση του Λογισμού Γεγονότων. Το σύστημα δέχεται ως είσοδο ένα πρόβλημα συλλογιστικής γνώσεων και παράγει στην έξοδο δυνατές λύσεις (μοντέλα) του προβλήματος. Υποστηρίζει τύπους συλλογιστικής όπως παραγωγή (deduction), προβολή (temporal projection), απαγωγή (abduction), σχεδιασμό (planning), εύρεση και έλεγχο μοντέλων καθώς και ενδιαφέροντα χαρακτηριστικά όπως το νόμο της αδράνειας (commonsense law of inertia), απαλλαγή από το νόμο της αδράνειας (release from the commonsense law of inertia), υπό συνθήκη επιδράσεις των γεγονότων (conditional effects of events), παρακλάδια γεγονότων (event ramifications), γεγονότα με μη αιτιοκρατικές επιδράσεις (events with nondeterministic effects), πυροδοτούμενα γεγονότα (triggered events), ταυτόχρονα γεγονότα με επιπτώσεις αθροιστικές (cumulative) ή εξουδετέρωσης (canceling effects). Τα προβλήματα ικανοποιησιμότητας που προκύπτουν από πραγματικά προβλήματα ενδέχεται να είναι αρκετά περίπλοκα και να απαιτούν πολύ χρόνο για να επιλυθούν, με αποτέλεσμα να χρειάζονται μεγάλο ποσοστό των πόρων του συστήματος. Θα ήταν πολύ χρήσιμο αν ήμασταν σε θέση να έχουμε, κάθε χρονική στιγμή, μια μέτρηση της προόδου επίλυσης. Στην εργασία αυτή προσπαθήσαμε να καλύψουμε αυτή την έλλειψη προτείνοντας τη σχεδίαση και υλοποίηση ενός εργαλείου για την παρακολούθηση της προόδου επίλυσης προβλημάτων ικανοποιησιμότητας. Περιγράφουμε τη μέθοδο ενσωμάτωσης του εργαλείου που προτείνουμε στα προγράμματα που χρησιμοποιούνται για την επίλυση των προβλημάτων ικανοποιησιμότητας και παρουσιάζουμε στατιστικά από τη χρήση σε χαρακτηριστικά προβλήματα. Η αποτίμηση του συστήματος συλλογιστικής γνώσεων που έγινε σε χαρακτηριστικά προβλήματα συλλογιστικής γνώσεων με τη χρήση του Λογισμού Γεγονότων, οδηγεί στο συμπέρασμα ότι προβλήματα συλλογιστικής γνώσεων μπορούν να επιλυθούν αποδοτικά με χρήση του Λογισμού Γεγονότων και εργαλείων για την επίλυση προβλημάτων ικανοποιησιμότητας καθώς και ότι στην πλειονότητα των περιπτώσεων μπορούμε να έχουμε μια εύλογα αξιόπιστη μέτρηση για την πρόοδο επίλυσης των προβλημάτων ικανοποιησιμότητας.
Φυσική περιγραφή vi, 124 σ. : εικ. ; 30 cm.
Γλώσσα Αγγλικά
Ημερομηνία έκδοσης 2008-07-22
Συλλογή   Σχολή/Τμήμα--Σχολή Θετικών και Τεχνολογικών Επιστημών--Τμήμα Επιστήμης Υπολογιστών--Μεταπτυχιακές εργασίες ειδίκευσης
  Τύπος Εργασίας--Μεταπτυχιακές εργασίες ειδίκευσης
Εμφανίσεις 483

Ψηφιακά τεκμήρια
No preview available

Κατέβασμα Εγγράφου
Προβολή Εγγράφου
Εμφανίσεις : 7