A fuzzy constraint satisfaction approach to achieving stability in dynamic constraint satisfaction problems.

• Other Authors: Wong, Yin Pong Anthony.
• Format: Others
• Language: English; Chinese
• Published: 2001
• Subjects: Constraints (Artificial intelligence); Stability
• Online Access: http://library.cuhk.edu.hk/record=b5890771; http://repository.lib.cuhk.edu.hk/en/item/cuhk-323485

by Wong, Yin Pong Anthony. === Thesis (M.Phil.)--Chinese University of Hong Kong, 2001. === Includes bibliographical references (leaves 101-107). === Abstracts in English and Chinese. === Chapter 1 --- Introduction --- p.1 === Chapter 1.1 --- Constraint Satisfaction Problems --- p.2 === Chapter 1.2 --- Solution Stability in Dynamic Constraint Satisfaction Problems --- p.3 === Chapter 1.3 --- Motivation of the Research --- p.5 === Chapter 1.4 --- Overview of the Thesis --- p.5 === Chapter 2 --- Related Work --- p.7 === Chapter 2.1 --- Complete Search Algorithms --- p.7 === Chapter 2.1.1 --- DnAC-4 --- p.8 === Chapter 2.1.2 --- ac --- p.9 === Chapter 2.1.3 --- DnAC-6 --- p.9 === Chapter 2.2 --- Algorithms for Stability --- p.10 === Chapter 2.2.1 --- Bellicha --- p.10 === Chapter 2.2.2 --- Dynamic Dynamic Backtracking --- p.11 === Chapter 2.2.3 --- Wallace and Freuder --- p.12 === Chapter 2.2.4 --- Unimodular Probing --- p.13 === Chapter 2.2.5 --- Train Rescheduling --- p.14 === Chapter 2.3 --- Constrained Optimization Algorithms --- p.14 === Chapter 2.3.1 --- Guided Local Search --- p.14 === Chapter 2.3.2 --- Anytime CSA with Iterative Deepening --- p.15 === Chapter 2.4 --- A Real-life Application --- p.16 === Chapter 3 --- Background --- p.17 === Chapter 3.1 --- Fuzzy Constraint Satisfaction Problems --- p.17 === Chapter 3.2 --- Fuzzy GENET --- p.19 === Chapter 3.2.1 --- Network Architecture --- p.19 === Chapter 3.2.2 --- Convergence Procedure --- p.21 === Chapter 3.3 --- Deficiency in Fuzzy GENET --- p.24 === Chapter 3.4 --- Rectification of Fuzzy GENET --- p.26 === Chapter 4 --- Using Fuzzy GENET for Solving Stability Problems --- p.30 === Chapter 4.1 --- Modelling Stability Problems as FCSPs --- p.30 === Chapter 4.2 --- Extending Fuzzy GENET for Solving Stability Problems --- p.36 === Chapter 4.3 --- Experiments --- p.38 === Chapter 4.3.1 --- Dynamic CSP Generation --- p.39 === Chapter 4.3.2 --- Problems Using Hamming Distance Function --- p.41 === Chapter 4.3.2.1 --- Variation in Number of Variables --- p.42 === Chapter 4.3.2.2 --- Variation in Domain Size --- p.45 === Chapter 4.3.2.3 --- Variation in Density and Tightness --- p.47 === Chapter 4.3.3 --- Comparison in Using Different Thresholds --- p.47 === Chapter 4.3.4 --- Problems Using Manhattan Distance Function --- p.50 === Chapter 5 --- Enhancement of the Modelling Scheme --- p.56 === Chapter 5.1 --- Distance Bound --- p.56 === Chapter 5.2 --- Enhancement of Convergence Procedure --- p.57 === Chapter 5.3 --- Comparison with Optimal Solutions --- p.60 === Chapter 5.4 --- Comparison with Fuzzy GENET(dcsp) --- p.64 === Chapter 5.4.1 --- Medium-sized Problems --- p.64 === Chapter 5.4.2 --- The 150-10-15-15 Problem --- p.67 === Chapter 5.4.3 --- Variation in Density and Tightness --- p.73 === Chapter 5.4.4 --- Variation in Domain Size --- p.76 === Chapter 5.5 --- Analysis of Fuzzy GENET(dcsp2) --- p.94 === Chapter 6 --- Conclusion --- p.98 === Chapter 6.1 --- Contributions --- p.98 === Chapter 6.2 --- Future Work --- p.99 === Bibliography --- p.101