Constraint-Based Reasoning

Constraint-Based Reasoning

by Eugene C. Freuder
     
 

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, temporal and spatial reasoning, defeasible and causal reasoning, machine vision and language understanding, qualitative and diagnostic reasoning, and expert systems.

Overview

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, temporal 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.

The MIT Press

Editorial Reviews

Booknews
Constraint-based reasoning is an important area of automated reasoning with many applications in artificial intelligence. Reprinted from Artificial Intelligence: An International Journal, v.58, nos.1-3 (1992), this volume presents current work in the field at several levels: theory, algorithms, languages, applications, and hardware. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Product Details

ISBN-13:
9780262560757
Publisher:
MIT Press
Publication date:
02/04/1994
Series:
Special Issues of Artificial Intelligence
Pages:
409
Product dimensions:
7.70(w) x 9.90(h) x 0.90(d)
Age Range:
18 Years

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >