Modular incremental modelling of belief and intention

Harry C. Bunt, Katholieke Universiteit Brabant. Instituut voor Taal- en Kennistechnologie

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 logical models for expressing knowledge or belief. The formalism is modular in that information relating to different epistemic and intentional attitudes is contained in different 'modules', with the result that only certain modules have to be consulted in order to decide whether the model represents...