Abstract
In Artificial Intelligence, for practical applications, we often have to manage over-constrained systems of constraints. So, a model based on the formalism of finite Constraint Satisfaction Problems (CSPs) [14] has been proposed with Dynamic CSPs (DCSPs) to handle this kind of problems [10][11]. Some classical techniques defined in the field of CSPs are usable in DCSPs, but the management of over-constrained system with DCSPs induces new problems. The purpose of this paper is to introduce an efficient way to solve DCSPs based on a logical approach. We use Ordered Binary Decision Diagrams (OBDDs) [3] and propose a particular coding for dynamicity. We show that our approach allows to solve some major questions in the field of DCSP, particularly consistency maintenance. This kind of problems is naturally expressed as a problem of optimal path computing in weighted graphs. Moreover, we shall see that the problem of finding optimal solutions can be solved easily and efficiently by our approach. One important problem in OBDD is the amount of memory required to represent the OBDD. In the worst case, this amount is in O(2N) where N is the number of propositional variables for static CSPs. We prove here that, if the number of dynamic constraints is m and if n is the number of variables in the problem, the size of OBDD is bounded by O(m×2n). First experimental results attest the interest of the approach.
Preview
Unable to display preview. Download preview PDF.
References
C. Bessière. Arc-consistency for dynamic constraint satisfaction problems. AAAI, Anaheim, USA, 1991.
G. Brewka. Prefered subtheories: An extended logical framwork for default reasoning. Proceedings of IJCAI 89, Detroit, USA, pages 1043–1048, 1989.
E. Bryant. Graph-based algorithhms for boolean function manipulation. IEEE Transactions on computers, C-35:677–691, 1986.
E. Bryant. Symbolic boolean manipulation with ordered bdd. ACM Computing Surveys, Vol 24 No.3, September 1992.
C. Cayrol, M.C. Lagasquie-Schiex, and T. Schiex. Non-monotonic reasoning: from complexity to algorithms. 4th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, USA, 1996.
H. Cormen, C. Leiserson, and R. Rivest. Introduction to algorithms. MIT Press-McGraw-Hill, 1991.
M. Corsini and A. Rauzy. Toupie user's manual. Technical report, LABRI, Université de Bordeaux I, France, 1993.
O. Coudert and J.C. Madre. A logically complete reasonning maintenance system based on a logical constraint solver. IJCAI91, I:294–299, 1991.
J. De Kleer. A comparaison of atms and csps techniques. In IJCAI89, volume Detroit, USA, pages 290–296, 1989.
R. Dechter and A. Dechter. Belief maintenance in dynamic constraint networks. In AAAI, volume Saint Paul, USA, pages 37–42, 1988.
P. Janssen, P. Jégou, B. Nougier, M.C. Vilarem, and B. Castro. Synthia: Assited design of peptide synthesis plans. New Journal of Chemistry, 14-12:969–976, 1990.
P. Jégou. Using Binary Decision Diagrams to solve Dynamic CSPs: Preliminary Report. In Constraint Satisfacton issues raised by practical applications Workshop, editor, ECAI, 1994.
D. Lehmann. Another perspective on default reasoning. Technical report, Leibniz Center for Research in Computer Science. Hebrew University of Jerusalem. Israel, 1992.
U. Montanari. Networks of constaints: fundamental properties and applications to picture procesing. Information Sciences, 7:95–132, 1974.
A. Rauzy. Cedre version 0.2: user's guide. Technical report, LaBRI URA CNRS 1304, 1994.
T. Schiex and G. Verfaillie. Nogood recording for static and dynamic csps. In IEEE, editor, 5th IEEE International Conference on tools with Artificial Intelligence, 1993.
N.R. Vempaty. Solving constraint satisfaction problems using finite state automata. AAAI, San Jose, USA:453–458, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bouquet, F., Jégou, P. (1996). Solving over-constrained CSP using weighted OBDDs. In: Jampel, M., Freuder, E., Maher, M. (eds) Over-Constrained Systems. OCS 1995. Lecture Notes in Computer Science, vol 1106. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61479-6_30
Download citation
DOI: https://doi.org/10.1007/3-540-61479-6_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61479-1
Online ISBN: 978-3-540-68601-9
eBook Packages: Springer Book Archive