Smarter Games through Logic
Logical Agents aims to develop artificial intelligence middleware that enables computer game characters to act intelligently without being told exactly what to do in each possible situation.
Our approach is to apply results from research in logic-based AI. The characters are equipped with some genuine understanding of their environment expressed in a logic of action and change. This general knowledge is then applied to the specific situations using automated theorem proving techniques.
We apply the technology in a computer adventure game concept where the player's natural language input and commands engage the game characters in question answering, reasoning, and planning.
