From logical inference to decision trees in medical diagnosis | Synapse