Case B is almost surely the truth, except for the reference to Cyc and hard-coded domain knowledge. Domain knowledge must mostly be learned not hard-coded to be of any use...
Most cognitive processes in the human mind embody exponential time algorithms, but various funky tricks are used to keep the constant in the exponential small on average for the goals and environments that the cognitive system cares most about... -- Ben G On Tue, Feb 25, 2014 at 5:17 PM, YKY (Yan King Yin, 甄景贤) < [email protected]> wrote: > Well, I may be wrong in the premise: maybe the human brain is just > clogging along with an exponential algorithm, and using some external > contextual knowledge to help. Maybe that's why we're all here in this > stupid place... =) > > Case (A): optimistic -- nature has found P=NP and our brain is using it. > We just have to find the polynomial-time algorithm explicitly. > > Case (B): pessimistic -- P != NP, even approximation is impossible. This > is scary, as we won't be able to find efficient algorithms even by very > advanced math tricks. The best we can do is utilize external domain > knowledge, ie, Cyc (or any inference engine of your choice) + hierarchical > organization of contexts. > > .... > *AGI* | Archives <https://www.listbox.com/member/archive/303/=now> > <https://www.listbox.com/member/archive/rss/303/212726-deec6279> | > Modify<https://www.listbox.com/member/?&;>Your Subscription > <http://www.listbox.com> > -- Ben Goertzel, PhD http://goertzel.org "In an insane world, the sane man must appear to be insane". -- Capt. James T. Kirk ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657 Powered by Listbox: http://www.listbox.com
