Constraint-based Reasoning

Constraint-based Reasoning
Author :
Publisher : MIT Press
Total Pages : 420
Release :
ISBN-10 : 0262560755
ISBN-13 : 9780262560757
Rating : 4/5 (757 Downloads)

Book Synopsis Constraint-based Reasoning by : Eugene C. Freuder

Download or read book Constraint-based Reasoning written by Eugene C. Freuder and published by MIT Press. This book was released on 1994 with total page 420 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Constraint-based Reasoning Related Books

Constraint-based Reasoning
Language: en
Pages: 420
Authors: Eugene C. Freuder
Categories: Computers
Type: BOOK - Published: 1994 - Publisher: MIT Press

GET EBOOK

Constraint-based reasoning is an important area of automated reasoning in artificial intelligence, with many applications. These include configuration and desig
Constraint Processing
Language: en
Pages: 504
Authors: Rina Dechter
Categories: Computers
Type: BOOK - Published: 2003-05-05 - Publisher: Morgan Kaufmann

GET EBOOK

Constraint reasoning has matured over the last three decades with contributions from a diverse community of researchers in artificial intelligence, databases an
Machine Learning
Language: en
Pages: 0
Authors: Marco Gori
Categories: Computers
Type: BOOK - Published: 2017-11-13 - Publisher: Morgan Kaufmann

GET EBOOK

Machine Learning: A Constraint-Based Approach provides readers with a refreshing look at the basic models and algorithms of machine learning, with an emphasis o
Handbook of Constraint Programming
Language: en
Pages: 977
Authors: Francesca Rossi
Categories: Computers
Type: BOOK - Published: 2006-08-18 - Publisher: Elsevier

GET EBOOK

Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, c
Essentials of Constraint Programming
Language: en
Pages: 142
Authors: Thom Frühwirth
Categories: Computers
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

GET EBOOK

The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specify problems