AT, What is missing from the pair "logic" and "probability" is "control"... IE, there needs to be some basic planning/RL/autoprogramming subsystem which learns how to get things done in real time, or at least, as quickly as possible.
I think a lot more can & will be achieved with fixed inference methods operating on more complex/dynamic probabilistic logics, but ultimately, human-level AGI will most likely need to learn efficient inference procedures for itself. A key aspect of this problem is finding a good way to *represent* different possible inference schemes. Simply allowing programs to operate on the KB and propose possible inferences would be terrible... inefficient from the start. (I think we can't just iterate arbitrary code over the whole KB to look for good inferences...) Best, Abram On Thu, Aug 30, 2012 at 1: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/7190161-766c6f07 > Modify Your Subscription: > https://www.listbox.com/member/?&; > Powered by Listbox: http://www.listbox.com > -- Abram Demski http://lo-tho.blogspot.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
