A Formal Model of Opportunism Based on Situation Calculus