It doesn’t have to be true. It’s desirable because decision procedures that rely on other knowledge about reality are faster/better/cheaper than ones that don’t import knowledge about reality. Specialization for the situation you find yourself in is often useful, though it does limit flexibility.
It doesn’t have to be true. It’s desirable because decision procedures that rely on other knowledge about reality are faster/better/cheaper than ones that don’t import knowledge about reality. Specialization for the situation you find yourself in is often useful, though it does limit flexibility.