Situation Calculus Game Structures and GDL.
Giuseppe De GiacomoYves LespéranceAdrian R. PearcePublished in: ECAI (2016)
Keyphrases
- situation calculus
- event calculus
- action theories
- initial state
- logical language
- provably correct
- reasoning tasks
- concurrent actions
- reasoning about actions
- fluent calculus
- modal logic
- blocks world
- video games
- taxonomic reasoning
- general game playing
- game playing
- computer games
- game theory
- agent programming
- sensing actions
- description language
- game tree search
- game play
- nash equilibrium
- search algorithm