I don't know math too well, not an expert, just what I picked up on forays into AGI design. But I see an AGI (a simplified view) as being a kind of morphism processor and database. Taking inputs from the world, detecting and storing morphisms from the data streams, post processing the morphisms, creating morphisms of morphisms, groups of morphisms, putting all these into graphs, performing and integrating NN, genetic analysis, vector analysis and statistical analysis on these graphs while doing all the houskeeping. The morphism processing is what I struggle with trying to pick up all the group theory and understand how to code it up. Plus the plethora of morphisms out there. Then many "intelligent" structures (or subcomponents) can be built up using other advanced math in addition to just morphisms. Coming up with these structures and then coding them up and integrating them efficiently, yes difficult. Having mathematicians build tools into computer languages would definitely make it a lot easier. John
-----Original Message----- From: Ben Goertzel [mailto:[EMAIL PROTECTED] Sent: Saturday, March 24, 2007 6:10 AM To: [email protected] Subject: Re: [agi] My proposal for an AGI agenda > Is the research on AI full of Math because there are many Math > professors that publish in the field or is the problem really Math > related? Many PhDs in computer science are Math oriented exactly > because the professors that deem their work worth a PhD are either > Mathematicians or their sponsoring professor was. > > > I don't know of any math profs who publish in artificial intelligence, > though no doubt > there are a few that do. No, thinking about it now I can think of a few. My PhD is in math and I used to be a math prof, but I have found no opportunity yet to use really advanced math in AI "Advanced undergraduate level" math is as far as it's gone so far ... the most advanced stuff has been in Novamente's probabilistic reasoning component, but there's nothing here really going beyond undergrad probability, stats, and vector calculus... No algebraic geometry, no "modular forms" or "inaccessible cardinals" of the mind, etc. ;-) Ben G ----- This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/?list_id=303 ----- This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/?list_id=303
