Envoyer par SMS: Abductive reasoning by constructing prohabilistic deduction graphs for solving the diagnosis problem.