ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Conjunction and Disjunction

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: ra33@xxxxxxxxxxxxxxxx
Date: Sat, 4 Jul 2009 11:01:37 +1200 (NZST)
Message-id: <56535.66.127.55.197.1246662097.squirrel@xxxxxxxxxxxxxxxxxxxxxxxxxx>
> John,
>
> There are multiple issues about the background knowledge necessary
> for interpreting natural language in context and about the logical
> operators for combining various sentences.
>
> JB> I'm confused by the sentences and by John's combination.
> > The use of "the" as the declarative indicates to me that
> > there is one water fountain. I assume (abduction) that they
> > are going to drink or that Wanda is going to hold the faucet
> > while Paul drinks, or vice versa.
>
> Given just those two sentences, deduction alone cannot add
> new information about which if any of them actually drink
> water or hold the faucet or anything else:
>
> RC> 1. Paul goes to the water fountain;
> >>
> >> 2. Wanda goes to the water fountain;
>
> The only combination that can be derived by strict deduction
> is the conjunction of #1 and #2. Other sentences can be
> derived by generalizing (i.e., throwing away some information):
>
> Someone goes to the water fountain.
>
> Someone goes to a water fountain.
>
> Someone goes somewhere.
>
> There is a person.
>
> There is a water fountain.
>
> You can't even derive the sentence "Two people went to the
> water fountain" unless you have additional information that
> Paul and Wanda are names of two distinct individuals.  (01) 
Nor that the fountain is the one and same fountain.  (02)
Cheers,
 Rob
***********  (03)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ 
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ 
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx  (04)
<Prev in Thread] Current Thread [Next in Thread>
Previous by Date: Re: [ontolog-forum] Conjunction and Disjunction , John Bottoms
Next by Date: Re: [ontolog-forum] Conjunction and Disjunction , ra33
Previous by Thread: Re: [ontolog-forum] Conjunction and Disjunction , Rich Cooper
Next by Thread: Re: [ontolog-forum] Conjunction and Disjunction , Rich Cooper
Indexes: [Date] [Thread] [Top] [All Lists]

AltStyle によって変換されたページ (->オリジナル) /