Re: adjective noun first order logic

Keenlearner a écrit :
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.

Since one can be old without being a man, and one can be a man without being old, I would say only the first one looks correct...
.

Relevant Pages

  • adjective noun first order logic
    ... is the correct way of representing "old man John" in first order ... predicate calculus, later on this logic will be converted into Prolog ...
    (sci.logic)
  • Re: adjective noun first order logic
    ... But isn't that I have specifically specify the person is John, ... is the correct way of representing "old man John" in first order ... clauses. ...
    (sci.logic)
  • Re: Mathematician Using Nil With Students
    ... incompleteness theorem. ... Wikipedia it says that First Order Predicate Calculus is Complete, ... by Henkin from 1949 that non-modal Lower Predicate Calculus is Complete. ...
    (borland.public.delphi.non-technical)