On 8/5/08, Ben Goertzel <[EMAIL PROTECTED]> wrote: > Yes, but in PLN/ OpenCogPrime backward chaining *can* create hypothetical logical relationships and then seek to estimate their truth values > > See this page > > http://opencog.org/wiki/OpenCogPrime:IntegrativeInference > > and the five pages linked to from it (at the top) It requires efforts to read your stuff, and I'm not fully committed to work in OCP yet ;) But let's talk generally...
Can you create hypotheses that contain variables? If yes, what you're doing is essentially ILP. If not, then your version is a kind of propositional learning, like ID3, and is inadequate for AGI. > The purpose of the scoring function is precisely to attempt to manage this combinatorial explosion. Let's try to touch base here: We need to search through a tree with a very high branching factor, because there are so many ways to generate hypotheses in FOL, with so many predicates to choose from, and the possibility to introduce variables as desired. So, there are a huge number of nodes in the search tree, even if we limit the depth, otherwise it's simply infinite. The scoring function give a score to each node (my understanding is that the score is based on how many examples that tree branch can *explain*.) So, the score per se, does not reduce the size of the tree. The only cool idea that can get us out of this quandary is, as you suggested, by using prior experience as an inductive bias during the search. (Yes, maybe you can incorporate this bias into the scoring function.) Even so, we need an "refinement operator" that can help us generate the nodes in the search tree. This operator has been defined for ILP under FOL, but if your logic is "messy", it may be very difficult to figure out how to search the tree systematically. That's why I've so strongly advocated for a "neat" KR! YKY ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244&id_secret=108809214-a0d121 Powered by Listbox: http://www.listbox.com
