La conclusion est qu'il est possible de démontrer que, même avec l'ajout du seul raisonnement probabiliste, il n'est pas possible de déterminer des diagnostics exacts, donc d'autres enrichissements sont recherchés pour notre langage. | La conclusion est qu'il est possible de démontrer que, même avec l'ajout du seul raisonnement probabiliste, il n'est pas possible de déterminer des diagnostics exacts, donc d'autres enrichissements sont recherchés pour notre langage. |