TY - GEN
T1 - Dominance Testing Via Model Checking
AU - Santhanam, Ganesh Ram
AU - Basu, Samik
AU - Honavar, Vasant
N1 - Funding Information:
This work is supported in parts by NSF grants CNS0709217, CCF0702758 and IIS0711356.
Publisher Copyright:
© 2010, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.
PY - 2010/7/15
Y1 - 2010/7/15
N2 - Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithms and tools for dominance testing. CP-nets and TCP-nets are some of the widely studied languages for representing and reasoning with preferences. We reduce dominance testing in TCP-nets to reachability analysis in a graph of outcomes. We provide an encoding of TCP-nets in the form of a Kripke structure for CTL. We show how to compute dominance using NuSMV, a model checker for CTL. We present results of experiments that demonstrate the feasibility of our approach to dominance testing.
AB - Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithms and tools for dominance testing. CP-nets and TCP-nets are some of the widely studied languages for representing and reasoning with preferences. We reduce dominance testing in TCP-nets to reachability analysis in a graph of outcomes. We provide an encoding of TCP-nets in the form of a Kripke structure for CTL. We show how to compute dominance using NuSMV, a model checker for CTL. We present results of experiments that demonstrate the feasibility of our approach to dominance testing.
UR - http://www.scopus.com/inward/record.url?scp=80051502852&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=80051502852&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:80051502852
T3 - Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010
SP - 357
EP - 362
BT - Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010
PB - AAAI press
T2 - 24th AAAI Conference on Artificial Intelligence, AAAI 2010
Y2 - 11 July 2010 through 15 July 2010
ER -