I don't believe that major advancements in AGI are feasible right now. However, major advancements in computer technology are occurring all around us so the sheer power of the hardware means that some things that had been impossible before are now possible.
One of the most amazing things I have seen during the past few years are videos of helicopters that have learned to fly upside down and do all sorts of tricks like flying through small openings. These remind me of the amazing aeronautical feats that birds can achieve (like high-speed flight through small areas between branches.) I believe these helicopter tricks were learned using neural networks. And I believe that the reason that neural networks were successful for these and other projects like learning to recognize drawn characters was because the method was so simple. They were used to achieve some things that more elaborate methods were unable to achieve because they did not run into the complexity barriers that more complicated methods can create. The reason that neural networks have not been used to successfully learn more interesting things is because they are too simple. So I believe, based on my limited experiences actually trying to write algorithms that were supposed to do thorough pre-analyses of a situation, that the contemporary methods that are more likely to produce some limited successes (that might look like benchmarks of progress) will be methods that are a little more sophisticated than neural networks but not too much more sophisticated. Most people here would think of probability nets. I have so many problems with the conventional thinking about probability nets that I don't agree only because the adherents don't seem to acknowledge the logical dilemmas of the approach. So I would conclude, based on these reasons, that it is more likely that logic nets will produce some limited breakthroughs in the near future. Strangely, logic nets in AGI have not been discussed widely so that suggests that the field is wide open. So I am saying that the field of logic nets in AGI is both unlimited and yet to be truly defined. There were some attempts in the old days, like constraint-based reasoning (I have to look it up to remember what that was) and semantic nets but these were only two possible variations. The term logic net might be misleading. Perhaps I should name the method relational nets. Yes, that sounds much fresher and it gives you a sense of how much freedom it might provide programmers because it is not just based on logic but the application of methods to networks. (Ok, I found a definition of case-based reasoning so now I should remember what that means for a few days.) Jim Bromer On Thu, Aug 30, 2012 at 4:53 PM, Anastasios Tsiolakidis <[email protected]> wrote: > Well folks, last time I took a mid-level look at your designs, asking > for your non-negotiables, the results were unimpressive. As our > ability to do benchmarking, incremental progress, milestoning etc > remains limited, I would like to ask again for your eagle's eye view: > > 1) which breakthrough/milestone you think is/are needed on your way to AGI > 2) which module(s)/subsystem you are certain will make it all the way > to AGI 1.0, so which current theory/tech is essential to your vision > > I would like to cop out of 2) with "logic", i just don't see AGI 1.0 > arriving without some explicit Aristotle or Prolog inside it, it is > the computational shortcut to end all shortcuts. Less powerful but > more general, some probabilistic system will be there too, possibly > multiple ones including fuzzy logic. I'd also wager a bayesian > element is de rigeur. I am not trying at all to be exhaustive here, > just giving actual examples. > > 1) is the more critical and open ended, I sincerely think that the > "correct" agent-like distributed architecture is disruptive enough to > be called a breakthrough towards AGI, but I am not sure at all I know, > or anyone knows, how to avoid the curse of dimensionality, the curse > of productivity, the curse of contradiction and the curse of > non-terminability. > > AGI could be cursed, folks! > > AT > > > ------------------------------------------- > AGI > Archives: https://www.listbox.com/member/archive/303/=now > RSS Feed: https://www.listbox.com/member/archive/rss/303/10561250-164650b2 > Modify Your Subscription: https://www.listbox.com/member/?& > Powered by Listbox: http://www.listbox.com ------------------------------------------- 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
