Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability