An Implemented Formalism for Computing Linguistic Presuppositions and Existential Commitments

Simple item page
dc.creatorMarcu, Daniel
dc.creatorHirst, Graeme
dc.date1995-04-26
dc.date.accessioned2026-07-07T09:09:46Z
dc.date.available2026-07-07T09:09:46Z
dc.descriptionWe rely on the strength of linguistic and philosophical perspectives in constructing a framework that offers a unified explanation for presuppositions and existential commitment. We use a rich ontology and a set of methodological principles that embed the essence of Meinong's philosophy and Grice's conversational principles into a stratified logic, under an unrestricted interpretation of the quantifiers. The result is a logical formalism that yields a tractable computational method that uniformly calculates all the presuppositions of a given utterance, including the existential ones.
dc.description10 pages, LaTeX Source. Requires iwcs.sty file. Ignore LaTeX warning messages (Proceedings of the International Workshop on Computational Semantics, Tilburg, The Netherlands, pages 141--150, December 1994.)
dc.identifierhttps://arxiv.org/abs/cmp-lg/9504018
dc.identifierhttp://arxiv.org/abs/cmp-lg/9504018
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/151155
dc.subjectComputation and Language
dc.titleAn Implemented Formalism for Computing Linguistic Presuppositions and Existential Commitments
dc.typetext

Files

Collections

arXiv