Entailment, intensionality and text understanding
Published 1 January 2003Open access
Cleo Condoravdi, Dick Crouch, Valeria de Paiva, R. Stollé, Daniel G. Bobrow
Citations101
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
A contexted clausal representation is described, derived from approaches in formal semantics, that permits an extended range of intensional entailments and contradictions to be tractably detected.
Abstract
We argue that the detection of entailment and contradiction relations between texts is a minimal metric for the evaluation of text understanding systems. Intensionality, which is widespread in natural language, raises a number of detection issues that cannot be brushed aside. We describe a contexted clausal representation, derived from approaches in formal semantics, that permits an extended range of intensional entailments and contradictions to be tractably detected.
Keywords
Computer Science
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference
16,927 Citations1988Judea Pearl
The author provides a coherent explication of probability as a language for reasoning with partial belief and offers a unifying perspective on other AI approaches to uncertainty, such as the Dempster-Shafer formalism, truth maintenance systems, and nonmonotonic logic.
Artificial IntelligenceThe structure-mapping engine: Algorithm and examples
1,450 Citations1989Brian Falkenhainer, Kenneth D. Forbus +1 more
SME has been built to explore Gentner's structure-mapping theory of analogy, and provides a "tool kit" for constructing matching algorithms consistent with this theory, making it a useful component in machine learning systems as well.
Natural Language SemanticsOn the proper treatment of opacity in certain verbs
413 Citations1992Thomas Ede Zimmermann
Parsing the wall street journal using a Lexical-Functional Grammar and discriminative estimation techniques
280 Citations2001Stefan Riezler, Tracy Holloway King +4 more
The model combines full and partial parsing techniques to reach full grammar coverage on unseen data, and on a gold standard of manually annotated f-structures for a subset of the WSJ treebank, reaches 79% F-score.
Ontological promiscuity
271 Citations1985Jerry R. Hobbs
This paper proposes a logical notation which is first-order and nonintensional, and for which semantic translation can be naively compositional, and makes a statement about the view of semantics that is presupposed by this approach.
A grammar writer's cookbook
253 Citations1999Miriam Butt
The grammars: general analyses The clause Verbal elements Nominal elements Determiners Adjectives Prepositional phrases Adverbial elements Coordination Grammar engineering Overview Architecture and user interface Modularity, maintainability and transparency Ambiguity/overgeneration Measuring performance Finite state technology Concluding remarks Appendix.
The interface between phrasal and functional constraints
161 Citations1993John T. Maxwell, Ronald M. Kaplan
This paper analyzes the common hybrid strategy in which a polynomial context-free parser is modified to interleave functional constraint solving with context- free constituent analysis, and describes a number of other properties that can be exploited for computational advantage.
Semantics and syntax in lexical functional grammar : the resource logic approach
141 Citations1999Mary Dalrymple
This introduction to and overview of the "glue" approach is the first book to bring together the research of the major contributors to the field.
Efficient deep processing of Japanese
96 Citations2002Melanie Siegel, Emily M. Bender
A broad coverage Japanese grammar written in the HPSG formalism with MRS semantics, created for use in real world applications, such that robustness and performance issues play an important role.
MIT Press eBooksEpisodic logic meets Little Red Riding Hood: a comprehensive natural representation for language understanding
82 Citations2000Lenhart K. Schubert, Chung Hee Hwang
The differential synaptic organization of the inhibitory control of labyrinthine afferent signals in phasic and tonic 2 degrees VN is consistent with the different intrinsic signal processing modes of the two neuronal types and suggests a co-adaptation of intrinsic membrane properties and emerging network properties.
Artificial IntelligenceExistence assumptions in knowledge representation
52 Citations1991Graeme Hirst
The philosophical background is reviewed, including Anselm and Kant, and some ontological problems that natural language sentences pose for knowledge representation are exhibited, and a better approach to the representation of nonexistence can be developed within Hobbs' basic formalism.
International Workshop/Conference on Parsing TechnologiesAn Overview of Disjunctive Constraint Satisfaction
32 Citations1989John T. Maxwell, Ronald M. Kaplan
A new algorithm is presented for solving disjunctive systems of constraints that determines whether a system is satisfiable and produces the models if the system is Satisfiable.
Ellipsis and Glue Languages
24 Citations1999Richard Crouch
Preventing existence
22 Citations2001Cleo Condoravdi, Dick Crouch +5 more
It is shown that first order representations with an explicit existence predicate are shown to not adequately capture the entailments of prevention statements, and how this can be mapped to a Cyc style knowledge representation is discussed.
Scalability of Redundancy Detection in Focused Document Collections
18 Citations2002Dick Crouch, Cleo Condoravdi +5 more
This work describes the application of primarily symbolic methods to the task of detecting logical redundancies and inconsistencies between documents in a medium sized, domain focused collection (1000–40,000 documents).
Journal of Biomedical Materials Research Part AFinding Similar Documents in Document Collections
16 Citations2002Thorsten Brants, R. Stollé
Using an in vitro culture system, it is shown here that polarization of bone marrow-derived macrophages is indeed modified by direct contact with chitosan-FPHS, and this should prove a valuable tool for screening diverse biomaterial formulations and combinations for their inflammatory potential prior to implantation in vivo.
Lecture notes in computer scienceContextual Inference in Computational Semantics
7 Citations1999Christof Monz
It is shown how integrating techniques from formal approaches to context into deduction can help to compute presuppositions more efficiently.