Re: [ontolog-forum] Proceedings: "Database & Ontology" mini-series Sessi

[paola.dimaio@xxxxxxxxx]

Ok - thanks about that 

maybe just mishap in the original statement

fyi - i know about bats only cause I got them in my house so I did some research recently to decide what to do
(eventually changed house)
www.cdli.ca/CITE/bats_birds.PDF

so the statement perhaps is

Induction. Assume a general principle that subsumes many facts.Given: Tweety, Polly, and Hooty are birds. Fred is a seagull.Tweety, Polly, and Hooty fly. Fred flies. Assume:  all birds fly

going to class now
P

On 7/17/07, Waclaw Kusnierczyk <Waclaw.Marcin.Kusnierczyk@xxxxxxxxxxx> wrote:

paola.dimaio@xxxxxxxxx wrote:
> Waclaw
> thanks for this
> I was hoping to get the mathematical representation of this reasoning so
> that I can learn somthing from my 'to do' list
> while I reason about nature -

wait for John to acknowledge my recast of his position.

> the problem is that y (fred, the bat) is not a bird
> y is a mammal -
>
> therefore, if y is not a bird, and it flies,
> not only birds fly
>
> (tell me what I am missing)

nothing in this bit.  but from

~P(y)
Q(y)

you infer

exists x, Q(x) and ~P(x)

*deductively*, not inductively.

vQ

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx

-- 
Paola Di Maio 
School of IT
www.mfu.ac.th
*********************************************
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)