ontolog-forum
[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 Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, (continued) Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Matthew West Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, John Bottoms Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Christopher Menzel Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, William Frank Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Pat Hayes Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, William Frank Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Simon Spero Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, matthew lange Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, John Bottoms Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Ed Barkmeyer Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Simon Spero <= Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, doug foxvog Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Matthew West Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Patrick Cassidy 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, Obrst, Leo J. Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Matthew West Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, John Bottoms Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Matthew West Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Michael Brunnbauer Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Chris Menzel