A perspective of constraint-based reasoning : an introductory tutorial /
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
c1992.
|
| Series: | Lecture notes in computer science ;
597. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
Table of Contents:
- 1. Introduction
- 1.1. What this Text Is About
- 1.2. How this Text Is Organized
- 1.3. A Note for the Hasty Reader
- 2. The Office World. 2.1. Types of Spatial Reasoning. 2.2. The Basic Spatial Relations. 2.3. Higher-Dimensional Models. 2.4. Some Other Work
- 3. Constraint Concepts. 3.1. Constraints and Networks. 3.2. Solutions and their Generating Sets. 3.3. Consistency. 3.4. Related Work: Constraints and Logic. 3.5. Related Work: Reflective Systems
- 4. Constraint Relaxation. 4.1. Relaxation in Dynamic Networks - The Very Idea. 4.2. An Example. 4.3. More about the Metric. 4.4. Related Work: Nonmonotonic Logical Reasoning
- 5. Backtracking Approaches. 5.1. A Brute Force Approach: Chronological Backtracking. 5.2. Improving Chronological Backtracking. 5.3. Summarizing the Main Points
- 6. From Simple Filtering to Tagging. 6.1. A Simple Serial Filtering Algorithm. 6.2. Filtering with Tagging. 6.3. Conclusion
- 7. Approaches to Filtering in Parallel.
- 7.1. A Simple Parallel Filtering Algorithm. 7.2. Parallel Filtering with Tagging. 7.3. Massively Parallel Filtering. 7.4. Summarizing
- 8. Optimization Approaches. 8.1. Simulated Annealing. 8.2. Connectionist Optimization: Boltzmann Machines. 8.3. Conclusion: A Perspective of Optimization
- 9. Instead of a Conclusion.