Algorithms for stochastic constraint satisfaction problems

This thesis consists of six chapters. Chapter1 includes a general introduction in the area of interest. The related work that has been done in CSPs and SCSPs is reviewed in Chapter 2. We also describe here the main algorithms that have been proposed for solving stochastic constraint satisfaction pro...

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

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Μπαλαφούτης, Αθανάσιος - Δημήτριος
Άλλοι συγγραφείς: Στεργίου, Κωνσταντίνος
Γλώσσα:English
Δημοσίευση: 2015
Θέματα:
Διαθέσιμο Online:https://vsmart.lib.aegean.gr/webopac/FullBB.csp?WebAction=ShowFullBB&EncodedRequest=*40*14*F4a*A2*EB*7D*D2*1DD*40*A5*B8*20*C3*E7&Profile=Default&OpacLanguage=gre&NumberToRetrieve=50&StartValue=2&WebPageNr=1&SearchTerm1=2006%20.1.30929&SearchT1=&Index1=Keywordsbib&SearchMethod=Find_1&ItemNr=2
http://hdl.handle.net/11610/12485
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
_version_ 1828462025839214592
author Μπαλαφούτης, Αθανάσιος - Δημήτριος
author2 Στεργίου, Κωνσταντίνος
author_facet Στεργίου, Κωνσταντίνος
Μπαλαφούτης, Αθανάσιος - Δημήτριος
author_sort Μπαλαφούτης, Αθανάσιος - Δημήτριος
collection DSpace
description This thesis consists of six chapters. Chapter1 includes a general introduction in the area of interest. The related work that has been done in CSPs and SCSPs is reviewed in Chapter 2. We also describe here the main algorithms that have been proposed for solving stochastic constraint satisfaction problems.In Chapter 3 we propose a generalized arc consistency (GAC) algorithm for SCSPs. This algorithm extends the GAC algorithm AC2001/3.1 with specialized features, so that SCSPs can be handled. We also explain how arc consistency reasoning can be performed when “chance” constraints are present in a problem. In Chapter 4 we introduce new search algorithms for solving stochastic constraint satisfaction problems. We first identify and correct a flaw in the forward checking (FC) algorithm given in [Walsh02]. We also describe an improved version of FC which exploits probabilities in a more “global” way and in this way results in stronger pruning. Then we introduce a Maintaining Arc Consistency (MAC) algorithm for SCSPs. In contrast with [Walsh02], where the given algorithms can only handle binary constraints, our MAC algorithm is able to handle constraints of any arity. The chapter ends with the presentation of some heuristics which increase the efficiency of the above search algorithms.A set of experiments is presented in Chapter 5. These experiments demonstrate the effect that the flaw has in the FC algorithm of [Walsh02] and depict the achieved improvement of our new FC algorithm. We also present experiments with FC that uses arc consistency as a preprocessing technique.Finally Chapter 6 concludes the thesis by summarizing the results reported here and gives some directions for future work.
id oai:hellanicus.lib.aegean.gr:11610-12485
institution Hellanicus
language English
publishDate 2015
record_format dspace
spelling oai:hellanicus.lib.aegean.gr:11610-124852020-12-04T13:43:51Z Algorithms for stochastic constraint satisfaction problems Μπαλαφούτης, Αθανάσιος - Δημήτριος Στεργίου, Κωνσταντίνος Στοχαστικά προβλήματα ικανοποίησης περιορισμών Συνέχεια Τόξου Αλγόριθμοι αναζήτησης Αλγόριθμος οπισθοδρόμησης Αλγόριθμος ελέγχου προς τα εμπρός Stochastic Constraint Satisfaction Problem Arc Consistency BackTracking Algorithm Forward Checking Constraint programming (Computer science) Algorithms Constraints (Artificial intelligence) This thesis consists of six chapters. Chapter1 includes a general introduction in the area of interest. The related work that has been done in CSPs and SCSPs is reviewed in Chapter 2. We also describe here the main algorithms that have been proposed for solving stochastic constraint satisfaction problems.In Chapter 3 we propose a generalized arc consistency (GAC) algorithm for SCSPs. This algorithm extends the GAC algorithm AC2001/3.1 with specialized features, so that SCSPs can be handled. We also explain how arc consistency reasoning can be performed when “chance” constraints are present in a problem. In Chapter 4 we introduce new search algorithms for solving stochastic constraint satisfaction problems. We first identify and correct a flaw in the forward checking (FC) algorithm given in [Walsh02]. We also describe an improved version of FC which exploits probabilities in a more “global” way and in this way results in stronger pruning. Then we introduce a Maintaining Arc Consistency (MAC) algorithm for SCSPs. In contrast with [Walsh02], where the given algorithms can only handle binary constraints, our MAC algorithm is able to handle constraints of any arity. The chapter ends with the presentation of some heuristics which increase the efficiency of the above search algorithms.A set of experiments is presented in Chapter 5. These experiments demonstrate the effect that the flaw has in the FC algorithm of [Walsh02] and depict the achieved improvement of our new FC algorithm. We also present experiments with FC that uses arc consistency as a preprocessing technique.Finally Chapter 6 concludes the thesis by summarizing the results reported here and gives some directions for future work. 2015-11-18T10:39:42Z 2015-11-18T10:39:42Z 2006 https://vsmart.lib.aegean.gr/webopac/FullBB.csp?WebAction=ShowFullBB&EncodedRequest=*40*14*F4a*A2*EB*7D*D2*1DD*40*A5*B8*20*C3*E7&Profile=Default&OpacLanguage=gre&NumberToRetrieve=50&StartValue=2&WebPageNr=1&SearchTerm1=2006%20.1.30929&SearchT1=&Index1=Keywordsbib&SearchMethod=Find_1&ItemNr=2 http://hdl.handle.net/11610/12485 en application/pdf Σάμος
spellingShingle Στοχαστικά προβλήματα ικανοποίησης περιορισμών
Συνέχεια Τόξου
Αλγόριθμοι αναζήτησης
Αλγόριθμος οπισθοδρόμησης
Αλγόριθμος ελέγχου προς τα εμπρός
Stochastic Constraint Satisfaction Problem
Arc Consistency
BackTracking Algorithm
Forward Checking
Constraint programming (Computer science)
Algorithms
Constraints (Artificial intelligence)
Μπαλαφούτης, Αθανάσιος - Δημήτριος
Algorithms for stochastic constraint satisfaction problems
title Algorithms for stochastic constraint satisfaction problems
title_full Algorithms for stochastic constraint satisfaction problems
title_fullStr Algorithms for stochastic constraint satisfaction problems
title_full_unstemmed Algorithms for stochastic constraint satisfaction problems
title_short Algorithms for stochastic constraint satisfaction problems
title_sort algorithms for stochastic constraint satisfaction problems
topic Στοχαστικά προβλήματα ικανοποίησης περιορισμών
Συνέχεια Τόξου
Αλγόριθμοι αναζήτησης
Αλγόριθμος οπισθοδρόμησης
Αλγόριθμος ελέγχου προς τα εμπρός
Stochastic Constraint Satisfaction Problem
Arc Consistency
BackTracking Algorithm
Forward Checking
Constraint programming (Computer science)
Algorithms
Constraints (Artificial intelligence)
url https://vsmart.lib.aegean.gr/webopac/FullBB.csp?WebAction=ShowFullBB&EncodedRequest=*40*14*F4a*A2*EB*7D*D2*1DD*40*A5*B8*20*C3*E7&Profile=Default&OpacLanguage=gre&NumberToRetrieve=50&StartValue=2&WebPageNr=1&SearchTerm1=2006%20.1.30929&SearchT1=&Index1=Keywordsbib&SearchMethod=Find_1&ItemNr=2
http://hdl.handle.net/11610/12485
work_keys_str_mv AT mpalaphoutēsathanasiosdēmētrios algorithmsforstochasticconstraintsatisfactionproblems