On Fri, Oct 24, 2008 at 9:28 PM, Russell Wallace <[EMAIL PROTECTED]> wrote: > On Fri, Oct 24, 2008 at 6:00 PM, Vladimir Nesov <[EMAIL PROTECTED]> wrote: >> If it's not supposed to be a generic language war, that becomes relevant. > > Fair point. On the other hand, I'm not yet ready to write a detailed > road map out as far as "fix user interface bugs in Firefox". Okay, > here are some nearer term examples: > > Verification of digital hardware against formal models. (Narrow AI > theorem provers, for all their limitations, are already making > significant contributions in this area.) > Better solutions to NP problems. > Finding buffer overrun, bad pointer and memory leak bugs in C/C++ programs. > > All of these things can be formally defined without relying on large > amounts of ill-defined background knowledge. >
I write software for analysis of C/C++ programs to find bugs in them (dataflow analysis, etc.). Where does AI come into this? I'd really like to know. -- 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
