arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2002.06000cs.AIcs.LGcs.LOcs.MA

Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning

Imperial College London(帝国理工学院)

Borja G. León, Francesco Belardinelli

英文摘要:

The combination of Formal Methods with Reinforcement Learning (RL) has recently attracted interest as a way for single-agent RL to learn multiple-task specifications. In this paper we extend this convergence to multi-agent settings and formally define Extended Markov Games as a general mathematical model that allows multiple RL agents to concurrently learn various non-Markovian specifications. To introduce this new model we provide formal definitions and proofs as well as empirical tests of RL algorithms running on this framework. Specifically, we use our model to train two different logic-based multi-agent RL algorithms to solve diverse settings of non-Markovian co-safe LTL specifications.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑