ontolog-forum
[Top] [All Lists]

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

 To: "[ontolog-forum]" paola.dimaio@xxxxxxxxx Tue, 17 Jul 2007 17:57:25 +0700
 Ok - thanks about that maybe just mishap in the original statementfyi - 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.PDFso the statement perhaps isInduction. 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 nowP On 7/17/07, Waclaw Kusnierczyk 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 inferexists 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@xxxxxxxxxxxxxxxxShared Files: http://ontolog.cim3.net/file/Community Wiki: http://ontolog.cim3.net/wiki/To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx -- Paola Di Maio School of ITwww.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) ```
 Current Thread Re: [ontolog-forum] Proceedings: "Database & Ontology" mini-series Session-10 - John Sowa - 12-Jul-2007, (continued)