Questions tagged [lambda-calculus]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2
votes
0answers
98 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 ...
1
vote
3answers
134 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 ...
0
votes
1answer
150 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 ...
0
votes
1answer
75 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
2answers
136 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 ...
1
vote
1answer
235 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 ...
2
votes
1answer
413 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 ...
0
votes
1answer
80 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
3answers
2k 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 ...
0
votes
2answers
296 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 ...
4
votes
1answer
271 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 ...