Interpreting presuppositions using active logic: From contexts to utterances

Computational Intelligence

Volumn 13, Issue 3, 1997, Pages 391-413

  Gurney, John ^a   Perlis, Don ^b   Purang, Khemdut ^b  

^a U S ARMY RESEARCH LABORATORY   (United States)

^b University of Maryland ^*  (United States)

Author keywords

Accommodation; Active logic; Context; Discourse; Presupposition

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; NATURAL LANGUAGE PROCESSING SYSTEMS;

ACTIVE LOGIC; PRESUPPOSITION;

CONTEXT SENSITIVE LANGUAGES;

EID: 0031210979     PISSN: 08247935     EISSN: None     Source Type: Journal    
DOI: 10.1111/0824-7935.00044     Document Type: Article

References (40)

1. BALLIM, A. and Y. WILKS. 1991. Artificial Believers: The Ascription of Belief. Lawrence Erlbaum Associates.
2. BEAVER, D. I. 1997. Presupposition. In The Handbook of Logic and Language. Edited by J. van Bentham and A. ter Meulen, MIT Press, Cambridge, MA.
3. CHIERCHIA, G. 1995. Dynamics of Meaning. University of Chicago Press, Chicago, Illinois.
4. CROUCH, R. 1995. Ellipsis and quantification: A substitutional approach. In Proceedings of the European Chapter of the Association for Computational Linguistics, Dublin, Ireland. EACL.
5. DONNELLAN, K. 1978. Speaker reference, descriptions and anaphora. In Pragmatics, vol. 9 of Syntax and Semantics. Edited by P. Cole. Academic Press, New York.
6. DOYLE, J. 1979. A truth maintenance system. Artificial Intelligence, 12(3):231-272.
7. ELGOT-DRAPKIN, J. and D. PERLIS. 1990. Reasoning situated in time I: Basic concepts. Journal of Experimental and Theoretical Artificial Intelligence, 2(1):75-98.
8. GAZDAR, G. 1979. Pragmatics, Implicature, Presupposition and Logical Form. Academic Press, New York.
9. GREEN, N. 1990. Normal state implicature. In Proceedings of the Association for Computational Linguistics, ACL.
10. GRICE, P. 1989. Studies in the Way of Words. Harvard University Press, Cambridge, MA.
11. GROSZ, B., A. JOSHI, and S. WEINSTEIN. 1995. Centering: A framework for modeling the local coherence of discourse. Computational Linguistics, 21:203-226.
12. GURNEY, J., E. KLIPPLE, and C. VOSS. 1996. Talking about what we think we see: Natural language processing for a real-time virtual environment. In Proceedings of the IEEE International Joint Symposia on Intelligence and Systems. IEEE, Washington, D.C.
13. GURNEY, J., and M. MORREAU. 1995. Presupposition and the concept of a nonmonotonic discourse. In Proceedings of the Second Dutch/German Workshop on Nonmonotonic Reasoning. University of Utrecht, Utrecht, Netherlands.
14. HAHN, U., K. MARKERT, and M. STRUBE. 1996. A conceptual reasoning approach to textual ellipsis. In Proceedings of the 12th European Conference on Artificial Intelligence. ECAI, Budapest, Hungary.
15. HEIM, I. 1982. The Semantics of Definite and Indefinite Noun Phrases. PhD thesis, University of Massachusetts, Amherst, MA.
16. HEIM, I. 1983a. On the projection problem for presuppositions. In Proceedings of the West Coast Conference on Formal Semantics, vol. 2. Stanford University, Palo Alto, CA.
17. HEIM, I. 1983b. On the projection problem for presuppositions. In Pragmatics. Edited by S. Davis, Oxford.
18. HEIM, I. 1992. Presupposition projection and the semantics of attitude verbs. Journal of Semantics, 9:183-221.
19. HIRSCHBERG, J. 1991. A Theory of Scalar Implicature. Garland.
20. HIRST, G. 1981. Anaphora in Natural Language Understanding: A Survey. Springer-Verlag, Berlin.
21. KAMP, H. and U. REYLE. 1993. From Discourse to Logic. Kluwer, Dordrecht, Netherlands.
22. KARTUNNEN, L. 1973. Presuppositions of compound sentences. Linguistic Inquiry, 4:167-193.
23. KARTUNNEN, L., and S. PETERS. 1979. Conventional implicature. In Presupposition, vol. 11 of Syntax and Semantics. Edited by Academic Press, Orlando.
24. KAY, P. 1992. The inheritance of presuppositions. Linguistics and Philosophy, pp. 333-379.
25. LEVINSON, S. 1983. Pragmatics. Cambridge University Press, New York.
26. MARCU, D., and G. HIRST. 1994. An implemented formalism for computing linguistic presuppositions and existential commitments. In Proceedings of the International Workshop on Computational Semantics, pp. 141-150.
27. MCROY, S., and G. HIRST. 1993. Abductive explanations of dialogue misunderstandings. In Association for Computational Linguistics, pp. 277-286.
28. MCROY, S. W., and G. HIRST. 1995. The repair of speech act misunderstandings by abductive inference. Computational Linguistics, 21(4).
29. MERCER, R. E. 1988. Solving some persistent presupposition problems. COLING, pp. 420-425.
30. MERCER, R. 1992. Default logic and presuppositions. Journal of Semantics, 9:223-250.
31. MILLER, M. Reasoning about appearance and reality. Manuscript, 1990.
32. MONTAGUE, R. 1963. Syntactical treatments of modality, with corollaries on reflection principles and finite axiomatizability. In Modal and Many-Valued Logics (Acta Philosophica Fennica, vol. 16). Academic Bookstore, Helsinki.
33. NIRKHE, M., S. KRAUS, and D. PERLIS. 1995. Thinking takes time: A modal active-logic for reasoning in time. In Proceedings of BISFAI-95, Israel.
34. PERLIS, D. 1988. Languages with self reference II: Knowledge, belief, and modality. Artificial Intelligence, 34:179-212.
35. PURANG, K., D. PERLIS, and J. GURNEY. 1996. Active logic applied to cancellation of Gricean implicature. In AAAI Spring Symposium on Implicature.
36. SOAMES, S. 1982. How presuppositions are inherited: A solution to the projection problem. Linguistics Inquiry, 13:483-545.
37. SOAMES, S. 1989. Presuppositions. In Handbook of Philosophical Logic, vol. IV. Edited by D. Gabbay and F. Guenthner. Reidel, Dordrecht.
38. STALNAKER, R. C. 1973. Presuppositions. Journal of Philosophical Logic, 2:447-457.
39. THOMASON, R. 1980. A note on syntactical treatments of modality. Synthese, 44:391-395.
40. VAN DER SANDT, R. A. 1992. Presupposition projection as anaphora resolution. Journal of Semantics, 9:333-377.