Đang chuẩn bị liên kết để tải về tài liệu:
Báo cáo khoa học: "MONOTONIC SEMANTIC INTERPRETATION*"

Aspects of semantic interpretation, such as quantifier scoping and reference resolution, are often realised computationally by non-monotonic operations involving loss of information and destructive manipulation of semantic representations. The paper describes how monotonic reference resolution and scoping can be carried out using a revised Quasi Logical Form (QLF) representation. Semantics for QLF are presented in which the denotations of formulas are extended monotonically as QLF expressions are resolved. . | MONOTONIC SEMANTIC INTERPRETATION Hiyan Alshawi and Richard Crouch SRI International Cambridge Computer Science Research Centre 23 Millers Yard Cambridge CB2 IRQ U.K. hiyanScam.sri.com rcQcam.sri.com ABSTRACT Aspects of semantic interpretation such as quantifier scoping and reference resolution are often realised computationally by non-monotonic operations involving loss of information and destructive manipulation of semantic representations. The paper describes how monotonic reference resolution and scoping can be carried out using a revised Quasi Logical Form QLF representation. Semantics for QLF are presented in which the denotations of formulas are extended monotonically as QLF expressions are resolved. 1. INTRODUCTION The monotonicity property of unification based grammar formalisms is perhaps the most important factor in their widespread use for grammatical description and parsing. Monotonicity guarantees that the grammatical analysis of a sentence can proceed incrementally by combining information from rules and lexical entries in a nondestructive way. By contrast aspects of semantic interpretation such as reference and quantifier scope resolution are often realised by non-monotonic operations involving loss of information and destructive manipulation of semantic representations. A two-level approach to semantic interpretation tends to result Bronneberg et al. 1980 where an initial underspecified representation is transformed into a separate specified representation. The goal of the work described here is to provide a model for semantic interpretation that is fully monotonic in both linguistic and contextual aspects of interpretation and which employs just one level of semantic representation Quasi Logical Form QLF . Contextual resolution of under This work on the Core Language Engine was carried out under CLARE a collaborative project involving BP Research British Aerospace British Telecom Cambridge University SRI International and the UK Defence Research .