Bill Hibbard wrote: > On Mon, 10 Feb 2003, Ben Goertzel wrote: > > > > > A goal in Novamente is a kind of predicate, which is just a > > > function that > > > > assigns a value in [0,1] to each input situation it observes... > > > i.e. it's a > > > > 'valuation' ;-) > > > > > > Interesting. Are these values used for reinforcing behaviors > > > in a learning system? Or are they used in a continuous-valued > > > reasoning system? > > > > They are used for those two purposes, AND others... > > Good. In that case the discussion about whether ethics > should be built into Novamente "from the start" fails > to recognize that it already is. Building ethics into > reinforcement values is building them in from the start.
yes, I agree > Solomonoff Induction (http://www.idsia.ch/~marcus/kolmo.htm) > provides a good theoretical basis for intelligence, and > in that context behavior is determined by only two things: > > 1. The behavior of the external world. > 2. Reinforcement values. > > Real systems include lots of other stuff, but only to > create a computationally efficient approximation to the > behavior of Solomonoff Induction (which is basically > uncomputable). You can try to build ethics into this > "other stuff", but then you aren't "building them in > from the start". I also agree with this portrayal of AGI. And I think that gradually, the AGI community is moving toward building a bridge between the mathematical theory of Solomonoff induction and the practice of AGI. In the "Artificial General Intelligence" (formerly known as "Real AI") edited volume we're putting together, you can see these connections forming... We have, for example, * a paper by Marcus Hutter giving a Solomonoff induction based theory of general intelligence * a paper by Luke Kaiser giving a variant on Marcus's theory, introducing directed acyclic function graphs as a specific computational model within the Solomonoff induction framework * Cassio's and my paper on Novamente, including mention of the Novamente schema (procedure) module, which uses directed acyclic function graphs as Luke describes. -- Ben G ------- To unsubscribe, change your address, or temporarily deactivate your subscription, please go to http://v2.listbox.com/member/?[EMAIL PROTECTED]
