Belief Dynamics in Cooperative Dialogues

@article{Herzig2000BeliefDI,
  title={Belief Dynamics in Cooperative Dialogues},
  author={Andreas Herzig and Dominique Longin},
  journal={J. Semant.},
  year={2000},
  volume={17},
  pages={91-115}
}
We investigate how belief change in cooperative dialogues can be handled within a modal logic of action, belief, and intention. We first review the main approaches of the literature, and point out some of their shortcomings. We then propose a new framework for belief change. Our basic notion is that of a contextual topic: we suppose that we can associate a set of topics with every agent, speech act, and formula. This allows us to talk about an agent's competence, belief adoption, and belief… 
Beliefs, Intentions, Speech Acts and Topics
We study the dynamics of belief in cooperative task-oriented manmachine dialogues. We suppose that during the dialogue each participant can mistake a piece of information, forget it or simply change
Dialogue Understanding in a Logic of Action and Belief
TLDR
Both aspects of the architecture of UMBRA are analyzed in terms of the Situation Calculus — a classicallogic for reasoning about dynamical systems — and some properties of this formalization that are desirable for the task of incremental dialogue understanding are state.
Reasoning about Self and Others: Communicating Agents in a Model Action Logic
TLDR
This work shows how to embed a theory of communicative actions in the framework of a modal logic of action and beliefs, to specify software agents that, situated in a multi-agent environment, can interact with one another by a speech act based communication mechanism.
Mutual enrichment through nested belief change
TLDR
This short paper proposes a logical framework for the acquisition process of nested beliefs and preferences, and provides an informal outline of the framework, guided by an intuitive running example.
A logic of intention with cooperation principles and with assertive speech acts as communication primitives
TLDR
A new logic of intention is given where intention is a primitive modal operator having a non-normal possible worlds semantics and principles of cooperation are formulated allowing an agent to infer new intentions from his beliefs about other agents' intentions.
A topic-based framework for rational interaction
Our framework is what we call an “intentional approach” of di alogue (Cohen & Levesque, 1990a; Sadek, 1991; Sadek, 1992; Rao & Georgeff, 1992). This approach is based on theories of Intentionality
Intention et principes de coopération pour le traitement des requêtes et des questions fermées au travers des assertifs
TLDR
This paper proposes a simple framework for communication allowing nevertheless to handle task-oriented dialogues and presents the philosophical justifications of such an inference mechanism, which is formalised in an epistemic dynamic logic.
Structures sémantiques et pragmatiques pour la modélisation de la cohérence dans des dialogues finalisés. (Semantic and Pragmatic structures for modelling coherence in task-oriented dialogues)
TLDR
This study takes dialogue as a kind of discourse and focuses on its coherence, and considers coherence to be associated with relationship between utterances and the extra-linguistic context, resulting in a dynamic framework for dialogue coherence.
C&L Intention Revisited
TLDR
The 1990 papers of Cohen and Levesque on rational interaction are revisit in a simplified, propositional logic, for which they give complete axiomatization, and the definition of achievement goals is studied, refining C&L's analysis.
A common ontology of agent communication languages: Modeling mental attitudes and social commitments using roles
TLDR
This paper proposes a common ontology for both approaches based on public mental attitudes attributed to role instances, and illustrates how to extend the ontology to a semantics for agent communication and how to define mappings from existing semantics to the new one.
...
...

References

SHOWING 1-10 OF 58 REFERENCES
Beliefs, Intentions, Speech Acts and Topics
We study the dynamics of belief in cooperative task-oriented manmachine dialogues. We suppose that during the dialogue each participant can mistake a piece of information, forget it or simply change
Belief Reconstruction in Cooperative Dialogues
TLDR
A new framework for the reconstruction of beliefs is presented which contrarily to Perrault's and Sadek's is monotonic and focuses on a particular application, viz. cooperative man-machine dialogues.
ARTIMIS: Natural Dialogue Meets Rational Agency
TLDR
An effective generic communicating rational agent, ARTIMIS, and its application to cooperative spoken dialogue is presented and includes specialised components for speech and natural language processing.
Towards a theory of belief reconstruction: Application to communication
  • M. Sadek
  • Philosophy
    Speech Communication
  • 1994
Modeling Rational Agents within a BDI-Architecture
TLDR
A formalization of intentions based on a branching-time possible-worlds model is presented and it is shown how the formalism realizes many of the important elements of Bratman's theory of intention.
Intention is Choice with Commitment
Effective human-computer cooperative spoken dialogue: the AGS demonstrator
TLDR
A spoken dialogue system based on a generic specification of a cooperative communicating rational agent and an evaluation of the system with naive users on the task of voice services directory (AGS) inquiry is given.
A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft
TLDR
The possible-worlds semantics for propositional logics of knowledge and belief is reviewed and it is shown that while the problem of deciding satisfiability of an S5 formula with one knower is NP-complete, the problem for many knowers is PSPACE-complete.
Formalizing Action and Change in Modal Logic I: the frame problem
TLDR
This paper presents the basic framework of a logic of actions and plans in terms of modal logic combined with a notion of dependence, and gives the semantics and associate an axiomatics and a decision procedure to it.
Modal Tableaux for Reasoning About Actions and Plans
TLDR
The framework is a multimodal language close to that of propositional dynamic logic, wherein the frame problem is solved by introducing the notion of dependence as a weak causal connection between actions and atoms.
...
...