John Kelleher and Simon Dobnik: A Model for Attention-Driven Judgements in Type Theory with Records
The paper addresses the applicability of Type Theory with Records (TTR) (Cooper, 2005) to situated and embodied conversational agents. First, it highlights the problem of the combinatorial explosion of type assignment in TTR. Second, it presents a judgement control mechanism, based on the Load Theory of selective attention and cognitive control (Lavie et al., 2004), that addresses this problem. Third, it presents a computational framework, based on POMDPs (Kaelbling et al., 1998), that offers a basis for future practical experimentation on the feasibility of the proposed approach.