On Fri, Oct 24, 2008 at 8:29 PM, Russell Wallace <[EMAIL PROTECTED]> wrote: > On Fri, Oct 24, 2008 at 5:26 PM, Vladimir Nesov <[EMAIL PROTECTED]> wrote: >> It's a specific problem: jumping right to the code generation to >> specification doesn't work, because you'd need too much specification. >> At the same time, a human programmer will need much less >> specification, so it's a question of how to obtain and use background >> knowledge, a general question of AI. The conclusion is that this is >> not the way. > > Oh, it's not step one or step two, that's for sure! I did say it was a > prospect for the longer term. >
You are describing it as a step one, with writing huge specifications by hand in formally interpretable language. -- Vladimir Nesov [EMAIL PROTECTED] http://causalityrelay.wordpress.com/ ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244&id_secret=117534816-b15a34 Powered by Listbox: http://www.listbox.com
