What does it mean that an agent is performing a typical procedure? a formal definition in the situation calculus.
Robert DemolombeErwan HamonPublished in: AAMAS (2002)
Keyphrases
- situation calculus
- agent programming
- sensing actions
- event calculus
- action theories
- multi agent systems
- provably correct
- autonomous agents
- logical language
- multi agent
- reasoning about actions
- concurrent actions
- reasoning tasks
- multiagent systems
- modal logic
- intelligent agents
- fluent calculus
- initial state
- mobile agents
- blocks world
- agent systems
- indirect effects
- mental states
- incomplete information
- universally quantified
- dynamic environments
- taxonomic reasoning