Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic.
Laura GiordanoAlberto MartelliPublished in: AI*IA (2007)
Keyphrases
- action selection
- practical reasoning
- transition systems
- linear temporal logic
- communicative acts
- model checking
- multi agent systems
- intelligent agents
- autonomous agents
- multiagent systems
- partial observations
- joint action
- spatio temporal
- temporal information
- reasoning engine
- multi agent
- dynamic logic
- logic programming
- spatial and temporal
- reasoning about actions
- plan execution
- action selection mechanism
- interaction protocols
- multiple agents
- agent systems
- agent model
- temporal data
- human actions
- external events
- decision making
- space time
- internal state
- sensing actions
- temporal relations
- dynamic environments
- mobile agents
- software agents
- atomic actions
- temporal logic
- state action
- agent programming
- modal logic
- communication protocols
- partially observable
- logic programs
- video sequences
- reinforcement learning