Questions tagged [lambda-calculus]
The lambda-calculus tag has no usage guidance.
12
questions
4
votes
1
answer
121
views
Should λ-terms all be easily translated back into natural language syntax?
We have encountered this question when we try to read Heim and Kratzer's book. This following picture is taken from Heim & Kratzer (1998: 40).
Our answers are simply based on the subscripts:
(a) ...
- 495
2
votes
0
answers
261
views
Is there a way to express a negation modifier in lambda calculus?
I want to model the Middle High German sentence "Ih néhabo niêht in geméitun sô uuîlo geuuêinot" that can be glossed as "I Neg-have not-at-all in vain so much cried" meaning "I have not at all cried ...
- 29
1
vote
3
answers
142
views
Parsing with CCGs - lambda part
I am following this video tutorial, starting 6th minute
I would like to parse the following sentence
square blue or round yellow pillow.
For now I am interested in only how square and blue are ...
- 261
0
votes
1
answer
254
views
Converting types into lambda notation and set notation
I am looking into different phrases and their semantic derivation.
For example, the verb sneeze:
Type (e,t)
λx[SNEEZE]x
In a sentence like: Michael and Jamie sneeze, I would like to know how to get ...
- 105
0
votes
1
answer
116
views
The determiner "a" in lambda form
In the sentence:
A man loves Mary
The lambda notation of the determiner 'a' is:
λY.λX.∃z.Y(z)∧X(z)
What about the general determiner 'a'? Is the lambda notation the same? or it should be:
λX.∃z....
2
votes
2
answers
140
views
What is the best/state-of-the-art logic for representing English language?
I know people have used lambda terms which "compile into" first-order logic, but based on what I have seen that is not particularly great for representing complex sentences with causal or temporal ...
- 345
1
vote
1
answer
243
views
logic symbol for 'unlike, differing from'
I'd like to express 'unlike, differing from', in an 'academic/professional' fashion using logic symbol(s) or mathematical operators. The descriptions of the corresponding Unicode block seem to show ...
- 275
2
votes
1
answer
524
views
Representing prepositions in lambda calculus/logic notation
How would I represent 'for' in "Are you here for a conference?"
conference could be represented as lam x.conference(x).
a conference could be represented as lam Q x.(conference(x) & Q(x))
I ...
- 195
0
votes
1
answer
88
views
Gapping in Lambda Expressions?
I am having some trouble understanding how lambda-calculus works for gapping. How do you create a representation for "John bought and Bill cooked the turkey"?
EDIT-- I realize this was RNR. For a ...
3
votes
3
answers
3k
views
What is the relationship between lambda calculus and logical form?
I was first introduced to lambda calculus as a way to use syntax to compose the semantic value of a phrase from the semantic values of the components of that phrase.
Lambda calculus does more than ...
- 195
0
votes
2
answers
326
views
How to represent a dative verb in first order logic?
I understand that the representation of an intransitive verb, V in lambda calculus would be lambda x. V(x), where x is the subject.
How do I represent an intransitive verb followed by a ...
- 195
4
votes
1
answer
304
views
Is lambda calculus only applicable if syntax trees are binary branching?
Lambda expressions are evaluated "hierarchically"--we resolve functions in the daughter node before we resolve functions in the mother node. In a given constituency, a sister node may define a ...
- 1,514