Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [logical-form]

The tag has no usage guidance.

0
votes
1answer
70 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
32 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
116 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 ...