Optimisation and Relaxation for Multiagent Planning in the Situation Calculus.
Toby O. DaviesAdrian R. PearcePeter J. StuckeyHarald SøndergaardPublished in: AAMAS (2015)
Keyphrases
- situation calculus
- multiagent planning
- multiagent systems
- action theories
- event calculus
- mechanism design
- reasoning about actions
- initial state
- fluent calculus
- modal logic
- blocks world
- provably correct
- logical language
- concurrent actions
- objective function
- sensing actions
- learning algorithm
- action language
- indirect effects
- autonomous agents
- dynamic programming
- multi agent
- machine learning
- taxonomic reasoning