Re: predicate in a predicate

Keenlearner schrieb:
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 ?

A predicate gives a boolean result. True or false.
A function gives a result belonging to the universe of discourse
if you use single sorted logic. Or a function gives a result
belonging to the universe of the sort of the return value if
you use multi sorted logic.

Terms are functions applied to other terms or they are can
also be variables. In single sorted logic there is only one
set of variables and functions have an arity. In multi sorted
logic variables have also a sort, and functions have a sort
signature.

Bye
.

Relevant Pages

  • Re: predicate in a predicate
    ... John lives with Marry ... or Can I have a predicate in the predicate, ... The noun usage of "person" is the most typical, ...
    (sci.logic)
  • Re: predicate in a predicate
    ... John lives with Marry ... refer to the person or place. ...
    (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)
  • 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)