Skip to main content
SpringerLink
Log in
Book cover

International and Interdisciplinary Conference on Modeling and Using Context

CONTEXT 1999: Modeling and Using Context pp 455–458Cite as

Open Theories and Abduction for Context and Accommodation

  • Conference paper
  • First Online:

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

Abstract

A model is proposed for the representation of context by means of open logic theories parameterized by metavariables covered by constraints. The model is formalized and implemented using constraint logic and metalogic programming notions. Accommodation, understood as the process of extracting presuppositions embedded in a discourse or, in general, extracting the contents embedded in a stream of observations, fits naturally into this model as abduction. A possible worlds’ semantics is given similar to a proposal given by Stalnaker.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Attardi, G., Simi, M., Metalanguage and reasoning across viewpoints. Proc. ECAI94: Advances in Artificial Intelligence O’Shea, T.O., (ed.), pp. 315–324. Elsevier Science Publishers, 1984.

    Google Scholar 

  2. Brachman, R.J., Levesques, H.J., Competence in knowledge representation. Proceedings of the National Conference on Artificial Intelligence. Pittsburgh, PA, August 18—20, 1982, Walz, D.L., AAAI Press pp. 189–192, 1982.

    Google Scholar 

  3. Buvačc, S., Quantificational Logic of Context. Proc. AAAI 96 & IAAI 96, Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, pp. 600–606, AAAI Press/MIT Press, 1996.

    Google Scholar 

  4. Christiansen, H., Why should grammars not adapt themselves to context and difiscourse? 4th International Pragmatics Conference, Kobe, Japan, July 23—30 1993, (Abstract collection), International Pragmatics Association p. 23, 1993. (Extended abstract: http://www.dat.ruc.dk/~henning/IPRA93.ps).

  5. Christiansen, H., Automated reasoning with a constraint-based metainterpreter, Journal of Logic Programming, vol. 37, pp. 213–253, 1998.

    Article  MATH  MathSciNet  Google Scholar 

  6. Christiansen, H., Lazy negation-as-failure for incremental integrity checking, To appear, 1999.

    Google Scholar 

  7. Christiansen, H., Abduction and induction combined in a metalogic framework. Abductive and Inductive Reasoning: Essays on their Relation and Integration, Flach. P., Kakas, A., (eds.), To appear, 1999.

    Google Scholar 

  8. Christiansen, H., Martinenghi, D., The Demoll system. Source code for implemented system, example les, and manuals available by World Wide Web, http://www.dat.ruc.dk/software/index.htm. Released 1998.

  9. Christiansen, H., Open theories and abduction for context and accommodation. Full version of present paper. To appear, 1999 (currently available from http://www.dat.ruc.dk/~henning).

  10. Hobbs, J.R., Stickel, M.E., Appelt D.E., and Martin, P., Interpretation as abduction. Artificial Intelligence 63, pp. 69–142, 1993.

    Article  Google Scholar 

  11. Mancarella, P., Pedreschi, D., An algebra of logic programs. Proc. Fifth International Conference and Symposium of Logic Programming, pp. 1006–1023, MIT Press, 1988.

    Google Scholar 

  12. McCarthy, J., Generality in artificial intelligence. Communications of the ACM, vol. 30, pp. 1030–1035, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  13. Stalnaker, R., On the representation of context. Journal of Logic, Language, and Information, vol. 7, pp. 3–19, 1998.

    Article  MATH  Google Scholar 

  14. Sowa, J.F., Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, 1984.

    Google Scholar 

  15. Verbaeten, S., Denecker, M., De Schreye, D., Compositionality of Normal Open Logic Programs, Logic Programming, Proceedings of the 1997 International Symposium, Maluszynski, J., (ed.), pp. 371–385, MIT Press, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Dept., Roskilde University, P.O.Box 260, DK-4000, Roskilde, Denmark

    Henning Christiansen

Authors
  1. Henning Christiansen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Trento, DISA, 5, via Inama, I-38050, Trento, Italy

    Paolo Bouquet  & Massimo Benerecetti  & 

  2. IRST-ITC, Pante di Povo, I-38050, Trento, Italy

    Luciano Serafini

  3. University Paris VI, LIP6 4, Place Jussieu, F-75252, Paris Cedex 05, France

    Patrick Brézillon

  4. University of Trento, 26, via Verdi, I-38050, Trento, Italy

    Francesca Castellani

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Christiansen, H. (1999). Open Theories and Abduction for Context and Accommodation. In: Bouquet, P., Benerecetti, M., Serafini, L., Brézillon, P., Castellani, F. (eds) Modeling and Using Context. CONTEXT 1999. Lecture Notes in Computer Science(), vol 1688. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48315-2_37

Download citation

  • DOI: https://doi.org/10.1007/3-540-48315-2_37

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-48315-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation