Transcript slides

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
Martin Magnusson, Linköping University
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
Read more at
www.andi-land.com
Martin Magnusson, Linköping University
Thank you for
your attention
8
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