A Linear Meta-Interpreter for Reasoning About States and Actions.
Graham WhitePublished in: Log. J. IGPL (2001)
Keyphrases
- state transitions
- initial state
- perceptual aliasing
- situation calculus
- concurrent actions
- programming language
- partial knowledge
- plan recognition
- goal directed
- rational agents
- spatial reasoning
- partially ordered
- spatio temporal
- action sequences
- state information
- reinforcement learning
- internal states
- goal state
- formal theory
- qualitative reasoning
- state transition
- finite state machines