|To:||cmenzel@xxxxxxxx, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>|
|From:||Simon Spero <sesuncedu@xxxxxxxxx>|
|Date:||Thu, 24 May 2012 16:23:54 -0400|
On Thu, May 24, 2012 at 2:35 PM, Christopher Menzel <cmenzel@xxxxxxxx> wrote:|
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)))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.
(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.
_________________________________________________________________ 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)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Ed Barkmeyer|
|Next by Date:||Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Patrick Cassidy|
|Previous by Thread:||Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Christopher Menzel|
|Next by Thread:||Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts, Obrst, Leo J.|
|Indexes:||[Date] [Thread] [Top] [All Lists]|