Re: adjective noun first order logic

On Dec 5, 10:37 pm, Keenlearner <yin...@xxxxxxxxx> wrote:
I am doing natural language processing research, I was wondering which
is the correct way of representing "old man John" in first order
predicate calculus, later on this logic will be converted into Prolog
clauses.

old(john) ^ man(john)

old(john) => man(john)

man(john) => old(john)

if you think one is wrong or right please tell me why ?! Thank you
very very much.

so if it's "John is an old man" and the FOPC representation is
old(john) ^ man(john)

in prolog it will be
old(john).
man(john).

so there is not special conjunct in literals ?

May I know also what is the relation between horn clause and prolog ?
Thank you
.

Relevant Pages

  • Re: adjective noun first order logic
    ... is the correct way of representing "old man John" in first order ... clauses. ... because they are all _assertions_, ... "old man John" is not an assertion. ...
    (sci.logic)
  • Re: Out of local stack? (SWI)
    ... that your clauses go from the most spécific case to the most général ... all the lines 'Ontimer" and see wich one is always choosen..... ... >>and standard Prolog is pretty simple minded. ...
    (comp.lang.prolog)
  • question about last call optimization
    ... I have a question about last call optimization using euclids algorithm ... Okay the prolog literature gives the procedure as: ... Now will prolog "last call optimize" this. ... What about if we switch the order of the clauses as such: ...
    (comp.lang.prolog)
  • Re: The Da Vinci Code.
    ... Prolog language which just don't stand up in practice. ... get experienced, you realize that most clauses *are*, in fact, ...
    (alt.usage.english)
  • Re: question about last call optimization
    ... Okay the prolog literature gives the procedure as: ... > no alternative clauses. ... then you still have last-call optimization in some Prolog systems (e.g., ...
    (comp.lang.prolog)