Object-Oriented Constraint Satisfaction Problems 1
Timothy L. Hinrichs, Nathaniel Love, Michael Genesereth · 2006
The object-oriented paradigm can be leveraged to make the definition of constraint satisfaction problems more modular, which often results in reusable subproblems and fewer encoding errors. These object-oriented constraint satisfaction problems (OOCSPs) synthesize object-oriented constructs with declarative constraints to provide a rich, solver-independent language for describing both finite and infinite domains as sets of structured objects. This paper introduces the concept of an OOCSP, describes algorithms for solving certain classes of OOCSPs, and gives an undecidability result that shows not all OOCSPs can be solved.