On Tue, Aug 5, 2008 at 7:45 AM, YKY (Yan King Yin) < [EMAIL PROTECTED]> wrote:
> > 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? > Yes > If yes, what you're doing is essentially ILP. > OK, feel free to call it that. What however does this labeling add? ;-) > > 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! > We already have code that does this, in PLN. Ben ------------------------------------------- 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
