Incomplete reasoning

Traditional logic looks for

Consistency (can’t prove a statement and its contradiction)

Completeness

Common sense inference is neither consistent nor complete

Previous slide

Next slide

Back to first slide

View graphic version