ontolog-forum
[Top] [All Lists]

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

 To: cmenzel@xxxxxxxx, "[ontolog-forum]" Simon Spero Thu, 24 May 2012 16:23:54 -0400
 On Thu, May 24, 2012 at 2:35 PM, Christopher Menzel wrote: Adrian,I think the question about counting facts was more properly a question about identity conditions: Given purported facts f1 and f2, under what conditions is f1 = f2? Given an answer to that question, we then know whether or not we've got one fact or two, i.e., we can know how to count them. It doesn't follow we'll know how many there are (though we might, given a sufficiently well circumscribed domain and a sufficiently rigorous notion of a fact). :-) Absolutely (well Relatively).   I do think that there must be a rather restricted interpretation of know(n) as well; otherwise to be countable the domain will probably have to be too restricted to be be useful. One would not want   (know-fact (that (natural-number 0)))(know-fact (that (forall ?n (if               (natural-number ?n)                (natural-number (S ?n))))) to entail that an infinite number of facts are known. This might be two facts. But we could add the knowledge that nothing else is a natural number, merge the two clauses into a single  formula yet have only one fact.    (know-fact (that          (forall ?n            (iff (or (= ?n 0)    (and (= ?n (S ?n1))         (know-fact (that (natural-number ?n1)))))             (know-fact (that (natural-number ?n))))))Now, it a possible rule that might make sense would be to only count as a known fact ground formula which have been directly asserted by a True Believer™, or which have been generated and cached in some fixed form as a result of answering some question (or pre-computed,etc) .   So if we have an inference engine with memoization and backward chaining, asking: (natural-number (S (S (S 0))))  might cause us to know 5 facts.   I really don't like this solution.  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 Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, John Bottoms Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Adrian Walker Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Christopher Menzel Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Simon Spero <= 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, William Frank Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Christopher Menzel Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, John F Sowa Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, William Frank 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, Alexander Titov Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Matthew West Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Alexander Titov