. This means that the Solomonoff predictor respects, in
some sense,
the principle of Occam's razor. That is, a priori, simpler things are
considered more
likely than complex ones.
ED## ??Shane??, what are the major ways programs are used in a
Solomonoff machine? Are they used for generating
and
AIXI in the most complete and simple way I could manage to come up with.
This should be available before too long once I've done some final polishing
up etc. of the text.
Cheers,
Shane
-
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options
0.00787499699781238...
At least when based on the Turing machine described here:
http://www.emis.de/journals/EM/expmath/volumes/11/11.3/Calude361_370.pdf
Shane
-
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http://v2
Pei,
Yes, the book is the best source for most of the topics. Sorry for the
absurd price, which I have no way to influence.
It's $190. Somebody is making a lot of money on each copy and
I'm sure it's not you. To get a 400 page hard cover published at
lulu.com is more like $25.
Shane
Matt,
Shane Legg's definition of universal intelligence requires (I believe)
complexity but not adaptability.
In a universal intelligence test the agent never knows what the environment
it is facing is. It can only try to learn from experience and adapt in
order to
perform well. This means
is not very powerful and quite stupid.
However, at a macro level when you consider trillions of trillions of these
acts in a system that has been trained over a couple of decades, the
result is the brain of an adult which is indeed powerful and intelligent.
Shane
-
This list is sponsored by AGIRI
interesting to me,
and that it also seems like a pretty good definition of intelligence.
Shane
-
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/?member_id=231415user_secret=fabd7936
they are. Nevertheless, it is still the end product raw
intelligence
generated by the system that really excites me, rather than statistics on
its
internal efficiency.
Shane
-
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http://v2
to Goedel
incompleteness. To go beyond that point things like evolution may be
necessary.
Shane
-
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/?member_id=231415user_secret=fabd7936
test in mind.
Cheers
Shane
-
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/?member_id=231415user_secret=fabd7936
a problem, by defining a goal
for them, and have them come up with a very clever solution to my
problem, they aren't what I'm interested in with my AI work.
Shane
-
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http://v2
an intelligence test
based on universal intelligence and see how well various AI algorithms
perform.
Cheers
Shane
-
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/?member_id=231415user_secret=fabd7936
of
intelligence that cannot be proven to be intelligent even though it is
intelligent.
Cheers
Shane
-
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/?member_id=231415user_secret=fabd7936
?
NARS can...
- accept a number as input?
- be instructed to try to maximise this input?
- interact with its environment in order to try to do this?
I assume NARS is able to do all of these things.
Shane
-
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change
...
Anyway, my point is, whether you need math in your programing
or not all depends on what it is that you are trying to program.
Shane
-
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/?member_id
of
their work is.
When you publish something on this please let the list know!
thanks
Shane
-
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/?member_id=231415user_secret=fabd7936
intelligence value.
Cheers
Shane
-
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/?member_id=231415user_secret=fabd7936
a global brain average I most often see the
number 1,000. For rat cortex (which is a bit different to mouse cortex
in terms of thickness and density) I usually see the number 10,000 as
the average (just for cortex, not the whole brain).
Shane
On 4/29/07, Matt Mahoney [EMAIL PROTECTED] wrote
would like to pin intelligence down as precisely as possible.
I think that if somebody could do this it would be a great step forward.
I believe that issues of definition and measurement are the bedrock of
good science.
Cheers
Shane
-
This list is sponsored by AGIRI: http://www.agiri.org/email
to a difficult problem often lies in finding the right
way to
view the problem, in order words, the right representation.
Cheers
Shane
-
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/?member_id
.
So let me put the challenge to you: Can you name one well defined process to
do
with intelligent problem solving that universal intelligence doesn't already
test for?
Shane
-
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http
not sure when that will come out. But my PhD thesis will contain this
material and that should be ready in a few months time.
Cheers
Shane
-
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/?member_id
Brain guys at EPFL...
Their model is very complex and definitely not simply some standard
numerics package. They are working in collaboration with something
like 400 researchers all around the world and the project will be going
for at least several decades. Simple it is not.
Shane
-
This list
that you can say that their model is simple.
Shane
-
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
. For example, I went to
the ALT
conference last year to present some work and there were only 40 people.
This is
the second biggest AI theory conference in the world (after COLT). Other
areas like
genetic algorithms attract thousands.
Shane
-
This list is sponsored by AGIRI: http://www.agiri.org
.
Shane
-
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
sort of kills it for us.
As we will be going into high performance computing, we have
no choice but to do the core work in plain C running on Linux.
Shane
-
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http://v2.listbox.com
fast to code and modify, and then
the few parts of the code that consume 99.9% of the CPU time get
converted into C and carefully optimised.
Shane
-
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
. Psycoloquy
7(14)
Shane
-
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
given that
they cover not
just code, but also all business ideas etc. related to this technology.
Shane
-
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
) was independently developed by
your employees or consultants without access to such Confidential
Information.
Shane
On 3/7/07, J. Storrs Hall, PhD. [EMAIL PROTECTED] wrote:
Just noticed this on Slashdot.
Open source but not free software, for those of you for whom this makes a
difference
read On Intelligence and are interested in a basic undergraduate
overview of neuroscience I'd recommend the classic text book Essentials
of Neural Science and Behavior by Kandel, Schwartz and Jessell. Once
you've read that much of the scientific literature in the field is
understandable.
Shane
of these configurations order to get accurate performance statistics.
Then you look at the results and come up with some new ideas and repeat.
Thus, even if algorithm Y is a decent AGI when run on hardware X, you
probably want 100X computer power in order to develop algorithm Y.
Shane
-
This list is sponsored
Eliezer,Shane, what would you do if you had your headway?Say, you won the
lottery tomorrow (ignoring the fact that no rational person would buy aticket).Not just AGI - what specifically would you sit down and doall day?I've got a list of things I'd like to be working on. For example, I'd like
This is a question that I've thought about from time to time. The conclusionI've come to is that there isn't really one or two reasons, there are many.Surprisingly, most people in academic AI aren't really all that into AI.
It's a job. It's more interesting than doing database programming ina
definitions listed in AIMA(http://aima.cs.berkeley.edu/
), page 2.PeiOn 9/1/06, Shane Legg [EMAIL PROTECTED] wrote: As part of some research I've been doing with Prof. Hutter on AIXI and formal definitions of machine intelligence, I've been
collecting definitions of intelligence that have been
Ben,So you think that, Powerful AGI == good Hutter test resultBut you have a problem with the reverse implication,good Hutter test result =/= Powerful AGIIs this correct?
Shane
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com
u'll agree that an amazingly outstanding Huttertest result (possibly on an even larger text corpus that included
conversations etc.) would allow you to then construct a machinethat would pass the Turing test?Shane
To unsubscribe, change your address, or temporarily deactivate your subscription,
please
passed it, and thus so would
the compressor/predictor (assuming that it's amazingly good,or at least as good at predicting my responses as I would be).Shane
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com/member/[EMAIL PROTECTED]
But Shane, your 19 year old self had a much larger and more diversevolume of data to go on than just the text or speech that you
ingested...I would claim that a blind and deaf person at 19 could pass aTuring test if they had been exposed to enough information overthe years. Especially if they had
Basically, as you can all probably see, Davy has written a chat bot typeof program. If you email him he'll send you a copy --- he says it's a bitover 1.5 MB and runs on XP.It's a bit hard to understand how it works, partly because (by his own
confession) he doesn't know much about AI and so
On 7/25/06, Ben Goertzel [EMAIL PROTECTED] wrote:
Hmmm...About the measurement of general intelligence in AGI's ...I would tend to advocate a vectorial intelligence approachI'm not against a vector approach. Naturally every intelligent
system will have domains in which it is stronger than
verysimilar stuff. He has a 50 page paper on formal measures of machineintelligence that should be coming out in coming months.I'll make a post here when either of these papers becomes available.
Shane
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http
On 7/13/06, Pei Wang [EMAIL PROTECTED] wrote:
Shane,Do you mean Warren Smith?Yes.Shane
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com/member/[EMAIL PROTECTED]
For a universal test of AI, I would of course suggest universal intelligenceas defined in this report:http://www.idsia.ch/idsiareport/IDSIA-10-06.pdf
ShaneOn Fri, 02 Jun 2006 09:15:26 -500, [EMAIL PROTECTED] [EMAIL PROTECTED]
wrote:What is the universal test for the ability of any given AI SYSTEM
or so!
Shane
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com/member/[EMAIL PROTECTED]
:
hqda.pentagon.mil lanl.gov defence.gov.au robins.af.mil
lockheedmartin.com
The Pentagon looked like a spider as they hit multiple pages and
selected out particular images and files all in one second. Other
patterns of hits look like people with web browsers looking around.
Shane
To unsubscribe, change
their other office worker military friends and before you know it,you're getting hits from 10 different military organisations.
I'd never really thought about it before, but I guess people working in thePentagon get bored and read blogs during the day too ;-)I'll take off my tin foil hat now...Shane
Ben,My suspicion is that in the brain knowledge is often stored on two levels:
* specific neuronal groups correlated with specific informationIn terms of the activation of specific neurons indicating high level concepts,I think there is good evidence of this now. See for example the work of
, and most of the problems you describe, wouldhave been reasonable in 2000... but not now, 5 to 6 years later.
Shane
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com/member/[EMAIL PROTECTED]
Pei,To my mind the key thing with neural networks is that theyare based on large numbers of relatively simple units thatinteract in a local way by sending fairly simple messages.Of course that's still very broad. A CA could be considered
a neural network according to this description, and indeedto
Hi Pei,As usual, I disagree! I think you are making a straw man argument.The problem is that what you describe as neural networks is just a certainlimited class of neural networks. That class has certain limitations, which
you point out. However you can't then extend those conclusions to
Ciao Ben,
Is the AGI book published yet?
I see that Amazon says that it can be ordered, but I haven't seen
you mention the book here on the AGI list?
Cheers
Shane
Send instant messages to your online friends http://au.messenger.yahoo.com
---
To unsubscribe, change your address
://www.top500.org/lists/2005/06/perfdevel/Projected_Performance_Development_1.png
I'm sure this continued exponential growth is good news for all you power
hungry AGI engineers out there...
Shane
Send instant messages to your online friends http://au.messenger.yahoo.com
---
To unsubscribe, change your
To be fair, they got it accepted to a rather bad conference
which sometimes accepts papers without actually reviewing
them... as happened in this case.
Shane
--- Ben Goertzel [EMAIL PROTECTED] wrote:
Anyone who's been frustrated with academia might find this amusing...
MIT students
am currently working on...
Cheers
Shane
Find local movie times and trailers on Yahoo! Movies.
http://au.movies.yahoo.com
---
To unsubscribe, change your address, or temporarily deactivate your
subscription,
please go to http://v2.listbox.com/member/[EMAIL PROTECTED]
Have any of you heard of Polyscheme before?
There's an overview here:
http://www.cassimatis.com/polyscheme.html
It sounds a lot like Novamente.
Shane
Find local movie times and trailers on Yahoo! Movies.
http://au.movies.yahoo.com
---
To unsubscribe, change your address, or temporarily
Here's a PhD thesis by a guy who tried to build an AGI using neural networks
and ideas on animal cognition... at least that's my impression from a quick
look over the thesis:
http://www.lucs.lu.se/People/Christian.Balkenius/PDF/Balkenius.1995.Thesis.pdf
Shane
Find local movie times
your only option I think.
Shane
Peter Voss wrote:
What are the best options for large amounts of fast memory for Windows-based
systems?
I'm looking for price performance (access time) for:
1) Cached RAID
2) RAM disks
3) Internal RAM (using 64 bit architecture?)
4) other
Thanks for any info.
Peter
results.
Shane
---
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com/member/[EMAIL PROTECTED]
required to build a working nuclear weapon for example.
What are your thoughts? Surely this has been debated
many times before I suppose?
Cheers
Shane
---
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com/member/[EMAIL PROTECTED]
, this is only a weekend hobby for me --- I need to focus my energies
on getting my PhD done. Building an AGI might have to wait.
ciao
Shane
---
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com/member/[EMAIL PROTECTED]
and so on form the basis for general intelligence.
Somehow I'd managed to miss seeing these people and their projects
in the past. For example:
http://www.ai.mit.edu/projects/genesis/
http://www.ai.mit.edu/projects/HIE/index.html
http://www.cassimatis.com/
Shane
Pei Wang wrote:
2004 AAAI Fall
Also I think this is pretty cool in case you miss it:
http://www.ai.mit.edu/projects/genesis/movies.html
---
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com/member/[EMAIL PROTECTED]
Agi types might like these two articles,
http://www.theregister.co.uk/content/4/33463.html
http://www.theregister.co.uk/content/4/33486.html
Shane
Want to chat instantly with your online friends? Get the FREE Yahoo
resources
for this new thing.
Shane
---
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com/member/[EMAIL PROTECTED]
is 100,000 numbers
each of 5 characters giving a 500,000 character pattern
of digits from 0 to 9. A human can learn this reasonably
easily but your AI won't. It would take something more
like a mega byte to store the pattern. Actually with
the overhead of all the rules it would be much bigger.
Shane
difficult an environment is is not
the complexity of the environment, but rather the complexity of
the simplest solution to the problem that you need to solve in
that environment.
Shane
P.S. one of these days I'm going to get around to replying to your
other emails to me!! sorry about the delay
is far far far to
large at 1.6 x 10^-35 m)
and so on...
Does anybody have a better explanation?
Shane
--- Amara D. Angelica [EMAIL PROTECTED] wrote:
http://www.kurzweilai.net/news/news_printable.html?id=2417
Discovering the Capacity of Human Memory
Brain and Mind, August 2003
then becomes just log_2 (10^8432) = 8432 * log_2 (10) = 28,010 bits
or about 3.5 kilo bytes of storage. I'd like to think that I have
more than a 3.5 Kb brain!!
They really should have sanity checked their results.
Shane
--- Pei Wang [EMAIL PROTECTED] wrote: The paper can be accessed at
http
I
used is equation 1.13 which is on page 2.
Shane
--- Brad Wyble [EMAIL PROTECTED] wrote:
It's also disconcerting that something like this can make it through the
review process.
Transdisciplinary is oftentimes a pseudonym for combining half-baked and
ill-formed ideas from multiple
day with my new ADSL account.
Aside from his, well, rather over the top style of
presentation, what do people think of this? I haven't
seen any comment to this list and don't know much
neuroscience myself either. He has a book too, has
anybody read it?
Cheers
Shane
---
To unsubscribe, change
expressions
to represent knowledge. Surely Cyc is in this tradition and so,
from Hecht-Nielsen's point of view, must be on the wrong track?
Shane
---
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com/member/[EMAIL PROTECTED]
Semiborg?
:)
Shane
Ben Goertzel wrote:
Hi ,
For a speculative futuristic article I'm writing (for a journal issue edited
by Francis Heylighen), I need a new word: a word to denote a mind that is
halfway between an individual mind and a society of minds.
Not a hive-mind, but rather a community
of time --- the problem is likely
to remain very complex in some sense (excluding weird stuff like
finding new laws of physics and computation etc... of course).
Cheers
Shane
---
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com
of thought.
Yeah, just a fancy Venn diagram really used to generate
reasonably consistent data sets.
Cheers
Shane
---
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com/member/?[EMAIL PROTECTED]
(third edition) of Li and Vitanyi sometime
this year which will be interesting. Li and Vitanyi have also written
quite a few introductions to the basics of the field many of which you
should be able to find on the internet.
Cheers
Shane
The Li and Vitanyi book is actually intended to be a graduate
-- though I don't
exactly follow it much.
Cheers
Shane
---
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com/member/?[EMAIL PROTECTED]
induction and AIXI...)
Thanks for your comments.
Cheers
Shane
---
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com/member/?[EMAIL PROTECTED]
vs. AIXI.
Cheers
Shane
---
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com/member/?[EMAIL PROTECTED]
in these terms is because I suspected Ockham's
razor to relate to the compressibility idea as you stated; and I've
Sounds to me like you need to read Li and Vitanyi's book on
Kolmogorov complexity theory :)
http://www.cwi.nl/~paulv/kolmogorov.html
Cheers
Shane
---
To unsubscribe, change your
Which is more or less why I figured you weren't going to do
a Penrose on us as you would then fact the usual reply...
Which begs the million dollar question:
Just what is this cunning problem that you have in mind?
:)
Shane
Eliezer S. Yudkowsky wrote:
Shane Legg wrote:
Eliezer S
holds for the
first 13.7 billion years of the universe and then reverses? It seems
very very very unlikely, but we are not 100% certain that it won't
happen.
Cheers
Shane
---
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com
but
I don't really see why doing so would make much sense.
Cheers
Shane
Daniel Colonnese wrote:
For those of us who are following the KNOW thread, could somebody
comment on the capabilities of KNOW beyond existing knowledge
representation language such as the ARFF format for the popular WEKA
defined process then it must be possible
to implement the process that the brain carries out on a Turing
machine. This is the claim of Strong AI.
Does that sounds correct to people?
Cheers
Shane
Anand AI wrote:
Hi everyone,
After having read quite a bit about the the C-T Thesis, and its
on this
first issue.
Shane
---
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com/member/?[EMAIL PROTECTED]
of complexity to deal with all the additional messiness required.
Enough rating for today! :)
Shane
---
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com/member/?[EMAIL PROTECTED]
a truck load of
complexity to an already difficult problem just seems absurd.
I guess people continue to do AI with languages like English
because that is what is of practical use and where more money
is likely to be.
Shane
---
To unsubscribe, change your address, or temporarily deactivate
, in
fact it's my PhD area)
Cheers
Shane
Alan Grimes wrote:
In 1986 Nintendo released a game called The Legend of Zelda.
It remained on the top-10 list for the next five years.
So why do I mention this totally irrelevant game on this list?
Well, I'ts become apparent that I am well suited for a niche
One addition/correction:
Shane Legg wrote:
An AGI wouldn't have this and so playing the game would be a
lot harder.
Of course and AGI *could* have this... but you need to build a
big knowledge base into your system and that's a big big job...
or custom build a knowledge base
-research.com/people/steve/
Shane
---
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com/member/?[EMAIL PROTECTED]
stuff and forget about logic and what
thinking is and all that sort of thing. This is what you see now in
many areas of AI research, Brooks and the Cog project at MIT being
one such example.
Shane
---
To unsubscribe, change your address, or temporarily deactivate your subscription,
please
there.
Shane
---
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com/member/?[EMAIL PROTECTED]
on a mathematical definition of intelligence that he's come
up with.
Cheers
Shane
--- Ben Goertzel [EMAIL PROTECTED] wrote:
Hi,
Inspired by a recent post, here is my attempt at a list of serious AGI
projects underway on the planet at this time.
If anyone knows of anything that should
94 matches
Mail list logo