Semantics of belief change operators for intelligent agents[electronic resource] :iteration, postulates, and realizability