Documenti analoghi: Abductive reasoning by constructing prohabilistic deduction graphs for solving the diagnosis problem.