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.
- Related posts on answering AI
- Charice on Ruffa & Ai | Charice