Mendeley出力
＜図書＞
Constraint-based reasoning
| 責任表示 | edited by Eugene C. Freuder and Alan K. Mackworth |
|---|---|
| データ種別 | 図書 |
| 出版情報 | Cambridge, Mass. : MIT Press , 1994, c1992 |
| 本文言語 | 英語 |
| 大きさ | 403 p. : ill. ; 26 cm |
| 概要 | Constraint-based reasoning is an important area of automated reasoning in artificial intelligence, with many applications. These include configuration and design problems, planning and scheduling, te...poral and spatial reasoning, defeasible and causal reasoning, machine vision and language understanding, qualitative and diagnostic reasoning, and expert systems. Constraint-Based Reasoning presents current work in the field at several levels: theory, algorithms, languages, applications, and hardware. Constraint-based reasoning has connections to a wide variety of fields, including formal logic, graph theory, relational databases, combinatorial algorithms, operations research, neural networks, truth maintenance, and logic programming. The ideal of describing a problem domain in natural, declarative terms and then letting general deductive mechanisms synthesize individual solutions has to some extent been realized, and even embodied, in programming languages. Contents: Introduction, E. C. Freuder, A. K. Mackworth. The Logic of Constraint Satisfaction, A. K. Mackworth. Partial Constraint Satisfaction, E. C. Freuder, R. J. Wallace. Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach, E. Hyvonen. Constraint Satisfaction Using Constraint Logic Programming, P. Van Hentenryck, H. Simonis, M. Dincbas. Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems, S. Minton, M. D. Johnston, A. B. Philips, and P. Laird. Arc Consistency: Parallelism and Domain Dependence, P. R. Cooper, M. J. Swain. Structure Identification in Relational Data, R. Dechter, J. Pearl. Learning to Improve Constraint-Based Scheduling, M. Zweben, E. Davis, B. Daun, E. Drascher, M. Deale, M. Eskey. Reasoning about Qualitative Temporal Information, P. van Beek. A Geometric Constraint Engine, G. A. Kramer. A Theory of Conflict Resolution in Planning, Q. Yang. A Bradford Book. 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図 自動書庫 | 007.13/F 46 | 1994 |
|
068252194001206 |
|
書誌詳細
| 一般注記 | "A Bradford book." Reprinted from Artificial intelligence, volume 58, numbers 1-3, 1992 Includes bibliographical references and index |
|---|---|
| 著者標目 | Freuder, Eugene C. Mackworth, Alan K. |
| 件 名 | LCSH:Constraints (Artificial intelligence) LCSH:Reasoning |
| 分 類 | LCC:Q340 DC20:006.3 |
| 書誌ID | 1001145020 |
| ISBN | 0262560755 |
| NCID | BA22550632 |
| 巻冊次 | ISBN:0262560755 |
| 登録日 | 2009.09.17 |
| 更新日 | 2009.09.17 |