My interest in using logic for AGI is not to use it to represent 'everything' in one intractable model but to use it to represent various logical theories about stuff and how those different systems of theories might interact. While I can't recall every place I have ever been to I am able to recall some abstractions about different kinds of places to form better understandings about places as I see and experience them. These abstractions will tend to be associated with other abstracted features of similar places and so on. They then can be used in other kinds of combinations. Jim Bromer
On Thu, Jun 25, 2015 at 11:45 AM, J. Andrew Rogers <[email protected]> wrote: > > On Jun 24, 2015, at 7:36 PM, Piaget Modeler <[email protected]> > wrote: > > Why is this at all important? > > > > The short version: if you cannot solve these computer science problems > then it is not possible to reason about the physical world at a scale that > matters. Given that AGI requires the ability to reason about relationships > in the physical world, you can prove that most proposed AGI architectures > are not able to tractably express physical world relationships. > > You can invalidate and exclude AGI designs at a computer science level yet > another way. > > This computer science has nothing to do with AI. In fact, it was > discovered during the (failed) design of analytical database engines for > Google Earth circa 2006. Up to that point, everyone assumed reasoning about > the physical world was just very difficult. We proved it was actually > impossible within the computer science at the time. > > > It is enormously helpful for designing an AGI. The easiest way to design > any novel software architecture is to exclude as much of the design phase > space as possible. > *AGI* | Archives <https://www.listbox.com/member/archive/303/=now> > <https://www.listbox.com/member/archive/rss/303/24379807-653794b5> | > Modify > <https://www.listbox.com/member/?&;> > Your Subscription <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-f452e424 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657 Powered by Listbox: http://www.listbox.com
