Natural Actions, Concurrency and Continuous Time in the Situation Calculus.
Raymond ReiterPublished in: KR (1996)
Keyphrases
- situation calculus
- action theories
- reasoning about actions
- event calculus
- initial state
- concurrent actions
- sensing actions
- reasoning tasks
- fluent calculus
- indirect effects
- modal logic
- markov chain
- provably correct
- state space
- dynamical systems
- agent programming
- logical language
- database systems
- optimal control
- action language
- blocks world
- modal operators
- general purpose
- knowledge base