Re: predicate in a predicate

On Dec 7, 3:24 pm, herbzet <herb...@xxxxxxxxx> wrote:
Keenlearner 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.

You've received a number of good replies, but I just want to
state the point in terms of arguments and output.

A predicate takes terms as arguments and returns a sentence.
A function takes terms as arguments and returns a term.

In natural language there are also functors that take sentences
as arguments and return a term. A not very good example is the
single quote marks: "'It is hot' is a short sentence".

Also there are operators that take sentences as arguments
and return a sentence, e.g. the logical operator "and": "John
went to the store and Mary didn't." Or modal operators, such
as "It was believed by the ancients that ...".

--
hz

Yeah, I feel so lucky too to get so many nice replies. Thanks.
I have few things that I am still doubt.


I don't get this from Hezbert.
A predicate takes terms as arguments and returns a sentence.
A function takes terms as arguments and returns a term.

What is the difference between predicate and function ? can give me
examples that can differentiate between them ?


There is still long journey to go for me to catch up the logic of
these.

.

Relevant Pages