Causality and Counterfactuals in the Situation Calculus.
Mark HopkinsJudea PearlPublished in: J. Log. Comput. (2007)
Keyphrases
- situation calculus
- logical language
- causal models
- indirect effects
- event calculus
- initial state
- action theories
- concurrent actions
- reasoning about actions
- reasoning tasks
- blocks world
- fluent calculus
- provably correct
- modal logic
- formal semantics
- directed acyclic graph
- general purpose
- heuristic search
- universally quantified