Progression and Verification of Situation Calculus Agents with Bounded Beliefs.
Giuseppe De GiacomoYves LespéranceFabio PatriziStavros VassosPublished in: Stud Logica (2016)
Keyphrases
- situation calculus
- sensing actions
- agent programming
- event calculus
- action theories
- initial state
- multi agent systems
- partial information
- reasoning about actions
- intelligent agents
- concurrent actions
- logical language
- multi agent
- modal logic
- modal operators
- dynamic environments
- agent systems
- blocks world
- fluent calculus
- reasoning tasks
- multiagent systems
- mobile agents
- model checking
- belief revision
- autonomous agents
- belief state
- action language
- dynamic logic
- provably correct
- high level
- software agents
- incomplete information
- planning problems
- trust model
- mental states
- game theoretic