Agent Abstraction via Forgetting in the Situation Calculus.
Kailun LuoYongmei LiuYves LespéranceZiliang LinPublished in: ECAI (2020)
Keyphrases
- situation calculus
- agent programming
- sensing actions
- event calculus
- multi agent
- initial state
- reasoning about actions
- multi agent systems
- fluent calculus
- multiagent systems
- action theories
- intelligent agents
- mobile agents
- autonomous agents
- agent systems
- concurrent actions
- high level
- blocks world
- reasoning tasks
- modal logic
- provably correct
- agent technology
- partial information
- dynamic logic
- logical language
- dynamic environments
- learning agent
- game theoretic
- partial observability
- planning problems
- taxonomic reasoning