On 1/20/07, Benjamin Goertzel <[EMAIL PROTECTED]> wrote:
Backward chaining is just as susceptible to combinatorial explosions
as forward chaining...
And, importance levels need to be context-dependent, so that assigning
them requires sophisticated inference in itself...
The problem may not be so serious. Common sense reasoning may require only
*shallow* inference chains, eg < 5 applications of rules. So I'm very
optimistic =) Your worries are only applicable to 100-page theorem-proving
tasks, not really the concern of AGI.
YKY
-----
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http://v2.listbox.com/member/?list_id=303
