Re: predicate in a predicate

On Dec 6, 3:26 am, Keenlearner <yin...@xxxxxxxxx> 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, so that I can generalized
the "live" predicate ?

live( John, in(Bali) )
live( John, with(Marry) )

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.

Natural parsing is a real top challenge!

The predicate is a FOL to be computerzied and I agree. ABstract the
predicate so all can be generalized! This is what you did.

in(abstract location)
with(abstract place)

location is geographic place!

SO technically-

alive(subject)= live(subject-mary) included for clarity of third
abstract usage of place!
= live(subject-mary's place)
= live(subject mary's -john)

Never use the modifier, i.e. Bali or Mary, as the parsed predicate
though. Make a table of word abstractions. ANd a subject applies to
each.

Computerize the word matches and select the tables reference phrase,
"Mary", "mary's place, or mary's posession.

Making: Mary(person)=alive(subject)= live(subject-mary)
=live(subject-
marys-place)
=live(subject-
mary's -john)

Making the functional representation possible!

So :

Person(subject) = subject(mary) !!

The noun usage of "person" is the most typical, odd usages would all
have to be type tested. A parse must invert to a sensible usage!

Your attack is therefor flawed, but technically sound without the
abstract third attack. You would just have many flawed inferences. A
common thing in strick FOL parsing.

SO I recomend third subject only. The table is possible to construct
using thies nuemonic.

"All good subject flowered a color red."

A pleasent odd strange neumonic where flowered reds was the topic.

Making the "'ed" ending an easy topic where is is normally the
technical failure of FOL parsing. Look for the act of abstract!
subject. Subject(act)

All acts in a use where:

act(function)

Making:

function(subject)

Implying "all good Mary's" the inversion of the nuemonic!

People(alive)= ??

I get kind of lost here, but the function is a correct usage I think.
What do you?

.

Relevant Pages

  • Re: predicate in a predicate
    ... John lives with Marry ... or Can I have a predicate in the predicate, ...
    (sci.logic)
  • 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)
  • predicate in a predicate
    ... John lives with Marry ... or Can I have a predicate in the predicate, ...
    (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: 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