Colin
Solipsism has always been formally and logically intractable.
Please stand and deliver on your own falacious claims
We can not even be sure how memory works in the brain.
Your claims are patently perpetual-motion(esque)
John L
www.emotionchip.net
- Original Message -
Good to see someone is still up. Can you link your paper again? I
can't find the URL.
Eric B
---
agi
Archives: https://www.listbox.com/member/archive/303/=now
RSS Feed: https://www.listbox.com/member/archive/rss/303/
Modify Your Subscription:
2008/10/17 Ben Goertzel [EMAIL PROTECTED]:
Including a brief article by me about open-source robotics, that I wrote
back in April...
Open source robotics may eventually occur, but I think it will require
some common and relatively affordable platforms. It becomes much
easier to usefully
From: Ben Goertzel [mailto:[EMAIL PROTECTED]
As Ben has pointed out language understanding is useful to teach AGI.
But if
we use the domain of mathematics we can teach AGI by formal expressions
more
easily and we understand these expressions as well.
- Matthias
That is not clear --
... even an alien language far removed from any on Earth is likely to
have recognisable patterns that could help reveal how intelligent the
life forms are.
the news:
http://www.telegraph.co.uk/earth/main.jhtml?view=DETAILSgrid=xml=/earth/2008/10/15/scialien115.xml
the researcher:
The best way to get a sense of the state of the art in automated theorem
proving would be to download and play with the systems
http://en.wikipedia.org/wiki/Isabelle_(theorem_prover)
and
http://en.wikipedia.org/wiki/Prover9
, which are state-of-the-art automated theorem provers.
Isabelle is
But even understanding an alien language would not necessarily imply to
understand how this intelligence work ;-) Furthermore, understanding the
language of an intelligent species is not necessary and is also not
sufficient to have the same intelligence. In fact language is only a
protocol to
On Lakoff and Nunez, Where Mathematics Comes From. Dittos. Great book.
I have had to buy multiple copies because I keep loaning it and not
getting it back. Lakoff's emobdiment theme is a primary concept for me.
andi
---
agi
Archives:
I find myself needing to more thoroughly understand reasoning by
analogy. (I've read/thought about it to a degree, but would like more.)
Anyone have any recommendation for books and/or papers on the subject?
Thanks.
---
agi
Archives:
Don't know what you've read, so have to start from the general references:
http://nars.wang.googlepages.com/wang.AGI-Curriculum.html , C.11:
Analogy and metaphor
http://cognet.mit.edu/library/books/view?isbn=0262571390 , The
Analogical Mind, Gentner, Holyoak, Kokinov (eds)
On Fri, Oct 17, 2008 at 7:09 PM, Harry Chesley [EMAIL PROTECTED] wrote:
I find myself needing to more thoroughly understand reasoning by analogy.
(I've read/thought about it to a degree, but would like more.) Anyone have
any recommendation for books and/or papers on the subject?
The classics:
On Fri, Oct 17, 2008 at 4:10 AM, Bob Mottram [EMAIL PROTECTED] wrote:
Open source robotics may eventually occur, but I think it will require
some common and relatively affordable platforms. It becomes much
easier to usefully share code when you're dealing with the same
hardware (or at least
From: Pei Wang [mailto:[EMAIL PROTECTED]
... even an alien language far removed from any on Earth is likely to
have recognisable patterns that could help reveal how intelligent the
life forms are.
This is true unless the alien life form existed in mostly order and
communicated via the
2008/10/17 Bryan Bishop [EMAIL PROTECTED]:
Bob, it's already happening behind your back, and I'm not talking
about iCub. While platform standardization is important, there's other
things that you can do like write cross-platform compatible
applications and compilers, or working on rounding up
2008/10/17 Ben Goertzel [EMAIL PROTECTED]:
The difficulty of rigorously defining practical intelligence doesn't tell
you ANYTHING about the possibility of RSI ... it just tells you something
about the possibility of rigorously proving useful theorems about RSI ...
More importantly, you
1)
There definitely IS such a thing as a better algorithm for intelligence in
general. For instance, compare AIXI with an algorithm called AIXI_frog,
that works exactly like AIXI, but inbetween each two of AIXI's computational
operations, it internally produces and then deletes the word frog one
There is a difference *why* we use language and *how language
(communication) works*.
The ultimate goal why human used language is to enhance the probability to
survive.
If someone has found something to eat he could tell it his group. Further,
language is useful for knowledge transfer from one
This is cool it's kind of like a combo of Omni, a desktop publishing fanzine
with 3DSMax cover page, and randomly gathered techno tidbits all
encapsulated in a secure PDF.
The skin phone is neat and the super imposition eye contact lens by U-Dub
has value. I wonder where they got that idea from,
18 matches
Mail list logo
