Skip to main content
SpringerLink
Log in

Embodied Context Semantics

  • Conference paper
Book cover Semantics in Data and Knowledge Bases (SDKB 2008)

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

Included in the following conference series:

  • 281 Accesses

Abstract

It is a desirable feature of knowledge bases that they are able to accommodate and reason across the different perspectives that may exist on a particular theory or situation. With the aim of obtaining an adequate logic for this problem, the knowledge representation community has extensively researched into the formalization of contexts as first-class citizens. However, most of the proposed logics of context only deal with the propositional case, which for many applications is not enough, and those tackling the quantificational case face many counterintuitive restrictions. In this paper, we present a model-theoretic semantics that, based on a cognitive approach to the notions of context and meaning, succeeds in addressing the quantificational case in a flexible manner that overcomes the limitations of the previous initiatives. The expressive power of the system will be evaluated in the paper by formalizing some of the benchmark examples that can be found in the literature.

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. Akman, V., Surav, M.: Steps Toward Formalizing Context. AI Magazine 17(3), 55–72 (1996)

    Google Scholar 

  2. Barwise, J., Perry, J.: Situations and Attitudes. MIT Press, Cambridge (1983)

    MATH  Google Scholar 

  3. Bouquet, P., Ghidini, C., Giunchiglia, F., Blanzieri, E.: Theories and Uses of Context in Knowledge Representation and Reasoning. Journal of Pragmatics 35(3), 455–484 (2003)

    Article  Google Scholar 

  4. Buvac, S.: Quantificational Logic of Context. In: Proceedings of the 13th National Conference on Artificial Intelligence (AAAI 1996), pp. 600–606. AAAI Press, Menlo Park (1996)

    Google Scholar 

  5. Buvac, S., Mason, I.A.: Propositional Logic of Context. In: Proceedings of the 11th National Conference on Artificial Intelligence (AAAI 1993), pp. 412–419. AAAI Press, Menlo Park (1993)

    Google Scholar 

  6. Devlin, K.: Chap. Situation Theory and Situation Semantics. In: Handbook of the History of Logic. Logic and the Modalities in the Twentieth Century, vol. 7, pp. 601–664. Elsevier, Amsterdam (2006)

    Google Scholar 

  7. Fauconnier, G.: Mental Spaces: Aspects of Meaning Construction in Natural Language. MIT Press, Cambridge (1985)

    Google Scholar 

  8. Gallese, V., Lakoff, G.: The Brain’s Concepts: The Role of the Sensory-motor System in Conceptual Knowledge. Cognitive Neuropsychology 22(3-4), 455–479 (2005)

    Article  Google Scholar 

  9. Ghidini, C., Giunchiglia, F.: Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. Artificial Intelligence 127(2), 221–259 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  10. Ghidini, C., Serafini, L.: Distributed First Order Logics. In: Frontiers of Combining Systems, vol. 2, pp. 121–139. Research Studies Press (2000)

    Google Scholar 

  11. Giunchiglia, F., Serafini, L.: Multilanguage Hierarchical Logics or: How we can do without Modal Logics. Artificial Intelligence 65(1), 29–70 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  12. Guha, R., McCarthy, J.: Varieties of Context. In: Blackburn, P., Ghidini, C., Turner, R.M., Giunchiglia, F. (eds.) CONTEXT 2003. LNCS, vol. 2680, pp. 164–177. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  13. Guha, R.V.: Contexts: a formalization and some applications. PhD thesis, Stanford University, California, USA (1992)

    Google Scholar 

  14. Hayes, P.J.: Contexts in Context. In: AAAI Fall Symposium of Context in Knowledge Representation and Natural Language. AAAI Press, Menlo Park (1997)

    Google Scholar 

  15. Kaplan, D.: On the Logic of Demonstratives. Journal of Philosophical Logic 8, 81–98 (1978)

    MathSciNet  MATH  Google Scholar 

  16. Kosslyn, S.M.: Mental Images and the Brain. Cognitive Neuropsychology 22, 333–347 (2005)

    Article  Google Scholar 

  17. Lewis, D.K.: Index, Context, and Content. In: Philosophy and Grammar, pp. 79–100. D. Reidel, Dordrecht (1980)

    Chapter  Google Scholar 

  18. Lewis, D.K.: On the Plurality of Worlds. Blackwell Publishing, Malden (1986)

    Google Scholar 

  19. McCarthy, J.: Chap. Generality in Artificial Intelligence. In: Formalizing Common Sense: Papers by John McCarthy, pp. 226–236. Ablex Publishing, Greenwich (1990)

    Google Scholar 

  20. McCarthy, J.: Notes on Formalizing Contexts. In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI 1993), pp. 555–560. Morgan Kaufmann, San Francisco (1993)

    Google Scholar 

  21. Montague, R.: Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven (1974)

    Google Scholar 

  22. Nardi, D., Brachman, R.J.: An Introduction to Description Logics. In: Description Logic Handbook, pp. 5–44. Cambridge University Press, Cambridge (2002)

    Google Scholar 

  23. Quine, W.V.O.: Propositional Objects. In: Ontological Relativity and Other Essays (J.Dewey Essays in Philosophy), pp. 139–160. Columbia University Press, New York (1969)

    Google Scholar 

  24. Serafini, L., Bouquet, P.: Comparing Formal Theories of Context in AI. Artificial Intelligence 155(1–2), 41–67 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  25. Simons, P.: Parts: A Study in Ontology. Oxford University Press, Oxford (2003)

    Google Scholar 

  26. Thomason, R.H.: Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects. In: Bouquet, P., Serafini, L., Brézillon, P., Benercetti, M., Castellani, F. (eds.) CONTEXT 1999. LNCS (LNAI), vol. 1688, pp. 352–374. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing, University of Leeds, Leeds, UK

    Ander Altuna

  2. Infotech Unit, Robotiker-Tecnalia, Zamudio, Spain

    Ander Altuna

Authors
  1. Ander Altuna
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Information Science Research Centre, 20A Manapouri Cr, 4410, Palmerston North, New Zealand

    Klaus-Dieter Schewe

  2. 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

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Altuna, A. (2008). Embodied Context Semantics. In: Schewe, KD., Thalheim, B. (eds) Semantics in Data and Knowledge Bases. SDKB 2008. Lecture Notes in Computer Science, vol 4925. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88594-8_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88594-8_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-88593-1

  • Online ISBN: 978-3-540-88594-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation