Abstract
Many combinatorial problems can be represented naturally as constraint satisfaction problems (CSP). However, in some domains the set of variables in a solution should change dynamically on the basis of assignments of values to variables. In this paper we argue that such dynamic constraint satisfaction problems (DCSP), introduced by Mittal and Falkenhainer, are more expressive than CSP in a knowledge representation sense. We then study the problem of generalizing the original DCSP with disjunctive activity constraints and default negation which are useful in, e.g., product configuration problems. The generalization is based on a novel definition of a solution to DCSP. It uses a fixpoint condition instead of the subset minimality condition in the original formulation. Our approach coincides with the original definition when disjunctions and default negations are not allowed. However, it leads to lower computational complexity than if the original definition were generalized similarly. In fact we show that the generalized DCSP is NP-complete. As a proof of concept, we briefly describe two novel implementations of the original DCSP and give test results for them.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Eiter, T., Gottlob, G.: Complexity aspects of various semantics for disjunctive databases. In: Proc. of the 12th Symposium on Principles of Database Systems, pp. 158–167 (1993)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of the 5th Intern. Conf. on Logic Programming, pp. 1070–1080 (1988)
Gelle, E.M.: On the generation of locally consistent solution spaces. Ph.D. Thesis, Ecole Polytechnique Fédérale de Lausanne, Switzerland (1998)
Lloyd, J.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)
Mittal, S., Falkenhainer, B.: Dynamic constraint satisfaction problems. In: Proc. of the 8th National Conf. on Artificial Intelligence, pp. 25–32 (1990)
Niemelä, I., Simons, P.: Smodels – an implementation of the stable model and well-founded semantics for normal logic programs. In: Proc. of the 4th International Conf. on Logic Programming and Non-Monotonic Reasoning, pp. 420–429 (1997)
Sabin, D., Freuder, E.C.: Configuration as composite constraint satisfaction. In: Configuration – Papers from the 1996 Fall Symposium. AAAI Technical Report FS-96-03 (1996)
Sabin, D., Weigel, R.: Product configuration frameworks – a survey. IEEE Intelligent Systems & Their Applications, 42–49 (July/August 1998)
Soininen, T., Gelle, E.M.: Dynamic constraint satisfaction in configuration. In: AAAI 1999 Workshop on Configuration. To appear as AAAI Technical Report (1999)
Soininen, T., Niemelä, I.: Developing a declarative rule language for applications in product configuration. In: Gupta, G. (ed.) PADL 1999. LNCS, vol. 1551, p. 305. Springer, Heidelberg (1999)
Soininen, T., Tiihonen, J., Männistö, T., Sulonen, R.: Towards a general ontology of configuration. AI EDAM 12, 357–372 (1998)
Stumptner, M., Friedrich, G., Haselböck, A.: Generative constraint-based configuration of large technical systems. AI EDAM 12, 307–320 (1998)
Tsang, E.: Foundations of Constraint Satisfaction. Academic Press, London (1993)
van Velzen, M.: A Piece of CAKE, Computer Aided Knowledge Engineering on KADSified Configuration Tasks. Master’s thesis, University of Amsterdam, Social Science Informatics (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Soininen, T., Gelle, E., Niemelä, I. (1999). A Fixpoint Definition of Dynamic Constraint Satisfaction. In: Jaffar, J. (eds) Principles and Practice of Constraint Programming – CP’99. CP 1999. Lecture Notes in Computer Science, vol 1713. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48085-3_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-48085-3_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66626-4
Online ISBN: 978-3-540-48085-3
eBook Packages: Springer Book Archive