Re: [agi] Instead of an AGI Textbook

2008-03-29 Thread Robert Wensman
Hmm.. well, but at least, using words related to robotics gives a flavour of embodiment :-). Anyhow, I still prefer sharing terminology with robotics, as opposed to narrow AI. Narrow AI and AGI are perhaps closer, so the risk of confusion is bigger. /R 2008/3/29, Ben Goertzel [EMAIL

Re: [agi] Instead of an AGI Textbook

2008-03-29 Thread Mike Tintner
Robert/Ben:. In fact. I would suggest that AGI researchers start to distinguish themselves from narrow AGI by replacing the over ambiguous concepts from AI, one by one. For example: knowledge representation = world model. learning = world model creation reasoning = world model simulation

General vs. narrow AI (was: [agi] Instead of an AGI Textbook)

2008-03-29 Thread Vladimir Nesov
On Sat, Mar 29, 2008 at 3:58 PM, Mike Tintner [EMAIL PROTECTED] wrote: IMO there is one key in fact crucial distinction between AI AGI - which hinges on adaptivity. An AI program has special(ised) adaptivity -can adapt its actions but only within a known domain An AGI has general

Re: [agi] Instead of an AGI Textbook

2008-03-29 Thread Jim Bromer
On Sat, Mar 29, 2008 at 8:58 AM, Mike Tintner [EMAIL PROTECTED] wrote: Robert/Ben:. In fact. I would suggest that AGI researchers start to distinguish themselves from narrow AGI by replacing the over ambiguous concepts from AI, one by one. For example: knowledge representation =

Re: [agi] Novamente's next 15 minutes of fame...

2008-03-29 Thread Jim Bromer
It sounds interesting. Can anyone go and try it, or does it cost money or something. Is it set up already? Jim Bromer On Fri, Mar 28, 2008 at 6:54 PM, Ben Goertzel [EMAIL PROTECTED] wrote: http://technology.newscientist.com/article/mg19726495.700-virtual-pets-can-learn-just-like-babies.html

Re: [agi] Logical Satisfiability...Get used to it.

2008-03-29 Thread Vladimir Nesov
Jim, Could you keep P=NP discussion off this list? There are plenty of powerful SAT solvers already, so if there is a path towards AGI that needs a SAT solver, they can be used in at least small-scale prototypes, and thus the absence of scalable SAT solver is not a bottleneck at the moment. P=NP

[agi] Intelligence: a pattern discovery algorithm of scalable complexity.

2008-03-29 Thread Boris Kazachenko
Here's another try: I think the main reason for the failure of AI is that no existing approach is derived from a theoretically consistent definition of intelligence. Some, such as Algorithmic Information Theory, are close but not close enough. Scalable (general) intelligence must recursively

Re: [agi] Logical Satisfiability...Get used to it.

2008-03-29 Thread David Salamon
Hey Jim, Glad to hear you're making some headway on such an important and challenging problem! Don't read to much in to Vladimir's response... he's probably just having a hard day or something :p If it's fair game to talk about all the other narrow-AI topics on this list, talking about SAT is

Re: [agi] Novamente's next 15 minutes of fame...

2008-03-29 Thread Ben Goertzel
Nothing has been publicly released yet, it's still at the research-prototype stage ... I'll announce when we have some kind of product release... ben On Sat, Mar 29, 2008 at 5:39 PM, Jim Bromer [EMAIL PROTECTED] wrote: It sounds interesting. Can anyone go and try it, or does it cost money or