Action-State Semantics for Practical Reasoning