Temporal Action Logic for Question

1
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
2
Why Logic?

• AGI must be applicable to any (intellectual)
  problem
• Theorem proving
• Universality
• Natural language
• If this sounds too easy to be true, you're right!

3
1. Theorem Proving

• Stumbling block
• The black box view turns out to be completely
  impractical
• Our proposal
• General natural deduction augmented with
  specialized rules

4
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

5
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

6
(No Transcript)
7
Logical Agents in Games

• Logical agents in computer games provide one
  avenue for useful incremental progress towards AGI

8
Read more at www.andi-land.com
Thank you foryour attention
9
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