Re: [ontolog-forum] Foundation ontology, CYC, and Mapping

[Duane Nickull <dnickull@xxxxxxxxx>]

Pavitha:

On 2/4/10 3:46 PM, "Pavithra" <pavithra_kenjige@xxxxxxxxx> wrote:

Dr. Sowa,
 
-   An Elephant is an animal
-  Clyde is an elephant

• Therefore Clyde is an animal
• 
  

This is simple deduction example.  If you make a truth table and the first two are true, certainly the third statement must be true. 
There is also Induction and Abduction to consider.

Induction example:

• Clyde, Tom and Harry are elephants
• Clyde, Tom and Harry are animals
• THEREFORE every bird flies.  This is of course not true and is the observation of a limited subset of instances.
  

Abduction Example (a wild stab at some hypothesis to validate an observation):

• every elephant is an animal
• Clyde is an animal
• THEREFORE” Clyde is an elephant.  Again, this is not true.
  

I think someone on the list also referred to a fourth sort of logic which mixed these (was it a quote form Pierce???)

Duane

---
Adobe LiveCycle Enterprise Architecture - http://www.adobe.com/products/livecycle/
My TV Show - http://tv.adobe.com/show/duanes-world/
My Blog – http://technoracle.blogspot.com/ 
My Band – http://22ndcenturyofficial.com/ 
Twitter – http://twitter.com/duanechaos



_________________________________________________________________
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    (01)