Computing Meaning, Volume 1H. Bunt, Reinhard Muskens Computational semantics is concerned with computing the meanings of linguistic objects such as sentences, text fragments, and dialogue contributions. As such it is the interdisciplinary child of semantics, the study of meaning and its linguistic encoding, and computational linguistics, the discipline that is concerned with computations on linguistic objects. From one parent computational semantics inherits concepts and techniques that have been developed under the banner of formal (or model-theoretic) semantics. This blend of logic and linguistics applies the methods of logic to the description of meaning. From the other parent the young discipline inherits methods and techniques for parsing sentences, for effective and efficient representation of syntactic structure and logical form, and for reasoning with semantic information. Computational semantics integrates and further develops these methods, concepts and techniques. This book is a collection of papers written by outstanding researchers in the newly emerging field of computational semantics. It is aimed at those linguists, computer scientists, and logicians who want to know more about the algorithmic realisation of meaning in natural language and about what is happening in this field of research. There is a general introduction by the editors. |
Contents
COMPUTATIONAL SEMANTICS | 1 |
ON SEMANTIC UNDERSPECIFICATION | 33 |
DYNAMIC AND UNDERSPECIFIED INTERPRETATION WITHOUT DYNAMIC OR UNDERSPECIFIED LOGIC | 57 |
LABELED REPRESENTATIONS UNDERSPECIFICATION AND DISAMBIGUATION | 73 |
UNDERSPECIFIED SEMANTICS IN HPSG | 95 |
MINIMUM DESCRIPTION LENGTH AND COMPOSITIONALITY | 113 |
PORTING A DYNAMIC MEANING REPRESENTATION LANGUAGE INTO LFGS LINEAR LOGIC GLUELANGUAGE SEMANTICS | 129 |
VAGUE UTTERANCES AND CONTEXT CHANGE | 149 |
A LABELLED DEDUCTION ACCOUNT | 203 |
DYNAMIC SKOLEMIZATION | 219 |
SEMANTICALLYBASED ELLIPSIS RESOLUTION WITH SYNTACTIC PRESUPPOSITIONS | 255 |
PRESUPPOSITION PROJECTION AS PROOF CONSTRUCTION | 281 |
MODALS | 301 |
THE CASE OF ITALIAN MOTION VERBS | 321 |
A DISAMBIGUATION APPROACH FOR GERMAN COMPOUNDS WITH DEVERBAL HEAD | 339 |
357 | |
USING SITUATIONS TO REASON ABOUT THE INTERPRETATION OF SPEECH EVENTS | 167 |
SIMULATIVE INFERENCE IN A COMPUTATIONAL MODEL OF BELIEF | 185 |
Other editions - View all
Common terms and phrases
abstract accommodation agent aktionsart algorithm ambiguity anaphora antecedent applied approach argument arity Asher assignment belief machine Bunt compositional semantics compositionality Computational Linguistics constituent constraints constructors Dalrymple deduction defined definition dependent dependent record disambiguation discourse referents Discourse Representation Theory dynamic semantics dynamic skolemization ellipsis encoding entailment entity event example existential expressions fat pig finite formal formula function glue language grammar HPSG implicature interpretation ISBN John bought Kamp Kluwer labels lexical linear logic logical form markers meaning minimum description length modal monotonically acceptable Montague Grammar Muskens natural language notion noun object parse Pinkal possible predicate predicate logic presupposition pronouns proposition quantifier reading relation representation language restrictions Reyle role rule Sandt's scope semantic representation sentence simulative inference situation situation semantics skinny pig Skolem conditional specified Stokhof structure syntactic syntax theory type theory underspecified representation utterance vague variable verbs