Re: adjective noun first order logic

On Dec 9, 5:14 pm, Keenlearner <yin...@xxxxxxxxx> wrote:
On Dec 9, 4:32 pm, Keenlearner <yin...@xxxxxxxxx> wrote:



On Dec 9, 4:24 am, Chris Menzel <cmen...@xxxxxxxxxxxxxxxxxxxx> wrote:

On Thu, 06 Dec 2007 07:07:58 -0600, David C Ullrich
<ullr...@xxxxxxxxxxxxxxxx> said:

On Wed, 5 Dec 2007 23:24:57 -0800 (PST), Keenlearner
<yin...@xxxxxxxxx> wrote:

Thanks for the reply, actually I was thinking to write "John is an old
man", but I thought that will give raise of existential quantifier,
because I want it to be simpler. Why is there not existential
quantifier for "John is an old man" ? Thank you.

Because "John" is a _constant_, not a _variable_.

Maybe the OP is wondering, not about "John", but about why "an" isn't
being treated, as it often is, as an existential quantifier. If so, it
might useful to mention that "is" sometimes indicates predication and
sometimes indicates identity, and that the sentence in question is best
thought of as a case of the former. (One *could*, after all, translate
it as (Ex)(Ox & Mx & x=j), but it doesn't seem as faithful to logical
form of the original sentence.)

Yeah...that is exactly what I have thought of if there is an "a"
determiner there will be existential quantifier.
Because I have my Prolog program has the lexical entry of the
determiner "a" as

det( a, (X^S1)^(X^S2)^exists(X,S1&S2) ).

So whenever I have the word "a" in a sentence it will give raise to
the existential quantifier.
Can give me advices again how can I deal with this ?

Thanks for the reply and everything.

Sorry it's my mistake, actually the prolog program gives the correct
one without existential quantifier.
But how about ditransitive verb ?

John gives a kiss to Marry

predicate give(John,kiss,marry)

John gives a big kiss to Marry

E x( big(x) & kiss(x) & give(john, x, marry))

can anyone verify my answer ? Thank you.

I guess it suppose to be like these. Because the "book" is not proper
noun(not constant). Am I right or wrong ?

John gives a book to Marry
exist(x, book(x) & give(john,x,marry))

John gives a blue book to Marry
exist(x, book(x) & blue(x) & give(john,x,marry))
.

Relevant Pages

  • Re: adjective noun first order logic
    ... man", but I thought that will give raise of existential quantifier, ... At least I'm assuming from the context that "John" is ... I found a Prolog natural language program from ... positive literals. ...
    (sci.logic)
  • Re: adjective noun first order logic
    ... man", but I thought that will give raise of existential quantifier, ... At least I'm assuming from the context that "John" is ... is the correct way of representing "old man John" in first order ... because they are all _assertions_, ...
    (sci.logic)
  • Re: adjective noun first order logic
    ... is the correct way of representing "old man John" in first order ... because they are all _assertions_, ... You need no existential quantifier because you need to use no ...
    (sci.logic)
  • Re: adjective noun first order logic
    ... being treated, as it often is, as an existential quantifier. ... So whenever I have the word "a" in a sentence it will give raise to ... John gives a kiss to Marry ... John gives a big kiss to Marry ...
    (sci.logic)