ontolog-forum
[Top] [All Lists]

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

 To: "[ontolog-forum]" Duane Nickull Thu, 4 Feb 2010 09:32:27 -0800
 Matthew/John Thank you.  This speaks to me as a developer. I remember writing equations using the membership operator (the one that looks like a rounded “E”).  Is this symbol representative of the same type of membership?  For example, please see the attached diagram to tell me if it makes sense.  I tried to express that “x” is a member of either “P” or “S” but cannot be a member of both.  Is there a better way to write this in KIF? Duane On 2/4/10 5:17 AM, "John F. Sowa" wrote: Dear Matthew and Duane, MW> It is the most basic thing about sets that they are defined  > by their membership, which does not change. Yes.  If you write something like the following,     S1 = S union {x} mathematicians don't say that S has changed, but that S1 is a different set. In programming languages, it is common to write     x = x + 1; but when that operation is carefully analyzed and described, it's described as "the value stored at the location designated by x has been replaced or updated with a new value." There are also some programming languages, such as ML or Haskell, called *functional* or *single-assignment* languages in which no variable can be reassigned a different value -- i.e., no statement of the form x=x+1 is permitted. MW> So if you have something that has members, but the membership  > can change, then what you know for certain is that it is not a set.  > Some people use the word type for such things. A type will have,  > at a point in time, a set which is its membership. The usual distinction:    The identity conditions for a set are *extensional*:  if S1 and S2    have the same members, they are identical; otherwise they are two    different sets.    The identity conditions for a type are *intensional*; two types    T1 and T2 are identical if their definitions are equivalent;    their set of instances in a particular world w is called their    *denotation* in w.  Those worlds may be, for example, the physical    world or a particular computer system at different times. John _________________________________________________________________ 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 --- 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 Picture 34.png Description: Picture 34.png ``` _________________________________________________________________ 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) ```
 Current Thread Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, (continued) Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, John F. Sowa Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, Patrick Cassidy Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, Matthew West Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, John F. Sowa Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, Christopher Menzel Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, Patrick Cassidy Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, doug foxvog Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, Duane Nickull Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, Matthew West Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, John F. Sowa Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, Duane Nickull <= Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, Matthew West Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, Christopher Menzel Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, Chris Partridge Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, John F. Sowa Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, Matthew West Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, Matthew West Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, Chris Partridge Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, Matthew West Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, Christopher Menzel Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, Matthew West