Computing Meaning Vol. 4

Understanding Recognizing Textual Entailment and Computational Semantics by Johan Bos . 1 Introduction . 2 The Logical Method . 2.1 Robust semantic analysis . 2.2 Applying theorem proving . 2.3 Implementation and results . A Critical Evaluation of Performance . 3.1 Proofs found for entailment pairs (true positives) . 3.2 Incorrect proofs found (false positives) . 3.3 Missing proofs (false negatives) . 4 Discussion and Conclusion . References . Abductive Reasoning with a Large Knowledge Base for Discourse Processing by Ekaterina Ovchinnikova, Niloofar Montazeri, Theodore Alexandrov, Jerry R. Hobbs, Michael C. McCord, and Rutu Mulkar-Mehta . 1 Introduction . 2 Weighted Abduction . 3 Discourse Processing Pipeline and Abductive Reasoning . 4 Unification in Weighted Abduction . 5 Knowledge Base . 6 Adapting Mini-TACITUS to a Large Knowledge Base . 6.1 Time and Depth Parameters . 6.2 Filtering out Axioms and Input Propositions . 7 Recognizing Textual Entailment . 8 Experimental Evaluation . 8.1 Weighted Abduction for Recognizing Textual Entailment . 8.2 Semantic Role Labeling . 9 Conclusion and Future Work . References .- Natural logic and natural language inference by Bill MacCartney and Christopher D. Manning . 1 Introduction . 2 An inventory of entailment relations . 3 Joining entailment relations . 4 Lexical entailment relations . 5 Entailment relations and semantic composition . 6 Implicatives and factives . 7 Putting it all together . 8 Implementation and evaluation . 9 Conclusion . References .- Designing Efficient Controlled Languages for Ontologies by Camilo Thorne, Raffaella Bernardi, and Diego Calvanese . 1 Introduction . 2 Controlled Languages and Semantic Complexity . 3 DL-Lite and its Computational Properties . 4 Categorial Grammars . 5 Lite English and its Grammar CG-lite . 5.1 Fragment of Natural Language for DL-Lite . 5.2 Expressing DL-Litecore . 5.3 Expressing DL-LiteR;u . 6 Distribution of Boolean- and non-Boolean-closed Fragments . 7 Related Work . 8 Conclusions . References .- Part III Semantic Resources and Annotation . A Context-Change Semantics for Dialogue Acts by Harry Bunt . 1 Introduction . 2 DiAML: Dialogue Act Markup Language . 2.1 Abstract syntax . 2.2 Concrete Syntax . 2.3 DiAML Semantics . 3 Context Model Structure and Content . 3.1 Types of Context Information . 3.2 Semantic Primitives . 4 Dialogue Act Interpretation . 4.1 The Semantics of Communicative Functions . 4.2 Communicative Function Qualifiers . 5 Conclusion . References .- VerbNet Class Assignment as a WSD Task by Susan Windisch Brown, Dmitriy Dligach and Martha Palmer . 1 Introduction . 2 Related Work . 3 Method . 3.1 The Data . 3.2 Features . 3.3 Experimental Setup . 4 Results . 5 Discussion . 5.1 Contributions of the Features . 5.2 Semlink Annotation . 5.3 Metaphorical Interpetations . 6 Conclusion . 7 Future Work . References .- Annotation of Compositional Operations with GLML by Pustejovsky, Rumshisky, Batiukova, and Moszkowicz . 1 Introduction: Motivation and Previous Work on Semantic . Annotation . 2 Theoretical Preliminaries: Modes of Composition in the Generative Lexicon Theory . 3 Verb-based Annotation. Methodology of Annotation in the Argument Selection and Coercion Task . 3.1 MATTER. 3.2 Task description . 3.3 The Type System for Annotation . 3.4 Corpus Development . 3.5 The Data Format . 4 Noun-based Annotation; Exploiting the Qualia . 4.1 Qualia Selection in Modification Constructions . 4.2 Type Selection Involving Dot Objects . 5 Conclusion . References .- Incremental Recognition and Prediction of Dialogue Acts by Volha Petukhova and Harry Bunt . 1 Introduction . 2 Related work . 3 Set-up of classification experiments . 3.1 Tag set . 3.2 Features and data encoding . 3.3 Classifiers and evaluation metrics . 4 Classification results . 4.1 Joint segmentation and classification . 4.2 Fine-grained incremental interpretation: local classification . 4.3 Managing local classifiers: global classification and global search . 5 Conclusions and future research . References . Index