Temporal Action Logic for Question Answering in an Adventure Game Temporal Action Logic for Question Answering in an Adventure Game Martin Magnusson and Patrick Doherty Artificial Intelligence and Integrated Computer Systems Linköping University, Sweden

Why Logic? AGI must be applicable to any (intellectual) problem 1.Theorem proving 2.Universality 3.Natural language If this sounds too easy to be true, you're right! Martin Magnusson, Linköping University 2

1. Theorem Proving Stumbling block The black box view turns out to be completely impractical Our proposal General natural deduction augmented with specialized rules Martin Magnusson, Linköping University 3

2. Universality Stumbling block Logic could potentially be used to build AGI, but partial solutions are useless Our proposal Computer games provide applications at all levels of difficulty Martin Magnusson, Linköping University 4

3. Natural Language Stumbling block No one has managed to build a grammar for English Our proposal Interactive parsing limits input without putting on a straight jacket Martin Magnusson, Linköping University 5

6

Logical Agents in Games Logical agents in computer games provide one avenue for useful incremental progress towards AGI Martin Magnusson, Linköping University 7

8 Thank you for your attention Read more at Read more at

Future Work Improving the grammar and parser Integrating perception, reasoning, planning, execution, and plan revision Dealing with conflicting information Accepting or rejecting delegated goals STNU execution algorithm Martin Magnusson, Linköping University 9