Skip to main content
SpringerLink
Log in

Multi-context Systems with Preferences

  • Conference paper
  • First Online:
Book cover PRIMA 2015: Principles and Practice of Multi-Agent Systems (PRIMA 2015)

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

  • 1489 Accesses

Abstract

This paper presents an extension of the Multi-Context Systems (MCS) framework to allow preferences to be expressed at the context level. The work is motivated by the observation that a casual use of preference logics at a context level in MCS can lead to undesirable outcomes (e.g., inconsistency of the MCS). To address this issue, the paper introduces the notion of a ranked logic, suitable for use with multiple sources of preferences, and employs it in the definition of weakly and strongly-preferred equilibria in a Multi-Context Systems with Preferences (MCSP) framework. The usefulness of MCSP is demonstrated in two applications: modeling of distributed configuration problems and finding explanations for distributed abductive diagnosis problems.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arrow, K.J., Sen, A., Suzumura, K.: Handbook of Social Choice and Welfare, vol. 2. North Holland, Elsevier (2011)

    Google Scholar 

  2. Aschinger, M., Drescher, C., Vollmer, H.: Loco – a logic for configuration problems. In: Proceedings of ECAI 2012 (2012)

    Google Scholar 

  3. Baker, A., Ginsberg, M.: A theorem prover for prioritized circumscription. In: Proceedingsof IJCAI 1989, pp. 463–467 (1989)

    Google Scholar 

  4. Balduccini, M., Gelfond, M.: Logic Programs with Consistency-Restoring Rules, March 2003

    Google Scholar 

  5. Brewka, G.: Adding priorities and specificity to default logic. In: MacNish, C., Pearce, D., Pereira, L.M. (eds.) JELIA ’94. LNCS, vol. 838, pp. 247–260. Springer, Heidelberg (1994)

    Chapter  Google Scholar 

  6. Brewka, G., Eiter, T.: Preferred answer sets for extended logic programs. Artificial Intelligence 109, 297–356 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  7. Brewka, G., Eiter, T.: Prioritizing default logic. In: Intellectics and Computational Logic, Applied Logic Series, vol. 19, pp. 27–45. Kluwer (2000)

    Google Scholar 

  8. Brewka, G.: Preferences in answer set programming. In: Marín, R., Onaindía, E., Bugarín, A., Santos, J. (eds.) CAEPIA 2005. LNCS (LNAI), vol. 4177, pp. 1–10. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  9. Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proceedings of AAAI 2007, pp. 385–390 (2007)

    Google Scholar 

  10. Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Proceedings of IJCAI 2011, pp. 786–791. AAAI Press (2011)

    Google Scholar 

  11. Brewka, G., Niemelä, I., Truszczynski, M.: Answer set optimization. In: Proceedings of IJCAI 2003, pp. 867–872 (2003)

    Google Scholar 

  12. Brewka, G., Roelofsen, F., Serafini, L.: Contextual default reasoning. In: Proceedings of IJCAI 2007, pp. 268–273 (2007)

    Google Scholar 

  13. Citrigno, S., Eiter, T., Faber, W., Gottlob, G., Koch, C., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The dlv system: model generator and application frontends. In: Proceedings of the 12th Workshop on Logic Programming WLP, pp. 128–137, September 1997

    Google Scholar 

  14. Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Distributed nonmonotonic multi-context systems. In: Proceedings of KR 2010 (2010)

    Google Scholar 

  15. Delgrande, J., Schaub, T., Tompits, H.: A framework for compiling preferences in logic programs. Theory and Practice of Logic Programming 3(2), 129–187 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  16. Delgrande, J., Schaub, T.: Expressing preferences in default logic. Artificial Intelligence 123, 41–87 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  17. Drescher, C., Eiter, T., Fink, M., Krennwallner, T., Walsh, T.: Symmetry breaking for distributed multi-context systems. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 26–39. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  18. Eiter, T., Fink, M., Weinzierl, A.: Preference-based inconsistency assessment in multi-context systems. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 143–155. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  19. Faber, W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs: semantics and complexity. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 200–212. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  20. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: clasp: A conflict-driven answer set solver. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 260–265. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  21. Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Proceedings of the Seventh International Conference, pp. 579–597 (1990)

    Google Scholar 

  22. Gelfond, M., Son, T.C.: Prioritized default theory. In: Selected Papers from the Workshop on Logic Programming and Knowledge Representation 1997, pp. 164–223 (1998)

    Google Scholar 

  23. Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics, or: How we can do without modal logics. Artif. Intell. 65(1), 29–70 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  24. Lierler, Y., Truszczynski, M.: An abstract view on modularity in knowledge representation. In: Proceedings of AAAI 2015 (2015)

    Google Scholar 

  25. McCarthy, J.: Generality in artificial intelligence. Commun. ACM 30(12), 1030–1035 (1987). http://doi.acm.org/10.1145/33447.33448

    Article  MathSciNet  MATH  Google Scholar 

  26. Niemelä, I., Simons, P., Soininen, T.: Stable model semantics for weight constraint rules. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) Logic Programming and Nonmonotonic Reasoning. LNCS, vol. 1730, pp. 317–331. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  27. Pelov, N., Denecker, M., Bruynooghe, M.: Partial stable models for logic programs with aggregates. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS (LNAI), vol. 2923, pp. 207–219. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  28. Pini, M.S., Rossi, F., Venable, K.B., Walsh, T.: Aggregating partially ordered preferences. J. Log. Comput. 19(3), 475–502 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  29. Pozza, G.D., Rossi, F., Venable, K.B.: Multi-agent soft constraint aggregation - A sequential approach. In: Proceedings of ICAART 2011, pp. 277–282 (2011)

    Google Scholar 

  30. Roelofsen, F., Serafini, L.: Minimal and absent information in contexts. In: Proceedings of IJCAI 2005 (2005)

    Google Scholar 

  31. Son, T., Pontelli, E.: A Constructive Semantic Characterization of Aggregates in Answer Set. Theory and Practice of Logic Programming 7(03), 355–375 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  32. Son, T.C., Pontelli, E., Le, T.: Two applications of the ASP-Prolog system: decomposable programs and multi-context systems. In: Flatt, M., Guo, H.-F. (eds.) PADL 2014. LNCS, vol. 8324, pp. 87–103. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  33. Tasharrofi, S., Ternovska, E.: Generalized multi-context systems. In: Proceedings of KR 2014 (2014)

    Google Scholar 

  34. Xia, L., Conitzer, V., Lang, J.: Aggregating preferences in multi-issue domains by using maximum likelihood estimators. In: Proceedings of (AAMAS 2010), pp. 399–408 (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, New Mexico State University, Las Cruces, USA

    Tiep Le, Tran Cao Son & Enrico Pontelli

Authors
  1. Tiep Le
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tran Cao Son
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Enrico Pontelli
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tiep Le .

Editor information

Editors and Affiliations

  1. Jinan University, Guangzhou, China

    Qingliang Chen

  2. Università di Bologna, Bologna, Italy

    Paolo Torroni

  3. Inria - Sophia Antipolis-Méditerran, Sophia Antipolis, France

    Serena Villata

  4. National Taiwan University, Taipei, Taiwan

    Jane Hsu

  5. Università di Bologna, Bologna, Italy

    Andrea Omicini

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Le, T., Son, T.C., Pontelli, E. (2015). Multi-context Systems with Preferences. In: Chen, Q., Torroni, P., Villata, S., Hsu, J., Omicini, A. (eds) PRIMA 2015: Principles and Practice of Multi-Agent Systems. PRIMA 2015. Lecture Notes in Computer Science(), vol 9387. Springer, Cham. https://doi.org/10.1007/978-3-319-25524-8_28

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-25524-8_28

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-25523-1

  • Online ISBN: 978-3-319-25524-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation