Αποστολή με SMS: Representing and reasoning with probabilistic knowledge