requirements of
<term>
completeness
</term>
and
<term>
coherence
</term>
. We describe a
<term>
computational
#24918Our use of linear logic as a 'glue' for assembling meanings also allows for a coherent treatment of modification as well as of the LFG requirements of completeness andcoherence.
other,29-6-E93-1013,ak
well as of the LFG requirements of
<term>
completeness
</term>
and
<term>
coherence
</term>
. We describe
#24916Our use of linear logic as a 'glue' for assembling meanings also allows for a coherent treatment of modification as well as of the LFG requirements ofcompleteness and coherence.
other,13-2-E93-1013,ak
composition
</term>
, which works well when
<term>
constituent structure trees
</term>
are used to guide
<term>
semantic composition
#24794Traditionally, meanings are combined via function composition, which works well whenconstituent structure trees are used to guide semantic composition.
other,19-3-E93-1013,ak
information
</term>
necessary for constraining
<term>
derivations
</term>
of
<term>
meaning
</term>
in a cross-linguistically
#24823More recently, the functional structure of LFG has been used to provide the syntactic information necessary for constrainingderivations of meaning in a cross-linguistically uniform format.
tech,6-2-E93-1013,ak
Traditionally , meanings are combined via
<term>
function composition
</term>
, which works well when
<term>
constituent
#24787Traditionally, meanings are combined viafunction composition, which works well when constituent structure trees are used to guide semantic composition.
tech,17-4-E93-1013,ak
combination of
<term>
meanings
</term>
by
<term>
function composition
</term>
. In contrast to compositional approaches
#24849It has been difficult, however, to reconcile this approach with the combination of meanings byfunction composition.
other,4-3-E93-1013,ak
composition
</term>
. More recently , the
<term>
functional structure
</term>
of
<term>
LFG
</term>
has been used to
#24808More recently, thefunctional structure of LFG has been used to provide the syntactic information necessary for constraining derivations of meaning in a cross-linguistically uniform format.
other,32-5-E93-1013,ak
nature of
<term>
information
</term>
in the
<term>
functional structure
</term>
. Our use of
<term>
linear logic
</term>
#24884In contrast to compositional approaches, we present a deductive approach to assembling meanings, based on reasoning with constraints, which meshes well with the unordered nature of information in thefunctional structure.
other,29-5-E93-1013,ak
well with the unordered nature of
<term>
information
</term>
in the
<term>
functional structure
</term>
#24881In contrast to compositional approaches, we present a deductive approach to assembling meanings, based on reasoning with constraints, which meshes well with the unordered nature ofinformation in the functional structure.
other,13-1-E93-1013,ak
providing
<term>
meanings
</term>
for
<term>
lexical items
</term>
and
<term>
rules
</term>
for determining
#24763Semantic theories of natural language associate meanings with utterances by providing meanings forlexical items and rules for determining the meaning of larger units given the meanings of their parts.
other,7-3-E93-1013,ak
<term>
functional structure
</term>
of
<term>
LFG
</term>
has been used to provide the
<term>
#24811More recently, the functional structure ofLFG has been used to provide the syntactic information necessary for constraining derivations of meaning in a cross-linguistically uniform format.
tech,3-6-E93-1013,ak
functional structure
</term>
. Our use of
<term>
linear logic
</term>
as a ' glue ' for assembling
<term>
#24890Our use oflinear logic as a 'glue' for assembling meanings also allows for a coherent treatment of modification as well as of the LFG requirements of completeness and coherence.
other,20-1-E93-1013,ak
<term>
rules
</term>
for determining the
<term>
meaning
</term>
of larger units given the
<term>
meanings
#24770Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining themeaning of larger units given the meanings of their parts.
other,21-3-E93-1013,ak
constraining
<term>
derivations
</term>
of
<term>
meaning
</term>
in a cross-linguistically uniform
#24825More recently, the functional structure of LFG has been used to provide the syntactic information necessary for constraining derivations ofmeaning in a cross-linguistically uniform format.
other,6-1-E93-1013,ak
<term>
natural language
</term>
associate
<term>
meanings
</term>
with
<term>
utterances
</term>
by providing
#24756Semantic theories of natural language associatemeanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the meanings of their parts.
other,11-1-E93-1013,ak
<term>
utterances
</term>
by providing
<term>
meanings
</term>
for
<term>
lexical items
</term>
and
<term>
#24761Semantic theories of natural language associate meanings with utterances by providingmeanings for lexical items and rules for determining the meaning of larger units given the meanings of their parts.
other,26-1-E93-1013,ak
meaning
</term>
of larger units given the
<term>
meanings
</term>
of their parts . Traditionally ,
#24776Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given themeanings of their parts.
other,15-4-E93-1013,ak
this approach with the combination of
<term>
meanings
</term>
by
<term>
function composition
</term>
#24847It has been difficult, however, to reconcile this approach with the combination ofmeanings by function composition.
other,13-5-E93-1013,ak
a deductive approach to assembling
<term>
meanings
</term>
, based on
<term>
reasoning with constraints
#24865In contrast to compositional approaches, we present a deductive approach to assemblingmeanings, based on reasoning with constraints, which meshes well with the unordered nature of information in the functional structure.
other,12-6-E93-1013,ak
</term>
as a ' glue ' for assembling
<term>
meanings
</term>
also allows for a coherent treatment
#24899Our use of linear logic as a 'glue' for assemblingmeanings also allows for a coherent treatment of modification as well as of the LFG requirements of completeness and coherence.