Semanticists use a range of highly expressive logical languages to characterize the meaning of natural language expressions. The logical languages are usually taken from an inventory of standard mathematical systems, with which generative linguists are familiar. They are, thus, easily accessible beyond the borders of a given framework such as Categorial Grammar, Lexical Functional Grammar, or Government and Binding Theory. Linguists working in the HPSG framework, on the other hand, often use rather idiosyncratic and specialized semantic representations. Their choice is sometimes motivated by computational applications in parsing, generation, or machine translation. Naturally, the intended areas of application influence the design of semantic representations. A typical property of semantic representations in HPSG that is concerned with computational applications is underspecification, and other properties come from the particular unification or constraint solving algorithms that are used for processing grammars. While the resulting semantic representations have properties that are motivated by, and are adequate for, certain practical applications, their relationship to standard languages is sometimes left on an intuitive level. In addition, the theoretical and ontological status of the semantic representations is often neglected. This vagueness tends to be unsatisfying to many semanticists, and the idiosyncratic shape of the semantic representations confines their usage to HPSG. Since their entire architecture is highly dependent on HPSG, hardly anyone working outside of that framework is interested in studying them. With our work on Lexical Resource Semantics (LRS), we want to contribute to the investigation of a number of important theoretical issues surrounding semantic representations and possible ways of underspecification. While LRS is formulated in a constraint-based grammar environment and takes advantage of the tight connection between syntax proper and logical representations that can easily be achieved in HPSG, the architecture of LRS remains independent from that framework, and combines attractive properties of various semantic systems. We will explore the types of semantic frameworks which can be specified in Relational Speciate Re-entrant Language (RSRL), the formalism that we choose to express our grammar principles, and we evaluate the semantic frameworks with respect to their potential for providing empirically satisfactory analyses of typical problems in the semantics of natural languages. In LRS, we want to synthesize a flexible meta-theory that can be applied to different interesting semantic representation languages and make computing with them feasible. We will start our investigation with a standard semantic representation language from natural language semantics, Ty2 (Gallin, 1975). We are well aware of the debate about the appropriateness of Montagovian-style intensionality for the analysis of natural language semantics, but we believe that it is best to start with a semantic representation that most generative linguists are familiar with. As will become clear in the course of our discussion, the LRS framework is a meta-theory of semantic representations, and we believe that it is suitable for various representation languages, This paper can be regarded as a snapshot of our work on LRS. It was written as material for the authors’ course Constraint-based Combinatorial Semantics at the 15th European Summer School in Logic, Language and Information in Vienna in August 2003. It is meant as background reading and as a basis of discussion for our class. Its air of a work in progress is deliberate. As we see continued development in LRS, its application to a wider range of languages and empirical phenomena, and especially the implementation of an LRS module as a component of the TRALE grammar development environment; we expect further modifications and refinements to the theory. The implementation of LRS is realized in collaboration with Gerald Penn of the University of Toronto. We would like to thank Carmella Payne for proofreading various versions of this paper.
[1]
Daniel Gallin,et al.
Intensional and Higher-Order Modal Logic
,
1975
.
[2]
Mike Reape,et al.
A formal theory of word order : a case study in West Germanic
,
1994
.
[3]
Markus Egg,et al.
Wh-questions in Underspecified Minimal Recursion Semantics
,
1998,
J. Semant..
[4]
Dan Flickinger,et al.
Minimal Recursion Semantics: An Introduction
,
2005
.
[5]
Jonathan Ginzburg,et al.
Interrogative Investigations: The Form, Meaning, and Use of English Interrogatives
,
2001
.
[6]
Uwe Reyle,et al.
Dealing with Ambiguities by Underspecification: Construction, Representation and Deduction
,
1993,
J. Semant..
[7]
Jeroen Groenendijk,et al.
Semantic analysis of wh-complements
,
1982
.
[8]
Per-Kristian Halvorsen.
Situation Semantics and Semantic Interpretation in Constraint-Based Grammars
,
1988,
FGCS.
[9]
Joachim Niehren,et al.
The Constraint Language for Lambda Structures
,
2001,
J. Log. Lang. Inf..
[10]
Ivan A. Sag,et al.
Information-Based Syntax and Semantics: Volume 1, Fundamentals
,
1987
.
[11]
Frank Richter,et al.
A Mathematical Formalism for Linguistic Theories with an Application in Head-Driven Phrase Structure Grammar
,
2000
.
[12]
Sigrid Beck,et al.
Wh-constructions and transparent Logical Form
,
1996
.
[13]
Ivan A. Sag,et al.
Book Reviews: Head-driven Phrase Structure Grammar and German in Head-driven Phrase-structure Grammar
,
1996,
CL.
[14]
L. Haegeman,et al.
NEGATIVE HEADS AND THE NEG CRITERION
,
1991
.
[15]
Richard Montague,et al.
The Proper Treatment of Quantification in Ordinary English
,
1973
.
[16]
Adam Przepiórkowski,et al.
Verbal Negation and Complex Predicate Formation in Polish
,
1997
.
[17]
Eun-Jung Yoo,et al.
A unified theory of scope for quantifiers and wh-phrases
,
1998,
Journal of Linguistics.
[18]
Lucia M. Tovena,et al.
On the multiple expression of negation in Romance
,
2001
.
[19]
Gosse Bouma,et al.
Verb clusters and the scope of adjuncts in Dutch
,
2003
.
[20]
Johan Bos,et al.
Predicate logic unplugged
,
1996
.
[21]
Paul Dekker,et al.
Transsentential meditations : ups and downs in dynamic semantics
,
1993
.
[22]
M. Linebarger.
The grammar of negative polarity
,
1981
.
[23]
Frank Richter,et al.
Polish Negation and Lexical Resource Semantics
,
2004,
FGMOL.
[24]
F. Zwarts.
Negatief polaire uitdrukkingen I
,
1981
.
[25]
Francis Corblin,et al.
Compositionality and Complexity in Multiple Negation
,
1995,
Log. J. IGPL.
[26]
Gerald Penn,et al.
A Formal Interpretation of Relations and Quantification in HPSG
,
1999
.
[27]
Ivan A. Sag,et al.
Information-based syntax and semantics
,
1987
.
[28]
Uwe Reyle,et al.
Principle Based Semantics for HPSG
,
1994,
EACL.
[29]
J. Witkos.
On NegP and the structure of the Polish clause
,
1996
.
[30]
Markus Egg,et al.
Semantic Underspecification
,
2010,
Lang. Linguistics Compass.
[31]
I. Sag.
English relative clause constructions
,
1997,
Journal of Linguistics.
[32]
Adam Przepiórkowski,et al.
Case Assignment and the Complement/Adjunct Dichotomy: A Non-Configurational Constraint-Based Approach
,
1999
.
[33]
Manfred Sailer,et al.
Underspecified Semantics in HPSG
,
1999
.
[34]
D Oehrle,et al.
Multiple Negation Processing *
,
2022
.
[35]
Manfred Sailer,et al.
Combinatorial Semantics and Idiomatic Expressions in Head-Driven Phrase Structure Grammar
,
2000
.
[36]
Katrin Erk,et al.
A compositional account of VP ellipsis
,
2000
.
[37]
Jean-Pierre Koenig,et al.
Sublexical Modality And The Structure Of Lexical Semantic Representations
,
2001
.
[38]
William A. Ladusaw.
Polarity sensitivity as inherent scope relations
,
1980
.
[39]
Paul John King.
Towards Truth in HPSG
,
1999
.
[40]
Joanna Błaszczak.
Investigation into the interaction between the indefinites and negation
,
2001
.