A Logic for Specifying Agent Actions and Observations with Probability.
Gavin RensGerhard LakemeyerThomas MeyerPublished in: STAIRS (2012)
Keyphrases
- partial observations
- multiple agents
- action selection
- state transitions
- decision theoretic
- probability theory
- partially observable
- goal directed
- multi agent systems
- quantum computation
- agent behavior
- cognitive agents
- world model
- multi agent
- autonomous agents
- external events
- subjective probabilities
- probability distribution
- reasoning engine
- multiagent systems
- state transition
- plan library
- multiagent reinforcement learning
- reasoning about actions
- agent programming
- simulated robot
- rational agents
- reinforcement learning
- learning agent
- plan recognition
- agent model
- current situation
- reward function
- logic programming
- intelligent agents
- modal logic
- dynamic logic
- agent technology
- situation calculus
- interacting agents
- nonmonotonic logics
- agent receives
- joint action
- action models
- state action
- initially unknown
- agent architecture
- incomplete knowledge
- temporally extended
- communicative acts
- decision making
- stochastic domains
- mobile agents
- optimal policy
- action theories
- reasoning process
- selective perception