Commitments, Beliefs and Intentions in Dialogue

We define grounding in terms of shared public commitments, and link public commitments to other, private, attitudes within a decidable dynamic logic for computing implicatures and predicting an agent’s next dialogue move.