Abstract
Some constraint languages are more powerful than others because they allow us to express a larger collection of problems. More generally, the finite constraint satisfaction problem (CSP) with arbitrary constraints (non-binary), is known to be NP-complete 9, whereas many families of restricted constraints have been identified like tracta ble subproblems [1][7]. We propose two preprocessing algorithms in order to study the consistency check (the consistency algorithm) when a new non-binary constraint is inserted into the system and to reduce the variable domains (the reduction algorithm) that participate in these non-binary disjunctive temporal constraints. Following, we can apply some of the techniques to solve this CSP. Thus, we can manage more complex and expressive constraints that many real problems must deal with.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Cooper, M.C., Cohen, D.A., Jeavons, P.G.: Characterizing tractable constraint. Artificial Intelligence 65 (1994) 347–361
Bessi¨¨re, C., Meseguer, P., Freuder, E.C., Larrosa, J.: On forward checking for non-binary constraint satisfaction. In Proceeding CP’99, Alejandria VA, (1999)
Gent, I.,Stergiou, K.,Walsh, T.: Descomposable constraints, Artificial Intelligence 123. (2000) 133–156
Dechter, R., Meiri, I., Pearl, J,: Temporal Constraint Network, Artificial Intelligence 49, (1991) 61–95
Dechter, R.: From Local to Global Consistency, Artificial Intelligence 55, (1992) 87–107
Eiben, A.E., Ruttkay, Zs.: Constraint satisfaction problems, Handbook of Evolutionary Computation, IOP Publishing Ltd. and Oxford University Press, (1997) C5.7:1-C5.7:8.
Jeavons, P. G., Cooper, M. C.: Tractable constraints on ordered domains. Artificial Intelligence 79, (1996) 327–339
Jonsson, P., Bäckström, C.: A Unifying Approach to Temporal Constraint Reasoning. Artificial Intelligence 102(1). (1998) 143–155
Mackworth, A. K.: Consistency in Network of Relations, Artificial Intelligence 8. (1977) 99–118
Montanan, U.: Networks of constraints: fundamental properties and applications to picture processing. Information Sciences 7. (1974) 95–132
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag London
About this paper
Cite this paper
Salido, M.A., Giret, A., Barber, F. (2002). Preprocessing Algorithms for non-binary Disjunctive Constraint Satisfaction. In: Bramer, M., Coenen, F., Preece, A. (eds) Research and Development in Intelligent Systems XVIII. Springer, London. https://doi.org/10.1007/978-1-4471-0119-2_10
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0119-2_10
Publisher Name: Springer, London
Print ISBN: 978-1-85233-535-9
Online ISBN: 978-1-4471-0119-2
eBook Packages: Springer Book Archive