Отправить по sms: Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories