Artificial intelligence that makes you think

The ANDI-Land project aims to develop a computer adventure game where players solve simple puzzles through conversation with artificially intelligent characters who inhabit a simulated world. These characters, called ANDIs, understand their world using logic and reason about it using automated theorem proving techniques.