Possible-World and Multiple-Context Semantics for Common-Sense Action Planning