Uncertainty Reasoning AND Logic
Common descendants