On Fri, Oct 24, 2008 at 7:24 PM, Russell Wallace <[EMAIL PROTECTED]> wrote: > On Fri, Oct 24, 2008 at 4:09 PM, Vladimir Nesov <[EMAIL PROTECTED]> wrote: >> If that allows AI to understand the code, without directly helping it. >> In this case teaching it to understand these other languages might be >> a better first step. > > And to do that you need to give it a specification of those languages, > and the ability to reason about the properties of a program given the > code plus the specification of what it's written in; and you need a > language in which to write the code to do all that; which brings us > back to where I started this thread.
Again, if that helps. >> But, speaking of application to debugging software, I long ago came to >> conclusion that you'd need to include unreasonable amount of >> background information which you won't even be able to guess relevant >> to make AI do what you need with things that are not completely >> defined. > > It's a hard problem isn't it? Science fiction about Friendly AI > rewriting the solar system is entertaining, but to really get to grips > with the matter, start with trying to figure out how to write one that > understands how to make the Firefox option "always perform this > action" work for all file types. > > Where (if anywhere) do you see AGI going in our lifetimes, if you > think software debugging will remain too difficult an application for > the foreseeable future? > 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. -- 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
