Logic, Probability and Action: A Situation Calculus Perspective.
Vaishak BellePublished in: CoRR (2020)
Keyphrases
- situation calculus
- action theories
- reasoning about actions
- fluent calculus
- modal logic
- concurrent actions
- initial state
- action language
- event calculus
- indirect effects
- sensing actions
- agent programming
- modal operators
- dynamic logic
- probability theory
- probability distribution
- logical theories
- logic programming
- predicate logic
- reasoning tasks
- logical language
- provably correct
- incomplete information
- inference rules
- logic programming language
- temporal logic
- taxonomic reasoning
- blocks world
- classical logic
- automated reasoning
- description language
- programming language