Open Constraint Optimization

Constraint satisfaction has been applied with great success in closed-world scenarios, where all options and constraints are known from the beginning and fixed. With the internet, many of the traditional CSP applications in resource allocation, scheduling and planning pose themselves in open-world settings, where options and constraints must be gathered from different agents in a network. We define open constraint optimization as a model of such tasks. Under the assumption that options are discovered in decreasing order of preference, it becomes possible to guarantee optimality even when domains and constraints are not completely known. We propose several algorithms for solving open constraint optimization problems by incrementally gathering options through the network. We report empirical results on their performance on random problems, and analyze how to achieve optimality with a minimal number of queries to the information sources.

[1]  Rina Dechter,et al.  Principles and Practice of Constraint Programming – CP 2000 , 2001, Lecture Notes in Computer Science.

[2]  Richard E. Korf,et al.  Depth-First Iterative-Deepening: An Optimal Admissible Tree Search , 1985, Artif. Intell..

[3]  Thomas Schiex,et al.  Russian Doll Search for Solving Constraint Optimization Problems , 1996, AAAI/IAAI, Vol. 1.

[4]  Tuomas Sandholm,et al.  Differential -Revelation VCG Mechanisms for Combinatorial Auctions , 2002, AMEC.

[5]  Makoto Yokoo,et al.  An Asynchronous Complete Method for General Distributed Constraint Optimization , 2002 .

[6]  Makoto Yokoo,et al.  Algorithms for Distributed Constraint Satisfaction: A Review , 2000, Autonomous Agents and Multi-Agent Systems.

[7]  Nicolas Barnier,et al.  Solving the Kirkman's schoolgirl problem in a few seconds , 2002 .

[8]  Christian Bessiere,et al.  Arc-Consistency in Dynamic Constraint Satisfaction Problems , 1991, AAAI.

[9]  Evelina Lamma,et al.  Constraint Propagation and Value Acquisition: Why we should do it Interactively , 1999, IJCAI.

[10]  Makoto Yokoo,et al.  An asynchronous complete method for distributed constraint optimization , 2003, AAMAS '03.

[11]  Boi Faltings,et al.  Open Constraint Satisfaction , 2002, CP.

[12]  Abdul Sattar,et al.  On Dual Encodings for Non-binary Constraint Satisfaction Problems , 2000, CP.

[13]  Javier Larrosa,et al.  On the Dual Representation of Non-binary Semiring-based CSPs , 2000 .

[14]  Tuomas Sandholm,et al.  Partial-revelation VCG mechanism for combinatorial auctions , 2002, AAAI/IAAI.

[15]  Eithan Ephrati,et al.  The Clarke Tax as a Consensus Mechanism Among Automated Agents , 1991, AAAI.

[16]  Toby Walsh,et al.  Encodings of Non-Binary Constraint Satisfaction Problems , 1999, AAAI/IAAI.