Constraint Satisfaction in Logic Programming

Released on by Pascal Van Hentenryck
preview-18

  • Constraint Satisfaction in Logic Programming Book Detail

  • Author : Pascal Van Hentenryck
  • Release Date : 1989
  • Publisher : MIT Press (MA)
  • Genre : Constraint programming (Computer science).
  • Pages : 250
  • ISBN 13 :
  • File Size : 38,38 MB
DOWNLOAD BOOK

Constraint Satisfaction in Logic Programming by Pascal Van Hentenryck PDF Summary

Book Description: This book tackles classic problems from operations research and circuit design using a logic programming language embedding consistency techniques, a paradigm emerging from artificial intelligence research. Van Hentenryck proposes a new approach to solving discrete combinatorial problems using these techniques.Logic programming serves as a convenient language for stating combinatorial problems, but its "generate and test" paradigm leads to inefficient programs. Van Hentenryck's approach preserves one of the most useful features of logic programming - the duality of its semantics - yet allows a short development time for the programs while preserving most of the efficiency of special purpose programs written in a procedural language.Embedding consistency techniques in logic programming allows for ease and flexibility of programming and short development time because constraint propagation and tree-search programming are abstracted away from the user. It also enables logic programs to be executed efficiently as consistency techniques permit an active use of constraints to remove combinations of values that cannot appear in a solution Van Hentenryck presents a comprehensive overview of this new approach from its theoretical foundations to its design and implementation, including applications to real life combinatorial problems.The ideas introduced in "Constraint Satisfaction in Logic Programming "have been used successfully to solve more than a dozen practical problems in operations research and circuit design, including disjunctive scheduling, warehouse location, cutting stock car sequencing, and microcode labeling problems.Pascal Van Hentenryck is a member of the research staff at the European Computer Industry Research Centre. "Constraint Satisfaction in Logic Programming" is based on research for the Centre's CHIP project. As an outgrowth of this project, a new language (CHIP) that will include consistency techniques has been developed for commercial use. The book is included in the Logic Programming series edited by Ehud Shapiro.

Disclaimer: www.yourbookbest.com does not own Constraint Satisfaction in Logic Programming books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.

Constraint-based Local Search

Constraint-based Local Search

File Size : 41,41 MB
Total View : 3349 Views
DOWNLOAD

The ubiquity of combinatorial optimization problems in our society is illustrated by the novel application areas for optimization technology, which range from s

Hybrid Optimization

Hybrid Optimization

File Size : 74,74 MB
Total View : 4293 Views
DOWNLOAD

Hybrid Optimization focuses on the application of artificial intelligence and operations research techniques to constraint programming for solving combinatorial

Decision Diagrams for Optimization

Decision Diagrams for Optimization

File Size : 46,46 MB
Total View : 6447 Views
DOWNLOAD

This book introduces a novel approach to discrete optimization, providing both theoretical insights and algorithmic developments that lead to improvements over