From utterance to belief via presupposition

  • Andrew Csinger
  • David Poole
Part of the Lecture Notes in Computer Science book series (LNCS, volume 444)


This paper presents an approach to agent modelling using a logic of defaults in a natural language environment. We derive the agent's beliefs from his utterances using the minimal default reasoning framework Theorist. Following Gazdar [1979], we take the position that utterance meaning is more than just what is asserted, and derive implicatures and presuppositions through a theory of communications expressed within the logic. Immediate advantages of this approach are its representational clarity over other strategies, and its ease of implementation. Applications to user modelling are investigated, and a prototype is discussed with reference to related work.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Allen and Perrault, 1980]
    James Allen and Raymond Perrault. Analyzing intention in utterances. Artificial Intelligence, 15:143–178, 1980.Google Scholar
  2. [Burton-Roberts, 1989]
    Noel Burton-Roberts. The Limits to Debate: A revised theory of semantic presupposition. Cambridge University Press, 1989.Google Scholar
  3. [Carberry, 1988]
    Sandra Carberry. Modelling the user's plans and goals. Computational Linguistics, 14(3):23, September 1988.Google Scholar
  4. [Cohen and Perrault, 1979]
    Philip R. Cohen and Raymond Perrault. Elements of a plan-based theory of speech-acts. Cognitive Science, 3:177–212, 1979.Google Scholar
  5. [Csinger, 1987]
    A. Csinger, H. da Costa, and B. Forghani. A general-purpose programmable command decoder. In IEEE Proceedings, Conference Compint, pages 139–41, November 1987.Google Scholar
  6. [Gazdar, 1979]
    Gerald Gazdar. Pragmatics: Implicature, Presupposition and Logical Form. Academic Press, 1979.Google Scholar
  7. [Grice, 1975]
    H.P. Grice. Logic and conversation. In P. Cole and J.L. Morgan, editors, Syntax and Semantics: Speech Acts, vol 3, pages 47–58. Academic Press, New York, 1975.Google Scholar
  8. [Horton, 1987]
    Diane Horton. Incorporating agents' beliefs in a model of presupposition. Technical Report 201, University of Toronto, 1987.Google Scholar
  9. [Kass and Finin, 1988]
    Robert Kass and Tim Finin. Modelling the user in natural language systems. Computational Linguistics, 14(3):5, September 1988.Google Scholar
  10. [Lycan, 1984]
    William G. Lycan. Logical Form in Natural Language. MIT Press, (A Bradford Book), Cambridge, MA, 1984.Google Scholar
  11. [McCawley, 1981]
    J. McCawley. Everything Linguists Always Wanted to Know about Logic. University of Chicago Press, 1981.Google Scholar
  12. [Mercer, 1987]
    Robert Mercer. A default logic approach to the derivation of natural language presuppositions. Technical Report 35, University of British Columbia, October 1987.Google Scholar
  13. [Perrault, 1987]
    C. Raymond Perrault. An application of default logic to speech act theory. CSLI 90, Center for the Study of Language and Information, Stanford, CA., 1987.Google Scholar
  14. [Poole, 1987]
    David Poole. A logical framework for default reasoning. Artificial Intelligence, 36(1):27–47, 1987.Google Scholar
  15. [Searle and Vanderveken, 1985]
    John R. Searle and Daniel Vanderveken. Foundations of Illocutionary Logic. Cambridge University Press, 1985.Google Scholar
  16. [Whitelock, 1987]
    P. Whitelock. Linguistic Theory and Computer Applications. Academic Press, London, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Andrew Csinger
    • 1
  • David Poole
    • 1
  1. 1.Department of Computer ScienceUniversity of British ColumbiaVancouverCanada

Personalised recommendations