Probabilistic Type Theory for Incremental Dialogue Processing

We present an adaptation of recent work on probabilistic Type Theory with Records After presenting the formalism and dialogue framework, we show how probabilistic TTR type judgements can be integrated into the inference system of an incremental dialogue system, and discuss how this could be used to guide parsing and dialogue management decisions.