Belief Reconstruction in Cooperative Dialogues

  title={Belief Reconstruction in Cooperative Dialogues},
  author={Luis Fari{\~n}as del Cerro and Andreas Herzig and Dominique Longin and Omar Rifi},
We investigate belief change in the context of man-machine dialogue. We start from Perrault's approach to speech act theory [12], which proposes on default mechanisms for the reconstruction of the agents' beliefs. Then we review Sadek's [16] critiques and introduce his approach. We point out some shortcomings and present a new framework for the reconstruction of beliefs which contrarily to Perrault's and Sadek's is monotonic. We focus on a particular application, viz. cooperative man-machine… 
Belief Dynamics in Cooperative Dialogues
This work investigates how belief change in cooperative dialogues can be handled within a modal logic of action, belief, and intention, and proposes a new framework for belief change based on that of a contextual topic.
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
A logical approach for describing (dis)belief change and message processing
  • Laurent Perrussel, J. Thévenin
  • Economics
    Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004.
  • 2004
A logic-based framework for handling messages and (dis)beliefs change is surveyed and the consequences of tell and untell performatives are formally described.
Reconstructing an Agent's Epistemic State from Observations
This work constructs a model of the agent that "best explains" an observation of how the agent has responded to some sequence of previous belief revision inputs over time, and provides an algorithm which computes this best explanation.
A method for reasoning about other agents' beliefs from observations
The results are based on the assumption that the agent employs a specific, but plausible, belief revision framework when incorporating new information.
(Dis)Belief Change and Feed-Back loop
This paper focuses on the features of belief change in a multi-agent context where agents consider beliefs and disbeliefs. Agents receive messages holding information from other agents and change
(Dis)Belief Change and Feed-Back Loop
This paper focuses on the features of belief change in a multi-agent context where agents consider beliefs and disbeliefs, and describes a process of justification where an agent states their preferences to the sender of the rejected information.
A Modal Framework for Relating Belief and Signed Information
A modal framework for reasoning about signed information is proposed, which allows agents to keep track of information source as long as they receive information in a multi-agent system.
From Signed Information to Belief in Multi-Agent Systems
As long as agents receive information in a multi-agent system, they keep track of the information source and consider a reliability relation over the sources of information, agents can justify their own current belief state.
Building a Problem Library for First-Order Modal Logics
The main purpose of the QMLTP library is to put the testing and evaluation of automated theorem proving (ATP) systems for first-order modal logic on a firm basis, make meaningful system evaluations and comparison possible, and to measure practical progress in ATP for modal logics.


General Semantics.
It was felt as gratifying to the group leader to find that most of the members had treated nearly all the 'questions' as nonsense, and the next meeting will consider differences between sense and nonsense.
Modal Tableaux for Reasoning About Actions and Plans
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.
A Logic for Default Reasoning
  • R. Reiter
  • Philosophy, Computer Science
    Artif. Intell.
  • 1980
A New Introduction to Modal Logic
This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic with all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing clarity of exposition and approachability.
On Sentences of the Kind “Sentence ‘ P ’ is about Topic T ”
In philosophy, and in the study of non-classical logics, a good deal of interest has been shown in the phenomenon of aboutness, and in the formal explication of the idea that a given sentence is
Modal Tableaux with Propagation Rules and Structural Rules
While usual modal tableaux are based on trees, the basic structures are rooted directed acyclic graphs (RDAG), which allows natural tableau rules for some modal logics that are difficult to capture in the usual way.
Modal Logic - An Introduction
This chapter discusses standard models for modal logics, classical systems of modal logic, and Determination and decidability for classical systems.
How to do things with words
* Lecture I * Lecture II * Lecture III * Lecture IV * Lecture V * Lecture VI * Lecture VII * Lecture VIII * Lecture IX * Lecture X * Lecture XI * Lecture XII