| To: | "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>, "cmenzel@xxxxxxxx" <cmenzel@xxxxxxxx> |
|---|---|
| From: | "Obrst, Leo J." <lobrst@xxxxxxxxx> |
| Date: | 2012年5月24日 20:38:58 +0000 |
| Message-id: | <FDFBC56B2482EE48850DB651ADF7FEB0183B278F@xxxxxxxxxxxxxxxxxx> |
Personally (and pragmatically), I usually think of facts as true propositions, even though I know there are issues with such a position in the philosophical and linguistic literature. And of course, you must nail down “proposition”, which however I naively think is easier.
One of the main problems, I think, is existence vs. truth. One wants to say that a fact exists and thereby makes the corresponding proposition true.
Thanks,
Leo
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx]
On Behalf Of Simon Spero
Sent: Thursday, May 24, 2012 4:24 PM
To: cmenzel@xxxxxxxx; [ontolog-forum]
Subject: Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts
On Thu, May 24, 2012 at 2:35 PM, Christopher Menzel <cmenzel@xxxxxxxx> 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)
| Previous by Date: | Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts , Patrick Cassidy |
|---|---|
| Next by Date: | Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts , Obrst, Leo J. |
| Previous by Thread: | Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts , Simon Spero |
| Next by Thread: | Re: [ontolog-forum] [ontology-summit] Estimating number of all known facts , William Frank |
| Indexes: | [Date] [Thread] [Top] [All Lists] |