Quick attempt at rough ontology translation between how I understand your comment, and the original post. (Any of you can correct me if I’m wrong)
I think what would typically count as “principles” in Eliezer’s meaning are 1. designable things which make the “true corrigibility” basin significantly harder to escape, e.g. by making it deeper 2. designable things which make the “incorrigible” basin harder to reach, e.g. by increasing the distance between them, or increasing the potential barrier 3. somehow, making the “incorrigible” basin less lethal 4. preventing low-dimensional, low-barrier “tunnels” (or bridges?) between the basins
Eg some versions of “low impact” often makes the “incorrigible” basin harder to reach, roughly because “elaborate webs of deceptions an coverups” may require complex changes to the environment. (Not robustly)
In contrast, my impression is, what does not count as “principles” are statements about properties which are likely true in the corrigibility basin, but don’t seem designable—eg “corrigible AI does not try to hypnotize you”. Also the intended level of generality likely is: more specific than “make the basin deeper” and more general than “
Btw my impression is what makes the worst-case scenario hard to robustly solve is basically #4 from the list above. Otherwise there are many ways how to make the basin work “in most directions”.
Quick attempt at rough ontology translation between how I understand your comment, and the original post. (Any of you can correct me if I’m wrong)
I think what would typically count as “principles” in Eliezer’s meaning are
1. designable things which make the “true corrigibility” basin significantly harder to escape, e.g. by making it deeper
2. designable things which make the “incorrigible” basin harder to reach, e.g. by increasing the distance between them, or increasing the potential barrier
3. somehow, making the “incorrigible” basin less lethal
4. preventing low-dimensional, low-barrier “tunnels” (or bridges?) between the basins
Eg some versions of “low impact” often makes the “incorrigible” basin harder to reach, roughly because “elaborate webs of deceptions an coverups” may require complex changes to the environment. (Not robustly)
In contrast, my impression is, what does not count as “principles” are statements about properties which are likely true in the corrigibility basin, but don’t seem designable—eg “corrigible AI does not try to hypnotize you”. Also the intended level of generality likely is: more specific than “make the basin deeper” and more general than “
Btw my impression is what makes the worst-case scenario hard to robustly solve is basically #4 from the list above. Otherwise there are many ways how to make the basin work “in most directions”.