Common sense vs. Mathematical inference

Mathematical inference

Universally true statements

Complete reasoning

Depth-first exploration

Batch processing

Previous slide

Next slide

Back to first slide

View graphic version