Re: adjective noun first order logic

Keenlearner 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.

None of those is a correct "representation" of "old man John",
because they are all (representations of) _assertions_, and
"old man John" is not an assertion.

If ^ means "and" then "old(John) ^ man(John)" is a correct
representation of the _assertion_ "John is an old man".
That's not the same thing.
.

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 ... 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 ... later on this logic will be converted into Prolog ... clauses. ...
    (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
    ... actually I was thinking to write "John is an old ... man", but I thought that will give raise of existential quantifier, ... is the correct way of representing "old man John" in first order ... because they are all _assertions_, ...
    (sci.logic)
  • Re: Hey Babe, dats a nice pair you got there--vise jaws, that is... [Re: G-Code Librarie
    ... >> John R. Carroll wrote: ... but your preaching to the choir once again, ... You aren't even making sense Jon. ... "You falsely stated that I was representing specific product lines" ...
    (alt.machines.cnc)