DMCA
Open constraint programming (2005)
Cached
Download Links
- [www.iiia.csic.es]
- [liawww.epfl.ch]
- [liawww.epfl.ch]
- DBLP
Other Repositories/Bibliography
| Venue: | ARTIFICIAL INTELLIGENCE 161 (2005) 181–208 |
| Citations: | 38 - 5 self |
BibTeX
@MISC{Faltings05openconstraint,
author = {Boi Faltings and Santiago Macho-gonzalez},
title = {Open constraint programming},
year = {2005}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Traditionally, constraint satisfaction problems (CSP) have assumed closed-world scenarios where all domains and constraints are fixed from the beginning. With the Internet, many of the traditional CSP applications in resource allocation, scheduling and planning pose themselves in open-world settings, where domains and constraints must be discovered from different sources in a network. To model this scenario, we define open constraint satisfaction problems (OCSP) as CSP where domains and constraints are incrementally discovered through a network. We then extend the concept to open constraint optimization (OCOP). OCSP can be solved without complete knowledge of the variable domains, and we give sound and complete algorithms. We show that OCOP require the additional assumption that variable domains and relations are revealed in non-decreasing order of preference. We present a variety of algorithms for solving OCOP in the possibilistic and weighted model. We compare the algorithms through experiments on randomly generated problems. We show that in certain cases, open constraint programming can require significantly less information than traditional methods where gathering information and solving the CSP are separated. This leads to a reduction in network traffic and server load, and improves privacy in distributed problem solving.
Keyphrases
open constraint programming artificial intelligence variable domain traditional csp application closed-world scenario constraint optimization complete algorithm certain case weighted model resource allocation additional assumption traditional method problem solving server load network traffic complete knowledge open-world setting non-decreasing order different source constraint satisfaction problem open constraint satisfaction problem
