Abstraction of Agents Executing Online and their Abilities in the Situation Calculus.
Bita BanihashemiGiuseppe De GiacomoYves LespérancePublished in: IJCAI (2018)
Keyphrases
- situation calculus
- agent programming
- sensing actions
- multi agent systems
- action theories
- event calculus
- concurrent actions
- multi agent
- multiagent systems
- initial state
- autonomous agents
- reasoning about actions
- provably correct
- logical language
- modal logic
- reasoning tasks
- agent systems
- incomplete information
- intelligent agents
- high level
- blocks world
- action language
- dynamic environments
- fluent calculus
- mobile agents
- game theoretic
- general purpose
- object oriented