> Knowing how to carry out inference can itself be procedural knowledge, > in which case no explicit distinction between the two is required. > > -- > Vladimir Nesov
Representationally, the same formalisms can of course be used for both procedural and declarative knowledge. The slightly subtler point, however, is that it seems that **given finite space and time resources**, it's far better to use specialized reasoning/learning methods for handling knowledge that pertains to carrying out coordinated sets of action in space and time. Thus, "procedure learning" as a separate module from general inference. The brain works this way and, on this very general level, I think we'll do best to emulate the brain in our AGI designs (not necessarily in the specific representations/ algorithms the brain uses, but rather in the simple fact of the pragmatic declarative/ procedural distinction..) -- Ben G ------------------------------------------- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: http://www.listbox.com/member/?member_id=8660244&id_secret=95818715-a78a9b Powered by Listbox: http://www.listbox.com
