The computational complexity of dominance and consistency in CP-Nets

Loading...
Thumbnail Image
Files
CPSPACE-jair.pdf(226.29 KB)
Published Version
Date
2008-03
Authors
Goldsmith, Judy
Lang, Jerome
Truszczynski, Miroslaw
Wilson, Nic
Journal Title
Journal ISSN
Volume Title
Publisher
Association for the Advancement of Artificial Intelligence (AAAI)
Published Version
Research Projects
Organizational Units
Journal Issue
Abstract
We investigate the computational complexity of testing dominance and consistency in CP-nets. Previously, the complexity of dominance has been determined for restricted classes in which the dependency graph of the CP-net is acyclic. However, there are preferences of interest that define cyclic dependency graphs; these are modeled with general CP-nets. In our main results, we show here that both dominance and consistency for general CP-nets are PSPACE-complete. We then consider the concept of strong dominance, dominance equivalence and dominance incomparability, and several notions of optimality, and identify the complexity of the corresponding decision problems. The reductions used in the proofs are from STRIPS planning, and thus reinforce the earlier established connections between both areas..
Description
Keywords
CP-nets , PSPACE-complete , Strong dominance , Dominance equivalence , Dominance incomparability , STRIPS planning
Citation
Goldsmith, J, Lang, J, Truszczynski, M, Wilson, N; (2008) 'The Computational Complexity of Dominance and Consistency In Cp-Nets'. Journal of Artificial Intelligence Research, 33 :403-432. doi: 10.1613/jair.2627
Copyright
© Copyright 1993-2009 AI Access Foundation, Inc. The AAAI electronic version of this article can be found at http://www.jair.org/vol/vol33.html