On Thu, Jun 26, 2008 at 6:12 AM, Steve Richfield <[EMAIL PROTECTED]> wrote: > Perhaps we could create a short database (maybe only a dozen or so entries) > of sample queries, activities, tasks, etc., that YOU would like to see YOUR > future AGIs performing to earn their electricity.
The approach I have in mind is to start with reasoning about algorithms, so possible tasks for a medium-term AI might include: Prove simple theorems. Given a formal specification, write a program that meets it. Given the rules of a game, write a program that can play it with modest skill. Design cellular automata to carry out a given task, or estimate whether a given CA has certain properties or can be made to do certain things. Estimate a lower bound for values of the busy beaver function for small N. Analyze the correctness of a program relative to a formal spec. In the longer term, once it gets to the point of being able to usefully handle visual/spatial information, its capabilities might include: Searching photographs without being limited to human labeling. Design of physical artifacts. Checking of human-created or machine-assisted designs. Watching a security camera feed, ignoring benign activity but alerting a human operator in the event of suspicious activity. Programming robots to carry out tasks in e.g. transport and construction. ------------------------------------------- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: http://www.listbox.com/member/?member_id=8660244&id_secret=106510220-47b225 Powered by Listbox: http://www.listbox.com