On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers

From International Center for Computational Logic

Toggle side column

On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers

Franz BaaderFranz Baader,  K.U. SchulzK.U. Schulz
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers


Franz Baader, K.U. Schulz
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers
Proceedings of the International Conference on Principles and Practice of Constraint Programming, CP95, volume 976 of Lecture Notes in Artificial Intelligence, 380-397, 1995. Springer
  • KurzfassungAbstract
    When combining languages for symbolic constraints, one is typically faced with the problem of how to treat ``mixed constraints. The two main problems are (1) how to define a combined solution structure over which these constraints are to be solved, and (2) how to combine the constraint solving methods for pure constraints into one for mixed constraints. The paper introduces the notion of a ``free amalgamated product as a possible solution to the first problem. Subsequently, we define so-called {em simply-combinable structures} (SC-structures). For SC-structures over disjoint signatures, a canonical amalgamation construction exists, which for the subclass of {em strong} SC-structures yields the free amalgamated product. The combination technique of cite{BaaderSchulzCADE,BaaderSchulzRTA95} can be used to combine constraint solvers for (strong) SC-structures over disjoint signatures into a solver for their (free) amalgamated product. In addition to term algebras modulo equational theories, the class of SC-structures contains many solution structures that have been used in constraint logic programming, such as the algebra of rational trees, feature structures, and domains consisting of hereditarily finite (wellfounded or non-wellfounded) nested sets and lists.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
The final publication is available at Springer.
@inproceedings{ BaaderSchulz-CP-95,
  address = {Cassis, France},
  author = {F. {Baader} and K.U. {Schulz}},
  booktitle = {Proceedings of the International Conference on Principles and Practice of Constraint Programming, CP95},
  pages = {380--397},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers},
  volume = {976},
  year = {1995},
}