Skip to main content
Book cover

International Conference on Algorithmic Decision Theory

ADT 2013: Algorithmic Decision Theory pp 324–335Cite as

Verifying Preferential Equivalence and Subsumption via Model Checking

  • Conference paper

  • 1072 Accesses

Part of the Lecture Notes in Computer Science book series (LNAI,volume 8176)

Abstract

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.

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-41575-3_25
  • Chapter length: 12 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   59.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-41575-3
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   74.99
Price excludes VAT (USA)
Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hatfield, J.W., Immorlica, N., Kominers, S.D.: Testing substitutability. Games and Economic Behavior 75(2), 639–645 (2012)

    MathSciNet  CrossRef  Google Scholar 

  2. Gusfield, D., Irving, R.W.: The Stable marriage problem - structure and algorithms. Foundations of computing series. MIT Press (1989)

    Google Scholar 

  3. Trabelsi, W., Wilson, N., Bridge, D.G., Ricci, F.: Preference dominance reasoning for conversational recommender systems: a comparison between a comparative preferences and a sum of weights approach. Int’l Journal on Art. Int. Tools 20(4), 591–616 (2011)

    CrossRef  Google Scholar 

  4. Rossi, F., Venable, K.B., Walsh, T.: mcp nets: Representing and reasoning with preferences of multiple agents. In: Proc. of Nat’l Conf. on Art. Int., pp. 729–734. AAAI Press (2004)

    Google Scholar 

  5. Brafman, R.I., Domshlak, C., Shimony, S.E.: On graphical modeling of preference and importance. J. Art. Intel. Res. 25, 389–424 (2006)

    MathSciNet  MATH  Google Scholar 

  6. Wilson, N.: Extending cp-nets with stronger conditional preference statements. In: AAAI, pp. 735–741 (2004)

    Google Scholar 

  7. Bouveret, S., Endriss, U., Lang, J.: Conditional importance networks: A graphical language for representing ordinal, monotonic preferences over sets of goods. In: IJCAI, pp. 67–72 (2009)

    Google Scholar 

  8. Brafman, R.I., Pilotto, E., Rossi, F., Salvagnin, D., Venable, K.B., Walsh, T.: The next best solution. In: AAAI (2011)

    Google Scholar 

  9. Martínez, R., Massó, J., Neme, A., Oviedo, J.: On the invariance of the set of stable matchings with respect to substitutable preference profiles. Int. J. Game Theory 36(3-4), 497–518 (2008)

    MathSciNet  CrossRef  Google Scholar 

  10. Boutilier, C., Brafman, R.I., Hoos, H.H., Poole, D.: Reasoning with conditional ceteris paribus preference statements. In: UAI, pp. 71–80 (1999)

    Google Scholar 

  11. Santhanam, G.R., Basu, S., Honavar, V.: Dominance testing via model checking. In: AAAI. AAAI Press (2010)

    Google Scholar 

  12. Goldsmith, J., Lang, J., Truszczynski, M., Wilson, N.: The computational complexity of dominance and consistency in cp-nets. J. Art. Intel. Res. 33, 403–432 (2008)

    MathSciNet  MATH  Google Scholar 

  13. Queille, J.P., Sifakis, J.: Specification and verification of concurrent systems in CESAR. In: Dezani-Ciancaglini, M., Montanari, U. (eds.) International Symposium on Programming. LNCS, vol. 137, pp. 337–351. Springer, Heidelberg (1982)

    CrossRef  Google Scholar 

  14. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM TOPLAS 8(2), 244–263 (1986)

    CrossRef  Google Scholar 

  15. Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359–364. Springer, Heidelberg (2002)

    CrossRef  Google Scholar 

  16. Oster, Z.J., Santhanam, G.R., Basu, S., Honavar, V.: Model checking of qualitative sensitivity preferences to minimize credential disclosure. In: Păsăreanu, C.S., Salaün, G. (eds.) FACS 2012. LNCS, vol. 7684, pp. 205–223. Springer, Heidelberg (2013)

    CrossRef  Google Scholar 

  17. Boutilier, C., Brafman, R.I., Domshlak, C., Hoos, H.H., Poole, D.: Cp-nets: A tool for representing and reasoning with conditional ceteris paribus preference statements. J. Art. Intel. Res. 21, 135–191 (2004)

    MathSciNet  MATH  Google Scholar 

  18. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press (January 2000)

    Google Scholar 

  19. Santhanam, G.R., Basu, S., Honavar, V.: Efficient dominance testing for unconditional preferences. In: KR (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Iowa State University, Ames, IA, 50011, USA

    Ganesh Ram Santhanam, Samik Basu & Vasant Honavar

Authors
  1. Ganesh Ram Santhanam
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Samik Basu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Vasant Honavar
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. LIP 6, UPMC, 75005, Paris, France

    Patrice Perny

  2. UMONS, Faculty of Engineering, Mathematics and Operations Research, Université de Mons, 9, Rue de Houdain, 7000, Mons, Belgium

    Marc Pirlot

  3. CNRS, LAMSADE, Université Paris Dauphine, Place du Maréchal de Lattre de Tassigny, 75016, Paris, France

    Alexis Tsoukiàs

Rights and permissions

Reprints and Permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Santhanam, G.R., Basu, S., Honavar, V. (2013). Verifying Preferential Equivalence and Subsumption via Model Checking. In: Perny, P., Pirlot, M., Tsoukiàs, A. (eds) Algorithmic Decision Theory. ADT 2013. Lecture Notes in Computer Science(), vol 8176. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41575-3_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-41575-3_25

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-41574-6

  • Online ISBN: 978-3-642-41575-3

  • eBook Packages: Computer ScienceComputer Science (R0)