Indirect and Conditional Sensing in the Event Calculus.
Jeremy ForthMurray ShanahanPublished in: ECAI (2004)
Keyphrases
- event calculus
- sensing actions
- situation calculus
- reasoning about actions and change
- deductive databases
- commonsense reasoning
- temporal reasoning
- domain specific knowledge
- reasoning tasks
- partially ordered
- transitive closure
- directed acyclic graph
- database
- indirect effects
- temporal databases
- initial state
- query evaluation
- domain independent
- training data