Expressing Transactions with Savepoints as Non-Markovian Theories of Actions.
Iluju KiringaAlfredo GabaldonPublished in: KRDB (2003)
Keyphrases
- situation calculus
- action theories
- decision processes
- temporally extended
- concurrent execution
- decision theoretic
- reward function
- database
- stochastic process
- partially observable domains
- reasoning about actions
- initial state
- databases
- plan recognition
- reinforcement learning
- transaction processing
- concurrency control
- theoretical framework
- sensing actions
- machine learning
- action selection
- transaction management
- data structure
- knowledge base
- decision making