Questions tagged [logical-form]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0
votes
1answer
75 views

Every farmer who owns a donkey beats it - one more time on extending scope [duplicate]

Here is sentence: Every farmer who owns a donkey beats it Everyone claims that the following translation to first order logic is not correct (or maybe lacking consistency how quantifiers are ...
0
votes
0answers
16 views

NLTK interface to Boxer

I came across the following code: NLTK interface to Boxer Does anybody know where I can find how to use this interface (examples) or any additional documentation?
0
votes
0answers
12 views

Running C&C and Boxer

My goal is generate first order logic representation from natural language sentence. It looks combination of C&C and Boxer tools can do it. I found on reliable link to download them both: C&...
3
votes
1answer
33 views

directed graph representation of LF

I am a logician new to linguistics. I am curious if there has been any work on using the formalism of directed graphs (as opposed to, say, lambda-calculus or first-order logic) to represent LF of ...
4
votes
1answer
121 views

Do any spoken languages readily express boolean logic without ambiguity?

Anyone who has worked with programming knows that boolean logic is hard to express in english. Given the statement "A and B must be false", with no context one can understand the statement to mean A ...