TY - GEN
T1 - Verifying Preferential Equivalence and Subsumption via Model Checking
AU - Santhanam, Ganesh Ram
AU - Basu, Samik
AU - Honavar, Vasant
PY - 2013
Y1 - 2013
N2 - We present a practical, model checking based, approach to verifying whether a set of ceteris paribus preference statements is equivalent to or is subsumed by another. We translate a given pair of sets of preference statements into a labeled transition system (LTS) and reduce the problem of determining whether one set of preference statements is equivalent to or is subsumed by the other to verifying the appropriate computation-tree temporal logic (CTL) formulas in the resulting LTS. Whenever the two sets of preference statements are not equivalent, our method outputs a dominance relationship that is induced by one and not by the other. Our approach is applicable to all preference languages based on ceteris paribus semantics including CP-nets, TCP-nets, CI-nets and CP-Theories.
AB - We present a practical, model checking based, approach to verifying whether a set of ceteris paribus preference statements is equivalent to or is subsumed by another. We translate a given pair of sets of preference statements into a labeled transition system (LTS) and reduce the problem of determining whether one set of preference statements is equivalent to or is subsumed by the other to verifying the appropriate computation-tree temporal logic (CTL) formulas in the resulting LTS. Whenever the two sets of preference statements are not equivalent, our method outputs a dominance relationship that is induced by one and not by the other. Our approach is applicable to all preference languages based on ceteris paribus semantics including CP-nets, TCP-nets, CI-nets and CP-Theories.
UR - http://www.scopus.com/inward/record.url?scp=84890020242&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84890020242&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-41575-3_25
DO - 10.1007/978-3-642-41575-3_25
M3 - Conference contribution
AN - SCOPUS:84890020242
SN - 9783642415746
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 324
EP - 335
BT - Algorithmic Decision Theory - Third International Conference, ADT 2013, Proceedings
PB - Springer Verlag
T2 - 3rd International Conference on Algorithmic Decision Theory, ADT 2013
Y2 - 13 November 2013 through 15 November 2013
ER -