Corpus ID: 18099133

The Theory of Correlation Formulas and Their Application to Discourse Coherence

  title={The Theory of Correlation Formulas and Their Application to Discourse Coherence},
  author={Julian Michael},
The Winograd Schema Challenge (WSC) was proposed as a measure of machine intelligence. It boils down to anaphora resolution, a task familiar from computational linguistics. Research in linguistics and AI has coalesced around discourse coherence as the critical factor in solving this task, and the process of establishing discourse coherence relies fundamentally on world and commonsense knowledge. In this thesis, we build on an approach to establishing coherence on the basis of correlation. The… Expand

Tables from this paper

Back to Square One: Bias Detection, Training and Commonsense Disentanglement in the Winograd Schema
Much of the apparent progress on Winograd Schema may not necessarily reflect progress in Commonsense reasoning, but much of it comes from supervised data, which is not likely to account for all the required commonsense reasoning skills and knowledge. Expand


The Winograd Schema Challenge and Reasoning about Correlation
A framework for reasoning about correlation between sentences is introduced, and it is shown how this framework can be used to justify solutions to some Winograd Schema problems. Expand
An intelligent co-reference resolver for Winograd schema sentences containing resolved semantic entities
A pronoun resolver system for the confined domain Winograd sentences and four answering modules which use world knowledge and inferencing mechanisms to try and resolve the pronoun, which gets nearly 4.5 % improvement in the restricted domain. Expand
Solving Winograd Schema Challenge : Using Semantic Parsing, Automatic Knowledge Acquisition and Logical Reasoning
A novel technique to solve the Winograd Schema Challenge, a question answering test for predicting the human level intelligence in machines that consists of sentence and question pairs such that the answer to the question depends on the resolution of a definite pronoun or adjective in the sentence. Expand
A calculus for first order Discourse Representation Structures
This paper presents a sound and complete proof system for the first order fragment of Discourse Representation Theory, and considers the distinctive architecture of DRS-like semantic representation in a sublanguage of the one defined in Section 2, which differs from the full language in that it lacks identity and disjunction. Expand
Coherence and Coreference
In this paper, formal definitions are given for several coherence relations, based on the operations of an inference system; that is, the relations between successive portions of a discourse are characterized in terms of the inferences that can be drawn from each. Expand
Ontological Promiscuity
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. Expand
Resolving Complex Cases of Definite Pronouns: The Winograd Schema Challenge
A knowledge-rich approach to the task of resolving complex cases of definite pronouns is employed, which yields a pronoun resolver that outperforms state-of-the-art resolvers by nearly 18 points in accuracy on the authors' dataset. Expand
Coherence and Coreference Revisited
The results suggest that pronoun interpretation is incrementally influenced by probabilistic expectations that hearers have regarding what coherence relations are likely to ensue, together with their expectations about what entities will be mentioned next, which, crucially, are conditioned on those coherence Relations. Expand
Coreference Resolution with ILP-based Weighted Abduction
This paper presents the first systematic study of the coreference resolution problem in a general inference-based discourse processing framework by employing the mode of inference called weighted abduction and employing a new efficient implementation of weighted abduction based on Integer Linear Programming. Expand
Interpretation as Abduction
An approach to abductive inference, called “weighted abduction”, that has resulted in a significant simplification of how the problem of interpreting texts is conceptualized, can be combined with the older view of “parsing as deduction” to produce an elegant and thorough integration of syntax, semantics, and pragmatics. Expand