Progression with Probabilities in the Situation Calculus: Representation and Succinctness.
Daxin LiuVaishak BellePublished in: AAMAS (2024)
Keyphrases
- situation calculus
- modal logic
- event calculus
- action theories
- logical language
- reasoning about actions
- provably correct
- initial state
- fluent calculus
- reasoning tasks
- blocks world
- probability distribution
- search algorithm
- concurrent actions
- knowledge base
- decision procedures
- inference rules
- temporal logic
- logic programming
- indirect effects
- high level