Abstract

This study aims to develop systems of belief revision in which acquisition of knowledge and interactive aspects of meaning are captured as a set of questions and answers with respect to an initial set of assumptions expressed in the object language. This process is performed by a progressive deployment of hypothetical insights contained in a context of interaction of information received by an agent. This study also gives the opportunity to express interactive aspects of meaning in semantics tableaux. And thus highlights the notions of speech acts by the connection between tableaux and dialogues in the context of belief revision.