World Colleges Information

In Artificial Intelligence reasoning is often modelled on the presentation of a proof. In some domains and for some topics this is entirely appropriate, but if we look at the justifications of reasoning offered in practice, they often fall short of the standards required by proof.