Logic List Mailing Archive

CfA: PhD Scholarship in Logic and AI – DTU Compute, Lyngby (Denmark), Deadline: 1 Feb 2025

=== PhD scholarship in Logic and AI - DTU Compute, Copenhagen, Denmar
k ===

DTU (Technical University of Denmark) is offering a PhD scholarship in logi
c and AI within the research project Attention in Epistemic Planning. 

The project members are Gaia Belardinelli (Stanford University), Thomas Bol
ander (PI, DTU), Hans van Ditmarsch (IRIT Toulouse), Jasmin Grosinger (r
ebro University), Jens Ulrik Hansen (Roskilde University), Nir Lipovetzky (
University of Melbourne), Rineke Verbrugge (University of
Groningen) and Sebastian Watzl (University of Oslo). Your principal supervi
sor will by Thomas Bolander. 

Short project description: The project takes departure in epistemic plannin
g based on dynamic epistemic logic (DEL), a line of research within symboli
c 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 log
ical models of attention with the aim of 1) achieving better computational 
complexity and practical efficiency; 2) allow robots to reason about the li
mited attention of humans. The project will take inspiration from theories 
of human attention from philosophy and cognitive science and build models o
f dynamic epistemic logic that represent crucial aspects of attention, incl
uding its boundedness, its selectiveness, and the distinction between top-d
own and bottom-up attention. The main formalisms and algorithms developed w
ill be based on dynamic epistemic logic that will both be investigated theo
retically and implemented in a robotic setup.

*Responsibilities and qualifications*

Your job will be to:

* assist in developing formal logical models of attention, using mainly dyn
amic epistemic logic (DEL);
* assist in developing theoretical frameworks, algorithms and implementatio
ns of attention-based epistemic planning, and investigate the (theoretical 
and practical) efficiency of the developed algorithms;
* be main responsible for implementing attention-based epistemic planning i
n multi-agent simulations and humanoid robots, and evaluate the dynamics an
d quality of agent interactions (including human-robot interaction).

Successfully completing these tasks requires skills in many areas of comput
er science (broadly conceived), including programming, algorithms, discrete
 mathematics, automated planning (symbolic AI), logic, machine learning and
 robotics. The ideal candidate has expertise in all of these. As the projec
t has an interdisciplinary flavour  involving project members with exper
tise in philosophy, cognitive science, computer science, AI (symbolic AI an
d machine learning), logic, and robotics  having an interdisciplinary ou
tlook will be an advantage. 


For more information and for applying (deadline 1 February 2025), please go
 to thispage:https://efzu.fa.em2.oraclecloud.com/hcmUI/CandidateExperien
ce/en/sites/CX_1/job/4447/?utm
_medium=jobshare
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php