It seems there’s some question about whether you can phrase deontological rules consequentially—to make this more formal that needs to be settled. My first thought is that the formal version of this would say something along the lines of “you can achieve an outcome that differs by only X%, with a translation function that takes rules and spits out a utility function, which is only polynomially larger.” It’s not clear to me how to define a domain in such a way as to allow you to compute that X%.
...unfortunately, as much as I would like to see people discuss the moral landscape instead of the best way to describe it, I have very little time lately. :/
Check out the previous discussion Luke linked to: http://lesswrong.com/lw/c45/almost_every_moral_theory_can_be_represented_by_a/
It seems there’s some question about whether you can phrase deontological rules consequentially—to make this more formal that needs to be settled. My first thought is that the formal version of this would say something along the lines of “you can achieve an outcome that differs by only X%, with a translation function that takes rules and spits out a utility function, which is only polynomially larger.” It’s not clear to me how to define a domain in such a way as to allow you to compute that X%.
...unfortunately, as much as I would like to see people discuss the moral landscape instead of the best way to describe it, I have very little time lately. :/
Ok. If I ever get to work with this I will let you know, perhaps you can help/join.