Re: [agi] Self-maintaining Architecture first for AI

2008-05-11 Thread William Pearson
2008/5/11 Russell Wallace [EMAIL PROTECTED]: On Sat, May 10, 2008 at 10:10 PM, William Pearson [EMAIL PROTECTED] wrote: It depends on the system you are designing on. I think you can easily create as many types of sand box as you want in programming language E (1) for example. If the principle

Re: [agi] Self-maintaining Architecture first for AI

2008-05-11 Thread Russell Wallace
On Sun, May 11, 2008 at 7:45 AM, William Pearson [EMAIL PROTECTED] wrote: I'm starting to mod qemu (it is not a straightforward process) to add capabilities. So if I understand correctly, you're proposing to sandbox candidate programs by running them in their own virtual PC, with their own

Re: [agi] Self-maintaining Architecture first for AI

2008-05-10 Thread William Pearson
2008/5/10 Richard Loosemore [EMAIL PROTECTED]: This is still quite ambiguous on a number of levels, so would it be possible for you to give us a road map of where the argument is going? At the moment I am not sure what the theme is. That is because I am still ambiguous as to what the later

Re: [agi] Self-maintaining Architecture first for AI

2008-05-10 Thread Russell Wallace
On Sat, May 10, 2008 at 8:38 AM, William Pearson [EMAIL PROTECTED] wrote: 2) A system similar to automatic programming that takes descriptions in a formal language given from the outside and potentially malicious sources and generates a program from them. The language would be sufficient to

Re: [agi] Self-maintaining Architecture first for AI

2008-05-10 Thread Russell Wallace
On Sat, May 10, 2008 at 10:10 PM, William Pearson [EMAIL PROTECTED] wrote: It depends on the system you are designing on. I think you can easily create as many types of sand box as you want in programming language E (1) for example. If the principle of least authority (2) is embedded in the

[agi] Self-maintaining Architecture first for AI

2008-05-09 Thread William Pearson
After getting completely on the wrong foot last time I posted something, and not having had time to read the papers I should have. I have decided to try and start afresh and outline where I am coming from. I'll get around to do a proper paper later. There are two possible modes for designing a

Re: [agi] Self-maintaining Architecture first for AI

2008-05-09 Thread Richard Loosemore
William Pearson wrote: After getting completely on the wrong foot last time I posted something, and not having had time to read the papers I should have. I have decided to try and start afresh and outline where I am coming from. I'll get around to do a proper paper later. There are two possible