On Fri, Oct 12, 2012 at 6:12 AM, Abram Demski <[email protected]> wrote:
(good thoughts about chunking and memoization which I'm still mulling over) In any case, most of this is wild speculation based on a distinct lack of > experience implementing such systems... > Yep. One of the tricky parts of this whole business is it's hard to think clearly about what heuristics etc. an AI system could usefully employ without being able to try some out; but that would require an adequate framework within which to write them; but it's hard to design such a framework without having figured out some use cases in detail first; but that requires thinking clearly about heuristics etc. Chicken and egg. In practice I end up basically bouncing back and forth between thinking about one or the other, hopefully slowly converging. Right now I'm again trying to sketch an end to end use case in the domain of software verification on the 'assume you have an ideal language implementation in which to write the code' basis. ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-c97d2393 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-2484a968 Powered by Listbox: http://www.listbox.com
