Epistemic Approach to Actions with Typical Effects

We study a problem of actions with typical, but not certain effects. We show how this kind of actions can be incorporated in a dynamic/epistemic multi-agents system in which the knowledge, abilities and opportunities of agents are formalized as well as the results of actions they perform. To cope with complexity of a rational agent behaviour, we consider scenarios composed of traditionally viewed basic actions and atomic actions with typical effects. We focus on a specific type of scenarios reflecting a “typical” pattern of an agent's behaviour. Adopting a model-theoretic approach we formalize a nonmonotonic preferential strategy for these scenarios in order to reason about the final results of their realizations.