An Abstract Machine for Reasoning about Situations, Actions, and Causality.
Kerstin EderSteffen HölldoblerMichael ThielscherPublished in: ELP (1996)
Keyphrases
- abstract machine
- causal reasoning
- concurrent actions
- indirect effects
- data model
- temporal ordering
- current situation
- spatial reasoning
- real world
- situation calculus
- plan recognition
- cognitive agents
- rational agents
- past experience
- qualitative reasoning
- reasoning about actions
- database
- formal theory
- causal links
- initial state
- decision theoretic
- planning problems
- decision making
- data mining
- data sets