Ian Parker wrote >> Then define your political objectives. No holes, no ambiguity, no >> forgotten cases. Or does the AGI ask for our feedback during mission? >> If yes, down to what detail? > > With Matt's ideas it does exactly that.
How does it know when to ask? You give it rules, but those rules can be somehow imperfect. How are its actions monitored and sanctioned? And hopefully it's clear that we are now far from mathematical proof. > No we simply add to the axiom pool. Adding is simple, proving is not. Especially when the rules, goals, and constraints are not arithmetic but ontological and normative statements. Wether by NL or formal system, it's error-prone to specify our knowledge of the world (much of it is implicit) and teach it to the AGI. It's similar to law which is similar to math with referenced axioms and definitions and a substitution process. You often find flaws--most are harmless, some are not. Proofs give us islands of certainty in an explored sea within the ocean of the possible. We end up with heuristics. That's what this discussion is about, when I remember right. :) cu Jan ------------------------------------------- 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=8660244&id_secret=8660244-6e7fb59c Powered by Listbox: http://www.listbox.com
