Also:
¬(P(X|A) = P(¬X|A) = 1)
Therefore, for any evidence A, Value of information > 0.
Contradictions are not failure conditions in trivialsim.
I wasn't positing this as a failure condition within trivialism, but of trivialism.
According to what I'm seeing here, a perfectly trivialist agent sees no difference between the truth of dying when shooting themselves in the head, the truth of not dying when shooting themselves in the head, and the truth of dying and not dying when being alive. No imaginable action can have any effect on the world, because everything is true, and so there's no real reason to do anything, including living. This too is true, as is the opposite, to said agent.
Basically, a t...
Straight from Wikipedia.
I just had to stare at this a while. We can have papers published about this, we really ought to be able to get papers published about Friendly AI subproblems.
My favorite part is at the very end.
Trivialism is the theory that every proposition is true. A consequence of trivialism is that all statements, including all contradictions of the form "p and not p" (that something both 'is' and 'isn't' at the same time), are true.[1]
[edit]See also
[edit]References
[edit]Further reading