by Vincent Wai-leuk Tam. / Thesis (M.Phil.)--Chinese University of Hong Kong, 1995. / Includes bibliographical references (leaves 74-80). / Chapter 1 --- Introduction and Summary --- p.1 / Chapter 1.1 --- The Task --- p.1 / Chapter 1.2 --- The Thesis --- p.2 / Chapter 1.2.1 --- Thesis --- p.2 / Chapter 1.2.2 --- Antithesis --- p.3 / Chapter 1.2.3 --- Synthesis --- p.5 / Chapter 1.3 --- Results --- p.6 / Chapter 1.4 --- Contributions --- p.6 / Chapter 1.5 --- Chapter Summaries --- p.7 / Chapter 1.5.1 --- Chapter 2: An ANN-Based Constraint-Solver --- p.8 / Chapter 1.5.2 --- Chapter 3: A Theoretical Framework of PROCLANN --- p.8 / Chapter 1.5.3 --- Chapter 4: The Prototype Implementation --- p.8 / Chapter 1.5.4 --- Chapter 5: Benchmarking --- p.9 / Chapter 1.5.5 --- Chapter 6: Conclusion --- p.9 / Chapter 2 --- An ANN-Based Constraint-Solver --- p.10 / Chapter 2.1 --- Notations --- p.11 / Chapter 2.2 --- Criteria for ANN-based Constraint-solver --- p.11 / Chapter 2.3 --- A Generic Neural Network: GENET --- p.13 / Chapter 2.3.1 --- Network Structure --- p.13 / Chapter 2.3.2 --- Network Convergence --- p.17 / Chapter 2.3.3 --- Energy Perspective --- p.22 / Chapter 2.4 --- Properties of GENET --- p.23 / Chapter 2.5 --- Incremental GENET --- p.27 / Chapter 3 --- A Theoretical Framework of PROCLANN --- p.29 / Chapter 3.1 --- Syntax and Declarative Semantics --- p.30 / Chapter 3.2 --- Unification in PROCLANN --- p.33 / Chapter 3.3 --- PROCLANN Computation Model --- p.38 / Chapter 3.4 --- Soundness and Weak Completeness of the PROCLANN Compu- tation Model --- p.40 / Chapter 3.5 --- Probabilistic Non-determinism --- p.46 / Chapter 4 --- The Prototype Implementation --- p.48 / Chapter 4.1 --- Prototype Design --- p.48 / Chapter 4.2 --- Implementation Issues --- p.52 / Chapter 5 --- Benchmarking --- p.58 / Chapter 5.1 --- N-Queens --- p.59 / Chapter 5.1.1 --- Benchmarking --- p.59 / Chapter 5.1.2 --- Analysis --- p.59 / Chapter 5.2 --- Graph-coloring --- p.63 / Chapter 5.2.1 --- Benchmarking --- p.63 / Chapter 5.2.2 --- Analysis --- p.64 / Chapter 5.3 --- Exceptionally Hard Problem --- p.66 / Chapter 5.3.1 --- Benchmarking --- p.67 / Chapter 5.3.2 --- Analysis --- p.67 / Chapter 6 --- Conclusion --- p.68 / Chapter 6.1 --- Contributions --- p.68 / Chapter 6.2 --- Limitations --- p.70 / Chapter 6.3 --- Future Work --- p.71 / Chapter 6.3.1 --- Parallel Implementation --- p.71 / Chapter 6.3.2 --- General Constraint Handling --- p.72 / Chapter 6.3.3 --- Other ANN Models --- p.73 / Chapter 6.3.4 --- Other Domains --- p.73 / Bibliography --- p.74 / Appendix A The Hard Graph-coloring Problems --- p.81 / Appendix B An Exceptionally Hard Problem (EHP) --- p.182
| Identifer | oai:union.ndltd.org:cuhk.edu.hk/oai:cuhk-dr:cuhk_320608 |
| Date | January 1995 |
| Contributors | Tam, Vincent Wai-leuk., Chinese University of Hong Kong Graduate School. Division of Computer Science. |
| Publisher | Chinese University of Hong Kong |
| Source Sets | The Chinese University of Hong Kong |
| Language | English |
| Detected Language | English |
| Type | Text, bibliography |
| Format | print, vi, 197 leaves : ill. ; 30 cm. |
| Rights | Use of this resource is governed by the terms and conditions of the Creative Commons “Attribution-NonCommercial-NoDerivatives 4.0 International” License (http://creativecommons.org/licenses/by-nc-nd/4.0/) |
Page generated in 0.0021 seconds