Difference between revisions of "List of success criteria for HRAD work"
| Line 3: | Line 3: | ||
* resembles the work of Turing, Shannon, Bayes, etc | * resembles the work of Turing, Shannon, Bayes, etc | ||
* helps AGI programmers avoid mistakes analogous to the use of null-terminated strings in C | * helps AGI programmers avoid mistakes analogous to the use of null-terminated strings in C | ||
| − | * early advanced AI systems will be understandable in terms of HRAD's formalisms [https://eaforum.issarice.com/posts/SEL9PW8jozrvLnkb4/my-current-thoughts-on-miri-s-highly-reliable-agent-design] | + | * early advanced AI systems will be understandable in terms of HRAD's formalisms [https://eaforum.issarice.com/posts/SEL9PW8jozrvLnkb4/my-current-thoughts-on-miri-s-highly-reliable-agent-design] (need to clarify what it means to be understandable in terms of a formalism) |
==See also== | ==See also== | ||
Revision as of 22:21, 1 June 2020
This page is a list of success criteria that have been proposed for HRAD work.
- resembles the work of Turing, Shannon, Bayes, etc
- helps AGI programmers avoid mistakes analogous to the use of null-terminated strings in C
- early advanced AI systems will be understandable in terms of HRAD's formalisms [1] (need to clarify what it means to be understandable in terms of a formalism)
