Aleatoric Dynamic Epistemic Logic for Learning Agents.

Tim French Andrew Gozzard Mark Reynolds

Published in: PRICAI (1) (2019)

Keyphrases

learning agents
dynamic epistemic logic
epistemic logic
reinforcement learning
multi agent
single agent
complex environments
multi agent systems
multiagent systems
autonomous agents
learning algorithm
learning agent
logical framework
formal semantics
model checking
modal logic
cooperative
machine learning