A Logic for Specifying Stochastic Actions and Observations.
Gavin RensThomas MeyerGerhard LakemeyerPublished in: FoIKS (2014)
Keyphrases
- reasoning about actions
- partial observations
- state transitions
- situation calculus
- human actions
- decision theoretic
- action sequences
- defeasible logic
- past observations
- monte carlo
- plan recognition
- classical logic
- logical framework
- predicate logic
- action theories
- learning automata
- automated reasoning
- state transition
- goal directed
- logic programming
- neural network
- computational properties
- stochastic optimization
- stochastic model
- probability theory
- multiple agents
- action models
- stochastic domains
- bayesian networks