A Situation-Calculus Based Theory of Justified Knowledge and Action.
Richard B. ScherlPublished in: AAAI Spring Symposia (2015)
Keyphrases
- situation calculus
- action theories
- sensing actions
- reasoning about actions
- fluent calculus
- logical theories
- initial state
- concurrent actions
- event calculus
- modal operators
- domain knowledge
- indirect effects
- provably correct
- action language
- knowledge base
- blocks world
- general purpose
- logical language
- reasoning tasks
- integrity constraints
- probability distribution
- general theory
- logic programming
- modal logic