Progression and verification of situation calculus agents with bounded beliefs.
Giuseppe De GiacomoYves LespéranceFabio PatriziStavros VassosPublished in: AAMAS (2014)
Keyphrases
- situation calculus
- sensing actions
- agent programming
- event calculus
- initial state
- action theories
- reasoning about actions
- multi agent
- multi agent systems
- concurrent actions
- modal logic
- fluent calculus
- reasoning tasks
- dynamic logic
- planning problems
- partial information
- multiagent systems
- agent systems
- autonomous agents
- mobile agents
- intelligent agents
- modal operators
- provably correct
- logical language
- incomplete information
- general purpose
- dynamic environments
- blocks world
- trust model
- dynamic programming
- high level