Modular incremental modelling of belief and intention

by Harry C. Bunt

Abstract: "This paper describes a formalism for modular, incremental modelling of the beliefs and intentions of the human user of an intelligent interactive information system. The formalism makes use of partial models of a formal logical language with provisions for expressing epistemic and intentional attitudes, the choice of which is inspired by an analysis of the transfer of information in natural-language information-seeking dialogues. These models are designed to be incremental in the sense that the model grows as more information becomes available; this in contrast with standard...