Sensor fusion in the epistemic situation calculus.
Christoph SchweringTim NiemuellerGerhard LakemeyerNichola AbdoWolfram BurgardPublished in: J. Exp. Theor. Artif. Intell. (2016)
Keyphrases
- sensor fusion
- situation calculus
- modal operators
- mobile robot
- event calculus
- initial state
- action theories
- multi sensor
- modal logic
- reasoning tasks
- real time
- reasoning about actions
- concurrent actions
- monitoring system
- logical language
- provably correct
- sensing actions
- fluent calculus
- agent programming
- blocks world
- inertial sensors
- domain independent
- universally quantified
- low level