1995/04/26 by Daniel Marcu, Graeme Hirst, Marcu, Daniel +1
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies #cmp-lg #cs.CL
paper · pdf · doi:10.48550/arxiv.cmp-lg/9504018
10 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.)
arxiv created 1995/04/26 · openalex publication_date 1995/04/26 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We 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.