Using Automated Theorem Provers to Teach Knowledge Representation in First-Order Logic

Angelo Kyrilov, David Noelle

Undergraduate students of artificial intelligence often struggle with representing knowledge as logical sentences. This is a skill that seems to require extensive practice to obtai…