A Model for Attention-Driven Judgements in Type Theory with Records

Simon Dobnik, John D. Kelleher

Research output: Contribution to conferencePaperpeer-review

Abstract

This paper makes three contributions to the discussion on the applicability of Type Theory with Records (TTR) to embodied dialogue agents. First, it highlights the problem of type assignment or judgements in practical implementations which is resource intensive. Second, it presents a judgement control mechanism, which consists of grouping of types into clusters or states by their thematic relations and selection of types following two mechanisms inspired by 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 Bayesian inference, that offers a basis for future practical experimentation on the feasibility of the proposed approach.
Original languageEnglish
DOIs
Publication statusPublished - 2016
EventThe 20th Workshop on the Semantics and Pragmatics of Dialogue - New Brunswick, NJ, United States
Duration: 16 Jul 201618 Jul 2016

Conference

ConferenceThe 20th Workshop on the Semantics and Pragmatics of Dialogue
Country/TerritoryUnited States
CityNew Brunswick, NJ
Period16/07/1618/07/16

Keywords

  • Type Theory with Records
  • embodied dialogue agents
  • type assignment
  • judgements
  • judgement control mechanism
  • Load Theory
  • selective attention
  • cognitive control
  • Bayesian inference

Fingerprint

Dive into the research topics of 'A Model for Attention-Driven Judgements in Type Theory with Records'. Together they form a unique fingerprint.

Cite this