|
1. |
Exploiting the relationship between IA networks and finite domain CSPs
Trudel, A.; Haiyi Zhang;
Temporal Representation and Reasoning, 2005. TIME 2005. 12th International Symposium on
23-25 June 2005
Page(s):177
-
179
Abstract:
We exploit the fact that qualitative interval algebra (IA) network problems are finite domain CSPs. We show how to convert a qualitative IA network into an equivalent binary CSP problem with finite integer domains. The main benefit is that standard binary CSP solution techniques can be used. Once a solution is found, the transformations can be applied in reverse to generate a solution to the original IA network. We also prove that it is not the case that all finite domain binary CSP problems have an equivalent qualitative IA network counterpart.
|
Cart
