search

wenkokke / pelican

Pelican is tool for semantic annotation and verification, compliant to the Pipeline 2.0.1 API specifications.
1 stars 0 forks source link

Lexicon documentation error / missing description #26

Open assaft opened 10 years ago

assaft commented 10 years ago

The lexicon file says the following:

"Other prepositions are denoted by triples. For instance, in "John walks in Boston" is treated as $\text{walk}(\text{John}) \land \text{in}(\text{John},\text{walk},\text{boston})$;..."

This is incoorect; prepositions do not take the predicate that they modify as an argument in a triplet.

Consider: [An American] is [accused [of espionage]].

This is translated to: "EXISTS:(et)t (\x0:e.((AND:ttt (american:et x0:e)) ((AND:ttt (accused:et x0:e)) (((of:e(et)et x0:e) accused:et) espionage:e))))"

Which in turn becomes: exists x0 (american(x0) & (accused(x0) & of_accused(espionage, x0))).

In addition to that, a description of P_I needs to be added.

wenkokke commented 10 years ago

Doesn't of_accused(espionage, x0) contain the three arguments I was talking about?

On 20 November 2013 05:01, Assaf Toledo notifications@github.com wrote:

The lexicon file says the following:

"Other prepositions are denoted by triples. For instance, in "John walks in Boston" is treated as $\text{walk}(\text{John}) \land \text{in}(\text{John},\text{walk},\text{boston})$;..."

This is incoorect; prepositions do not take the predicate that they modify as an argument in a triplet.

Consider: [An American] is [accused [of espionage]].

This is translated to: "EXISTS:(et)t (\x0:e.((AND:ttt (american:et x0:e)) ((AND:ttt (accused:et x0:e)) (((of:e(et)et x0:e) accused:et) espionage:e))))"

Which in turn becomes: exists x0 (american(x0) & (accused(x0) & of_accused(espionage, x0))).

In addition to that, a description of P_I needs to be added.

— Reply to this email directly or view it on GitHubhttps://github.com/pepijnkokke/pelican/issues/26 .

assaft commented 10 years ago

it contains the three that you talk about, but only two appear as arguments. I'm' not sure whether the description in the Lexicon file is supposed to reflect the final predcalc formula (i.e. of_accused(espionage, x0)) or the composition process ignoring the fact that it's a curried function (i.e. of(espionage)(accused)(John)). Notice that in any event, the order of the arguments here is not as described by your text.