Questions tagged [logical-form]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
3
votes
1answer
68 views

What is the meaning of “interface-interpretable features”?

In multiple sources, I encountered the term interface-interpretable features. From the contexts, I can deduct that the meaning might be somewhere in the sense of "visible [as in, morphologically/...
3
votes
0answers
64 views

Tools for converting text to logical form

What's the State of the Art in software for converting text to some sort of logical form? Pros and con's of different packages approaches, if more than one exists?
0
votes
1answer
289 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 ...
3
votes
1answer
39 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
193 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 ...