I think Judson, Ross wrote: > The need-XXX facts that are generated during backwards chaining are not > subject to any kind of reduction or collection, as far as I know. Is > this a planned feature at some point? Is there some reason that these > "deduced" facts must stay in the primary knowledge base? > > RJ >
The main reason is that they serve as history markers for what's happened before. If they are removed, then the Rete network may assert new ones. These new ones would make the goal-seeking rules re-fire. This would lead to redundant work in the situation where a goal-seeking rule returns no results. Early on, I believe that they were automatically retracted, and somebody complained. Note that there's nothing to prevent you from retracting them explicitly if you need to. --------------------------------------------------------- Ernest Friedman-Hill Distributed Systems Research Phone: (925) 294-2154 Sandia National Labs FAX: (925) 294-2234 PO Box 969, MS 9012 [EMAIL PROTECTED] Livermore, CA 94550 http://herzberg.ca.sandia.gov -------------------------------------------------------------------- To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]' in the BODY of a message to [EMAIL PROTECTED], NOT to the list (use your own address!) List problems? Notify [EMAIL PROTECTED] --------------------------------------------------------------------
