Hi, I have written two essays on the nature of future AGI's that are smart enough to use theorem-proving to guide their every action:
http://www.realai.net/ITSSIM.pdf http://www.realai.net/GoalGeneralization.pdf Yes, we are a long way from there now! But it's always fun to speculate.... The two essays are a series; by the end of the second one things get fairly interesting... -- Ben G ------- To unsubscribe, change your address, or temporarily deactivate your subscription, please go to http://v2.listbox.com/member/[EMAIL PROTECTED]
