Re: predicate in a predicate

On Dec 6, 1:10 pm, Keenlearner <yin...@xxxxxxxxx> wrote:
On Dec 6, 7:46 pm, William Elliot <ma...@xxxxxxxxxxxxxxxxxx> wrote:





On Thu, 6 Dec 2007, Keenlearner wrote:
I was wondering how should I represent these two sentences in First
Order Logic Form

John lives in Bali
John lives with Marry

live_in( John , Bali )
live_with( John, Marry )

or Can I have a predicate in the predicate,
live( John, in(Bali) )
live( John, with(Marry) )

No.

As you can see that the second arguments of "live" predicate can either
refer to the person or place. But can we use the same predicate "live"
with the second argument refer to person and place ? Thank you.

It refers to a proposition. Thus you have hybrid
propositional constant, live(x,P) which isn't FOL.

----

So I need to use the live_in(John, Bali) and live_with(John, Marry) in
order to be compliance with FOL ? or what do you think ? I am doing
natural language processing research, where a English sentence will be
converted into FOPC and then Prolog clauses to be proved. Thank you
for the reply.- Hide quoted text -

- Show quoted text -

'Live in' and 'live with' are two different relations.

Still in a many sorted first order language you can have two sets of
individual constants (which must be clearly distinguishable), one to
be interpreted as places and the other as persons.

Then you can have one relation symbol for 'live' and interpret that
the sort of the second argument settles whether it must be interpreted
as 'live in' or as 'live with'.

Regards
.

Relevant Pages

  • Re: predicate in a predicate
    ... John lives with Marry ... refer to the person or place. ...
    (sci.logic)
  • Re: Off topic for some...
    ... Truth is though Harry, I'm not the least bit PC. ... > Great posts to read from both John and Fargow. ... > of us poor guys hung together in one single gang of kids. ... >>> lives ...
    (rec.pyrotechnics)
  • Re: predicate in a predicate
    ... John lives with Marry ... refer to the person or place. ... A predicate takes terms as arguments and returns a sentence. ...
    (sci.logic)
  • Re: predicate in a predicate
    ... John lives with Marry ... or Can I have a predicate in the predicate, ...
    (sci.logic)
  • Re: Foobville options
    ... tiny snippets of the characters' lives. ... many times have John and Elly gone on vacation and left April at home? ... Realistically (for a comic strip), ...
    (rec.arts.comics.strips)
Loading