ontology-summit
[Top] [All Lists]

## Re: [ontolog-forum] [ontology-summit] Estimating number of all known fac

 To: edbark@xxxxxxxx, "[ontolog-forum]" "[ontolog-summit]" Simon Spero Thu, 24 May 2012 16:52:30 -0400
 On Thu, May 24, 2012 at 3:55 PM, Ed Barkmeyer wrote: Are they not countable? If you mean "bounded", I doubt it.  If you mean "countable" in the Cauchy sense -- they can be algorithmically placed in 1-to-1 correspondence with the natural numbers -- I won't hazard a guess.The power set of reals is uncountable; if it counts as known fact that something is a member of that set then the number of known facts we can derive is uncountable.   One possible approach to making a WAG would be to take a random sample of entries from an encyclopedia and convert them to a logical form.  Only add new entries to your fact base if they aren't already implied by facts from other entries.    Make a guess at a forumula for estimating the number of new facts for entry n+1, find the integral then use it to  guess how many facts are in all entries.  It's not always  algorithmically possible to  tell if a fact is implied by existing facts, but since this is a WAG, you can just put a time or depth limit.  Simon ``` _________________________________________________________________ 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    (01) ```
 Current Thread [ontology-summit] Estimating number of all known facts, matthew lange Message not available Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, matthew lange Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Obrst, Leo J. Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Simon Spero Message not availableMessage not availableMessage not availableMessage not availableMessage not availableMessage not availableMessage not availableMessage not availableMessage not availableMessage not availableMessage not availableMessage not availableMessage not availableRe: [ontolog-forum] [ontology-summit] Estimating number of all known facts, matthew lange Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Ed Barkmeyer Re: [ontology-summit] [ontolog-forum] Estimating number of all known facts, Christopher Menzel Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Simon Spero <= Re: [ontology-summit] [ontolog-forum] Estimating number of all known facts, Tara Athan Re: [ontology-summit] [ontolog-forum] Estimating number of all known facts, Jack Ring Re: [ontology-summit] [ontolog-forum] Estimating number of all known facts, Professor James Davenport Re: [ontology-summit] [ontolog-forum] Estimating number of all known facts, John F Sowa