Skip to main content
SpringerLink
Log in

Possibilistic Reasoning in Multi-Context Systems: Preliminary Report

  • Conference paper
PRICAI 2012: Trends in Artificial Intelligence (PRICAI 2012)

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

Included in the following conference series:

Abstract

This paper makes the first attempt to establish a framework for possibilistic reasoning in (nonmonotonic) multi-context systems, called possibilistic MCS. We first introduce the syntax for possibilistic MCS and then define its equilibrium semantics based on Brewka and Eiter’s nonmonotonic multi-context systems. Then we investigate several properties and develop a fixoint theory for possibilistic MCS.

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. Benferhat, S., Sossai, C.: Reasoning with multiple-source information in a possibilistic logic framework. Information Fusion 7, 80–96 (2006)

    Article  Google Scholar 

  2. Bettini, C., Brdiczka, O., Henricksen, K., Indulska, J., Nicklas, D., Ranganathan, A., Riboni, D.: A survey of context modelling and reasoning techniques. Pervasive and Mobile Computing 6(2), 161–180 (2010)

    Article  Google Scholar 

  3. Bikakis, A., Patkos, T., Antoniou, G., Plexousakis, D.: A Survey of Semantics-Based Approaches for Context Reasoning in Ambient Intelligence. In: Mühlhäuser, M., Ferscha, A., Aitenbichler, E. (eds.) AmI 2007 Workshops. CCIS, vol. 11, pp. 14–23. Springer, Heidelberg (2008)

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  6. Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 439–513 (1995)

    Google Scholar 

  7. Serafini, L., Giunchiglia, F.: Multilanguage hierarchical logics, or: how we can do without modal logics. In: Artificial Intelligence, pp. 29–70 (1994)

    Google Scholar 

  8. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. 5th ICLP, pp. 1070–1080 (1988)

    Google Scholar 

  9. Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, New York (1987)

    Book  MATH  Google Scholar 

  10. McCarthy, J.: Notes on formalizing context. In: Proc. IJCAI, pp. 555–560 (1993)

    Google Scholar 

  11. Nicolas, P., Garcia, L., Stéphan, I., Lefèvre, C.: Possibilistic uncertainty handling for answer set programming. In: Annals of Mathematics and Artificial Intelligence, pp. 139–181 (2006)

    Google Scholar 

  12. Roelofsen, F., Serafini, L.: Minimal and absent information in contexts. In: Proc. IJCAI, pp. 558–563 (2005)

    Google Scholar 

  13. Yager, R.R.: An introduction to applications of possibility theory. Human Syst. Manag., 246–269 (1983)

    Google Scholar 

  14. Zadeh L.A.: Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 3–28 (1978)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Information and Communication Technology, Griffith University, Brisbane, QLD, 4116, Australia

    Yifan Jin, Kewen Wang & Lian Wen

Authors
  1. Yifan Jin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kewen Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Lian Wen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Environment, Society and Design, Department of Applied Computing, Lincoln University, P.O. Box 84, 7647, Christchurch, New Zealand

    Patricia Anthony

  2. School of Information Science and Technology, University of Tokyo, 7-3-1, Hongo, 113-8656, Bunkyo-ku, Tokyo, Japan

    Mitsuru Ishizuka

  3. MIMOS Berhad, Knowledge Technology, Technology Park Malaysia,, 57000, Kuala Lumpur, Malaysia

    Dickson Lukose

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jin, Y., Wang, K., Wen, L. (2012). Possibilistic Reasoning in Multi-Context Systems: Preliminary Report. In: Anthony, P., Ishizuka, M., Lukose, D. (eds) PRICAI 2012: Trends in Artificial Intelligence. PRICAI 2012. Lecture Notes in Computer Science(), vol 7458. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32695-0_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-32695-0_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-32694-3

  • Online ISBN: 978-3-642-32695-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation