Skip to main content
SpringerLink
Log in

Minimality and Non-determinism in Multi-context Systems

  • Conference paper
Modeling and Using Context (CONTEXT 2005)

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

  • 1131 Accesses

Abstract

Multi-context systems can be used to represent contextual information and inter-contextual information flow. We show that the local model semantics of a multi-context system is completely determined by the information that is obtained when simulating the information flow specified by the system, in such a way that a minimal amount of information is deduced at each step of the simulation.

The multi-context system framework implicitly presupposes that information flow is deterministic. In many natural situations, this is not a valid assumption. We propose an extension of the framework to account for non-determinism and provide an algorithm to efficiently compute the meaning of non-deterministic systems.

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.

Similar content being viewed by others

References

  1. Benerecetti, M., Bouquet, P., Ghidini, C.: Contextual reasoning distilled. Journal of Experimental and Theoretical Artificial Intelligence 12(3), 279–305 (2000)

    Article  MATH  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  3. Giunchiglia, F.: Contextual reasoning. Epistemologia XVI, 345–364 (1993)

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  5. McCarthy, J.: Notes on formalizing context. In: International Joint Conference on Artificial Intelligence (IJCAI 1993), pp. 555–560 (1993)

    Google Scholar 

  6. McCarthy, J., Buvač, S.: Formalizing context (expanded notes). In: Computing Natural Language. CSLI Lecture Notes, vol. 81, pp. 13–50 (1998)

    Google Scholar 

  7. Roelofsen, F., Serafini, L., Cimatti, A.: Many hands make light work: Localized satisfiability for multi-context systems. In: European Conference on Artificial Intelligence (ECAI 2004), pp. 58–62 (2004)

    Google Scholar 

  8. Sakama, C., Inoue, K.: An alternative approach to the semantics of disjunctive programs and deductive databases. Journal of Automated Reasoning 13, 145–172 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  9. Serafini, L., Bouquet, P.: Comparing formal theories of context in AI. Artificial Intelligence 155, 41–67 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  10. Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics 5, 285–309 (1955)

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Logic, Language, and Computation, Amsterdam, Netherlands

    Floris Roelofsen

  2. Instituto per la Ricerca Scientifica e Tecnologica, Trento, Italy

    Luciano Serafini

Authors
  1. Floris Roelofsen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luciano Serafini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Human-Computer Interaction Institute, Carnegie Mellon University, 5000 Forbes Ave, 15213-3891, Pittsburgh, PA, USA

    Anind Dey

  2. Central and East European Center for Cognitive Science, New Bulgarian University, 21 Montevideo Street, 1618, Sofia, Bulgaria

    Boicho Kokinov

  3. Computer Science Department, Indiana University, 47405, Bloomington, IN, U.S.A.

    David Leake

  4. Department of Computer Science, University of Maine, 04469, Orono, Maine, USA

    Roy Turner

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Roelofsen, F., Serafini, L. (2005). Minimality and Non-determinism in Multi-context Systems. In: Dey, A., Kokinov, B., Leake, D., Turner, R. (eds) Modeling and Using Context. CONTEXT 2005. Lecture Notes in Computer Science(), vol 3554. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11508373_32

Download citation

  • DOI: https://doi.org/10.1007/11508373_32

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-26924-3

  • Online ISBN: 978-3-540-31890-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation