AW: AW: Defining AGI (was Re: AW: [agi] META: A possible re-focusing of this list)

[Dr. Matthias Heger]

In my opinion, the domain of software development is far too ambitious for
the first AGI.
Software development is not a closed domain. The AGI will need at least
knowledge about the domain of the problems for which the AGI shall write a
program.

The English interface is nice but today it is just a dream. An English
interface is not needed for a proof of concept for first AGI. So why to make
the problem harder as it already is? 

The domain of mathematics is closed but can be extended by adding more and
more definitions and axioms which are very compact. The interface could be
very simple. And thus you can mainly concentrate to build the kernel AGI
algorithm.

-Matthias


Trent Waddington [mailto:[EMAIL PROTECTED]  wrote

Yes, I'd want it to have an English interface.. because I'd also
expect it to be able to read comments and commit messages in the
revision control and the developer mailing lists, etc.  Open Source
programmers (and testers!) are basically disembodied but they get
along just fine.

I'd also expect it to be able to see windows and icons and all those
other things that are part of software these days.  I wouldn't expect
it to be able to test a program and say whether it was working
correctly or not if it couldn't even see it running and interact with
it.  Of course, if you're testing command line apps you could get away
with a much simpler sensor.

Trent




---
agi
Archives: https://www.listbox.com/member/archive/303/=now
RSS Feed: https://www.listbox.com/member/archive/rss/303/
Modify Your Subscription: 
https://www.listbox.com/member/?member_id=8660244id_secret=117534816-b15a34
Powered by Listbox: http://www.listbox.com

AW: AW: Defining AGI (was Re: AW: [agi] META: A possible re-focusing of this list)

[Dr. Matthias Heger]

My intention is not to define intelligence. I choose mathematics just as a
test domain for first AGI algorithms.

The reasons:
1. The domain is well understood.
2. The domain has regularities. Therefore a high intelligent algorithm has a
chance to outperform less intelligent algorithms
3. The domain can be modeled easily by software.
4. The domain is non-trivial. Current algorithms fail for hard problems in
this domain because of the exponential growing complexity.
5. The domain allows a comparison with performance of human intelligence.


To decide, whether you have an AGI or not, you also have to evaluate the
proofs and not only the fact whether it could prove something or not.

For example, the formula 1+2+3+...+n = 0.5*n*(n+1) can be proven by seeing a
pattern:

1 +  2+   3   + ... + n-2   +  n-1   +   n +

n + (n-1) + (n-2) + ..  +  3+   2+   1 =

(n+1) + (n+1) + (n+1) + ... +(n+1)  +  (n+1) +  (n+1)

= n*(n+1)

AGI will differ from AI by often using such pattern based proofs.
An AGI based theorem prover represents expressions by patterns. When it
comes to prove a certain formula, patterns of known expressions and rules
become active or inactive. 

-Matthias

Matt Mahoney wrote:

Goedel and Turing showed that theorem proving is equivalent to solving the
halting problem. So a simple measure of intelligence might be to count the
number of programs that can be decided. But where does that get us? Either
way (as as set of axioms, or a description of a universal Turing machine),
the problem is algorithmically simple to describe. Therefore (by AIXI) any
solution will be algorithmically simple too.

If you defined AGI this way, what would be your approach?

-- Matt Mahoney, [EMAIL PROTECTED]



---
agi
Archives: https://www.listbox.com/member/archive/303/=now
RSS Feed: https://www.listbox.com/member/archive/rss/303/
Modify Your Subscription:
https://www.listbox.com/member/?;
Powered by Listbox: http://www.listbox.com



---
agi
Archives: https://www.listbox.com/member/archive/303/=now
RSS Feed: https://www.listbox.com/member/archive/rss/303/
Modify Your Subscription: 
https://www.listbox.com/member/?member_id=8660244id_secret=117534816-b15a34
Powered by Listbox: http://www.listbox.com