Advertisement

Deriving Explanations and Implications for Constraint Satisfaction Problems

  • Freuder Eugene C. 
  • Chavalit Likitvivatanavong
  • Wallace Richard J. 
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2239)

Abstract

We explore the problem of deriving explanations and implications for constraint satisfaction problems (CSPs). We show that consistency methods can be used to generate inferences that support both functions. Explanations take the form of trees that showthe basis for assignments and deletions in terms of previous selections. These ideas are illustrated by dynamic, interactive testbeds.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Dell. Dell Math Puzzles and Logic Problems. Dell Magazines, 2000.Google Scholar
  2. [2]
    K. D. Forbus and J. deKleer. Building Problem Solvers. MIT, Cambridge, MA, 1993.Google Scholar
  3. [3]
    E. C. Freuder, C. Likitvivatanavong, and R. J. Wallace. A case study in explanation and implication. In CP2000 Workshop on Analysis and Visualization of Constraint Programs and Solvers, 2000.Google Scholar
  4. [4]
    T Schiex and G. Verfaillie. Nogood recording for static and dynamic constraint satisfaction problems. Inter. J. Artific. Intell. Tools, 3:187–207, 1994.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Freuder Eugene C. 
    • 1
  • Chavalit Likitvivatanavong
    • 1
  • Wallace Richard J. 
    • 1
  1. 1.Cork Constraint Computation CentreUniversity College CorkCorkIreland

Personalised recommendations