SAT-based CSP heuristics :

SAT-based CSP heuristics : μεταπτυχιακή διατριβή

Στόχος αυτής της εργασίας είναι η μελέτη καθιερωμένων SAT ευριστικών συναρτήσεων και η μεταφορά τους στο CSP πρόβλημα. Με αυτό τον τρόπο προκύπτουν νέες CSP ευριστικές που χρησιμοποιούν πληροφορία που δεν εκμεταλλεύονται οι καθιερωμένες CSP ευριστικές, όπως το πλήθος των μεταβλητών που έχει ένας περ...

Πλήρης περιγραφή

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Αργυρόπουλος, Ιωάννης
Συγγραφή απο Οργανισμό/Αρχή: Πανεπιστήμιο Αιγαίου. Σχολή Θετικών Επιστημών. Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων. Π.Μ.Σ. Τεχνολογίες και Διοίκηση Πληροφοριακών και Επικοινωνιακών Συστημάτων
Μορφή: Thesis Βιβλίο
Γλώσσα:Greek
Δημοσίευση: 2008.
Θέματα:
University of the Aegean > Dissertations.
Constraints (Artificial intelligence)
Dissertations, Academic > Greece.
Διαθέσιμο Online:http://hdl.handle.net/11610/12635
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
Περιγραφή
Περίληψη:Στόχος αυτής της εργασίας είναι η μελέτη καθιερωμένων SAT ευριστικών συναρτήσεων και η μεταφορά τους στο CSP πρόβλημα. Με αυτό τον τρόπο προκύπτουν νέες CSP ευριστικές που χρησιμοποιούν πληροφορία που δεν εκμεταλλεύονται οι καθιερωμένες CSP ευριστικές, όπως το πλήθος των μεταβλητών που έχει ένας περιορισμός, ή η υποστήριξη των τιμών μιας μεταβλητής και χρήση τους στο variable ordering τμήμα.Η απόδοση των νέων ευριστικών εξετάζεται σε θεωρητικό επίπεδο αλλά και με πειραματικές μετρήσεις πάνω σε τυχαία CSP προβλήματα.
Constraint Satisfaction Problems (CSP) and Propositional Satisfiability (SAT) have developed as two independent frameworks, used to solve hard decision problems. Despite some basic similarities on the problem definition and the backtracking search algorithms, they are using different techniques, being well known, standardized and efficient for one of the frameworks, but ignored from the other. The branching heuristics is one of them.In this thesis, we study standard SAT heuristics and transfer them to the CSP framework. Through this attempt, new CSP branching techniques arise, exploiting information not used from most standard CSP heuristics, like constraint arity, or variables values support used for variable ordering.Theoretical study and empirical results on random CSP problems, show that this unexploited information can be used for new efficient CSP heuristics.
Περιγραφή τεκμηρίου:Μέλη της εξεταστικής επιτροπής: Κωνσταντίνος Στεργίου, Γεώργιος Βούρος, Ευστάθιος Σταματάτος.
Φυσική περιγραφή:v, 60 σ. : εικ. ; 30 εκ.
Βιβλιογραφία:Βιβλιογραφία: σ. 60.
Πρόσβαση:Διάθεση πλήρους κειμένου - Ελεύθερη πρόσβαση.

Παρόμοια τεκμήρια