> -----Original Message----- > From: Jim Bromer [mailto:[email protected]] > > I think the question of how an effective AGI program can be constructed is > still > unanswered. Even supposing (as I do) that you can start with simple programs > (that are not going to be powerful) you still have to answer the question of > how > the program can create models of reality before you can check them. The > article, Hybrid Automata for Formal Modeling and Verification of > Cyber-Physical > Systems, that you mentioned looks very interesting and the fact that they are > writing about something that is based on actual experiences is helpful. > However, since their modeling basis does not look entirely relevant, you have > to > wonder if they are going to be able to answer the most important questions > that > we -should be-asking. >
The paper is just an example of what can be done with hybrid automata based model checking. It's not really meant to answer deep AGI questions but rather be just a simple single color example in a broad spectrum of colors. Where I noticed this is in my research of automata based multi-agent emergent systems thinking trying to define agent structure using tuples. A more grandiose model checking system would not appear as specific... models might not exist as delineated entities in representation. To your point though - I think a program can create models in reality by initially participating in a consensus reality de facto and since we create the program and are participating members of the consensus as are base physical systems and involved virtual systems lended to the functional inception. Post "incubation" AGI reality pulls perception into it, so to say, models represented could effectively emerge through realizing a structural potential in a hosted abstraction medium perhaps through a reaction-diffusion morphogenesis? In a multi-agent emergence scenario that is... John ------------------------------------------- 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
