Abstract
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 dialogues. Our basic notion is that of a topic: we suppose that we can associate a set of topics to every agent, speech act and formula. This allows to speak about the competence of an agent, and the preservation of beliefs. We give an axiomatics and a possible worlds semantics, and we show how the belief state of an agent can be reconstructed after a speech act.
Preview
Unable to display preview. Download preview PDF.
References
John L. Austin. How To Do Things With Words. Oxford University Press, 1962.
M. Castilho, L. Fariñas del Cerro, O. Gasquet, and A. Herzig. Modal tableaux with propagation rules and structural rules. Fundamenta Informaticae, 32(3/4), 1997.
Marcos A. Castilho, Olivier Gasquet, and Andreas Herzig. Modal tableaux for reasoning about actions and plans. In Sam Steel and Rachid Alami, editors, European Conference on Planning (ECP'97), number 1348 in LNAI, pages 104–116. Springer-Verlag, 1997.
B. F. Chellas. Modal Logic: an introduction. Cambridge University Press, 1980.
Philip R. Cohen and Hector J. Levesque. Rational interaction as the basis for communication. In Philip R. Cohen, Jerry Morgan, and Martha E. Pollack, editors, Intentions in Communication, chapter 12, pages 221–255. MIT Press, 1990.
Robert Demolombe and Andrew J.I. Jones. On sentences of the kind “sentence “p” is about topic t”: some steps towards a formal-logical analysis. In Hans Jürgen Ohlbach and Uwe Reyle, editors, Essays in Honor of Dov Gabbay. Kluwer, 1998.
R. L. Epstein. The Semantic Fundations of Logic Volume 1: Propositional Logic. Kluwer Academic Publishers, 1990.
N. Goodman. About. Mind, LXX(277), 1961.
David Harel. Dynamic logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume II. D. Reidel Publishing Company, 1984.
G.E. Hughes and M.J. Cresswell. An Introduction to Modal Logic. Methuen, second edition, 1972.
D.K. Lewis. General semantics. In D. Davidson and G. Harman, editors, Semantics of natural language. D. Reidel Publishing Company, 1972.
C. Raymond Perrault. An application of default logic to speech act theory. In Philip R. Cohen, Jerry Morgan, and Martha E. Pollack, editors, Intentions in Communication, chapter 9, pages 161–185. MIT Press, 1990.
Sally Popkorn. First Steps in Modal Logic. Cambridge, 1994.
Ray Reiter. A logic for default reasoning. Artificial Intelligence, 13:81–132, 1980.
David Sadek. Attitudes mentales et interaction rationnelle: vers une théorie formelle de la communication. PhD thesis, Université de Rennes I, France, June 1991.
David Sadek. Towards a theory of belief reconstruction: Application to communication. Speech Communication Journal'94, special issue on Spoken Dialogue, 15(3–4):251–263, 1994. (From International Symposium on Spoken Dialogue of Tokyo, Japan, November 1993).
John R. Searle. Speech Acts. Cambridge University Press, Cambridge, 1969.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
del Cerro, L.F., Herzig, A., Longin, D., Rifi, O. (1998). Belief reconstruction in cooperative dialogues. In: Giunchiglia, F. (eds) Artificial Intelligence: Methodology, Systems, and Applications. AIMSA 1998. Lecture Notes in Computer Science, vol 1480. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0057450
Download citation
DOI: https://doi.org/10.1007/BFb0057450
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64993-9
Online ISBN: 978-3-540-49793-6
eBook Packages: Springer Book Archive