Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus.
Richard B. ScherlPublished in: IJCAI (2003)
Keyphrases
- concurrent actions
- situation calculus
- modal operators
- sensing actions
- planning problems
- event calculus
- action language
- action theories
- description language
- initial state
- fluent calculus
- reasoning about actions
- domain knowledge
- knowledge base
- indirect effects
- modal logic
- expert systems
- state space
- probability distribution