PhD position on epistemic planning at DTU, Copenhagen (Denmark)

DTU (Technical University of Denmark) is offering a PhD scholarship in logic and AI within the research project Attention in Epistemic Planning. Your principal supervisor will by Thomas Bolander.

The project takes departure in epistemic planning based on dynamic epistemic logic (DEL), a line of research within symbolic AI initiated by the PI in 2011. It allows agents, e.g. robots, to reason about other agents, e.g. humans, as part of their planning process. The crucial novelty of the proposed project is to develop and integrate logical models of attention with the aim of 1) achieving better computational complexity and practical efficiency; 2) allow robots to reason about the limited attention of humans.