A perspective of constraint-based reasoning : an introductory tutorial /
保存先:
| 第一著者: | |
|---|---|
| その他の著者: | |
| フォーマット: | 図書 |
| 言語: | English |
| 出版事項: |
Berlin ; New York :
Springer-Verlag,
c1992.
|
| シリーズ: | Lecture notes in computer science ;
597. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| 主題: |
| LEADER | 02775nam a2200361 a 4500 | ||
|---|---|---|---|
| 001 | c000162255 | ||
| 003 | CARM | ||
| 005 | 19990119000000.0 | ||
| 008 | 920902s1992 gw a b 001 0 eng | ||
| 010 | |a 92016218 //r984 | ||
| 019 | 1 | |a 9182491 |5 LACONCORD2021 | |
| 020 | |a 3540555102 |b (New York : alk. paper) | ||
| 020 | |a 0387555102 |b (Berlin : alk. paper) | ||
| 035 | |a (OCoLC)26297006 |5 LACONCORD2021 | ||
| 040 | |a TOC |b eng |c TOC |d TOC | ||
| 050 | 0 | 0 | |a Q340 |b .G88 1992 |
| 082 | 0 | 4 | |a 006.3 |
| 100 | 1 | |a Güsgen, Hans Werner, |d 1959- | |
| 245 | 0 | 2 | |a A perspective of constraint-based reasoning : |b an introductory tutorial / |c H.W. Güsgen, J. Hertzberg. |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c c1992. | ||
| 300 | |a viii, 123 p. : |b ill. ; |c 25 cm. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 597. |a Lecture notes in artificial intelligence. | |
| 504 | |a Includes bibliographical references (p. [115]-120) and index. | ||
| 505 | 0 | |a 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. | |
| 505 | 8 | |a 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. | |
| 650 | 0 | |a Constraints (Artificial intelligence) | |
| 650 | 0 | |a Reasoning. | |
| 700 | 1 | |a Hertzberg, J. |q (Joachim), |d 1958- | |
| 830 | 0 | |a Lecture notes in computer science ; |v 597. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 852 | 8 | |b CARM |h A2:AM07E0 |i C05494 |p 0214152 |f BK | |
| 999 | f | f | |i c9e54771-8ef0-5716-9bbd-f0b294636264 |s ed53e0a1-8126-5f7e-ab57-b3924c42784a |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e C05494 |f A2:AM07E0 |h Other scheme |i book |m 0214152 |