Probabilistic Situation Calculus.
Paulo MateusAntónio PachecoJavier PintoAmílcar SernadasCristina SernadasPublished in: Ann. Math. Artif. Intell. (2001)
Keyphrases
- situation calculus
- action theories
- event calculus
- initial state
- modal logic
- reasoning about actions
- provably correct
- reasoning tasks
- logical language
- blocks world
- bayesian networks
- concurrent actions
- sensing actions
- logic programs
- fluent calculus
- probabilistic logic
- partial information
- description language
- belief networks
- taxonomic reasoning