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.
Most computer games that feature a dialog element rely on questions and replies that are scripted beforehand. In ANDI-Land, questions and commands are translated from English into logic and back again to make dialog possible. This creates an environment where you are free to choose yourself what to say and ask.
Such freedom requires that the computer characters possess a genuine understanding of the questions and the parts of the simulated world that they refer to. Since the environment is more complex than regular AI benchmark problems, the game serves as an excellent source of challenging research problems in a fun and concrete context.
