Incomplete Causal Laws in the Situation Calculus Using Free Fluents.
Marcelo ArenasJorge A. BaierJuan S. NavarroSebastian SardiñaPublished in: IJCAI (2016)
Keyphrases
- situation calculus
- indirect effects
- event calculus
- concurrent actions
- action theories
- reasoning about actions
- initial state
- provably correct
- reasoning tasks
- modal logic
- bayesian networks
- fluent calculus
- universally quantified
- logical language
- blocks world
- agent programming
- sensing actions
- high level
- directed acyclic graph
- taxonomic reasoning