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.
UCckfyog_-zyeR5WoWKhc_XQ
source
Artificial intelligence that makes YOU think
