Skip to main content
SpringerLink
Log in

Reasoning with Imperfect Context and Preference Information in Multi-Context Systems

  • Conference paper
Advances in Databases and Information Systems (ADBIS 2010)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 6295))

Abstract

Multi-Context Systems (MCS) are logical formalizations of distributed context theories connected through a set of mapping rules, which enable information flow between different contexts. Recent studies have proposed adding non-monotonic features to MCS to handle problems such as incomplete, uncertain or ambiguous context information. In previous work, we proposed a non-monotonic extension to MCS and an argument-based reasoning model that enable handling cases of imperfect context information based on defeasible reasoning. To deal with ambiguities that may arise from the interaction of context theories through mappings, we used a preference relation, which is represented as a total ordering on the system contexts. Here, we extend this approach to additionally deal with incomplete preference information. To enable this, we replace total preference ordering with partial ordering, and modify our argumentation framework and the distributed algorithms that we previously proposed to meet the new requirements.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. McCarthy, J.: Generality in Artificial Intelligence. Communications of the ACM 30(12), 1030–1035 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  2. Buvac, S., Mason, I.A.: Propositional Logic of Context. In: AAAI, pp. 412–419 (1993)

    Google Scholar 

  3. McCarthy, J., Buvac, S.: Formalizing Context (Expanded Notes). In: Aliseda, A., van Glabbeek, R., Westerstahl, D. (eds.) Computing Natural Language, pp. 13–50. CSLI Publications, Stanford (1998)

    Google Scholar 

  4. Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence 65(1) (1994)

    Google Scholar 

  5. Ghidini, C., Giunchiglia, F.: Local Models Semantics, or contextual reasoning=locality+compatibility. Artificial Intelligence 127(2), 221–259 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  6. Serafini, Bouquet, P.: Comparing formal theories of context in AI. Artificial Intelligence 155(1-2), 41–67 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  7. Guha, R.: Contexts: a formalization and some applications. PhD thesis, Stanford, CA, USA (1992)

    Google Scholar 

  8. Lenat, D., Guha, R.: Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project. Addison-Wesley Longman Publishing Co. Inc., Boston (1989)

    Google Scholar 

  9. Borgida, A., Serafini, L.: Distributed Description Logics: Assimilating Information from Peer Sources. Journal of Data Semantics 1, 153–184 (2003)

    Google Scholar 

  10. Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: C-OWL: Contextualizing Ontologies. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 164–179. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  11. Parsons, S., Sierra, C., Jennings, N.R.: Agents that reason and negotiate by arguing. Journal of Logic and Computation 8(3), 261–292 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  12. Sabater, J., Sierra, C., Parsons, S., Jennings, N.R.: Engineering Executable Agents using Multi-context Systems. Journal of Logic and Computation 12(3), 413–442 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  13. Roelofsen, F., Serafini, L.: Minimal and Absent Information in Contexts. In: IJCAI, pp. 558–563 (2005)

    Google Scholar 

  14. Brewka, G., Roelofsen, F., Serafini, L.: Contextual Default Reasoning. In: IJCAI, pp. 268–273 (2007)

    Google Scholar 

  15. Bikakis, A., Antoniou, G.: Contextual Argumentation in Ambient Intelligence. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 30–43. Springer, Heidelberg (2009); An extended version was accepted by IEEE Transactions on Knowledge and Data Engineering

    Chapter  Google Scholar 

  16. Simari, G.R., Loui, R.P.: A Mathematical Treatment of Defeasible Reasoning and its Implementation. Artificial Intelligence 53(2-3), 125–157 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  17. Stolzenburg, F., García, A.J., Chesñevar, C.I., Simari, G.R.: Computing Generalized Specificity. Journal of Applied Non-Classical Logics 13(1), 87–113 (2003)

    Article  MATH  Google Scholar 

  18. Prakken, H., Sartor, G.: Argument-Based Extended Logic Programming with Defeasible Priorities. Journal of Applied Non-Classical Logics 7(1) (1997)

    Google Scholar 

  19. Governatori, G., Maher, M.J., Billington, D., Antoniou, G.: Argumentation Semantics for Defeasible Logics. Journal of Logic and Computation 14(5), 675–702 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  20. Bench-Capon, T.: Persuasion in Practical Argument Using Value-based Argumentation Frameworks. Journal of Logic and Computation 13, 429–448 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  21. Kaci, S., van der Torre, L.: Preference-based argumentation: Arguments supporting multiple values. Internation Journal of Approximate Reasoning 48(3), 730–751 (2008)

    Article  MATH  Google Scholar 

  22. Amgoud, L., Parsons, S., Perrussel, L.: An Argumentation Framework based on contextual Preferences. In: International Conference on Formal and Applied and Practical Reasoning (FAPR 2000), pp. 59–67 (2000)

    Google Scholar 

  23. Amgoud, L., Cayrol, C.: A Reasoning Model Based on the Production of Acceptable Arguments. Annals of Mathematic and Artificial Intelligence 34(1-3), 197–215 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  24. Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77, 321–357 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  25. Bikakis, A., Antoniou, G.: Distributed Defeasible Contextual Reasoning in Ambient Computing. In: Aarts, E., Crowley, J.L., de Ruyter, B., Gerhäuser, H., Pflaum, A., Schmidt, J., Wichert, R. (eds.) AmI 2008. LNCS, vol. 5355, pp. 308–325. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  26. Antoniou, G., Papatheodorou, C., Bikakis, A.: Distributed Reasoning about Context in Ambient Intelligence Environments: A Report from the Filed. In: Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2010 (accepted 2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, FO.R.T.H., Vassilika Vouton, P.O. Box 1385, GR 71110, Heraklion, Greece

    Grigoris Antoniou, Antonis Bikakis & Constantinos Papatheodorou

Authors
  1. Grigoris Antoniou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antonis Bikakis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Constantinos Papatheodorou
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer and Infoamtion Science, University of Genova, Via Dodecaneso, 35, 16146, Genova, Italy

    Barbara Catania

  2. Faculty of Science, Department of Mathematics and Informatics, University of Novi Sad, Trg Dositeja Obradovica 4, 21000, Novi Sad, Serbia

    Mirjana Ivanović

  3. Institute of Computer Science and Applied Mathematics, Christian-Albrechts-University of Kiel, Olshausenstr. 40, 24098, Kiel, Germany

    Bernhard Thalheim

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Antoniou, G., Bikakis, A., Papatheodorou, C. (2010). Reasoning with Imperfect Context and Preference Information in Multi-Context Systems. In: Catania, B., Ivanović, M., Thalheim, B. (eds) Advances in Databases and Information Systems. ADBIS 2010. Lecture Notes in Computer Science, vol 6295. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15576-5_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15576-5_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15575-8

  • Online ISBN: 978-3-642-15576-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation