Abstract
Acknowledgements, agreements, and disgreements are basic moves in communications among agents, since the moves form and revise shared information among the agents which is basic prerequisite of group-actions. This paper investigates formal semantics of the moves from the point of view of information sharing among agents, exploiting the circular objects assured by Hyperset Theory. Therefore, avoiding definitions of shared information by infinite conjunctions of propositions with nested epistemic modalities, the actions are all interpreted as one-step (not infinite many step) formations of shared information by corecursive definitions. As a result, we can provide a structure of inference between the actions, and define a process equivalence of dialogues with respect to their resulting shared information.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Peter Aczel. Non-well-founded Sets.CSLI, Stanford, 1987. 32, 37
Jon Barwise. Situation in Logic. CS LI, Stanford, 1989. 32, 35, 37, 39, 42, 43
J. Barwise and J. Etchemendy. The Liar.Oxford University Press, Oxford, 1987. 37, 38, 39, 40
J. Barwise and L. Moss. Vicious Circles. CSLI, Stanford, 1996. 32, 36, 37, 38, 39, 42
J. Barwise and J. Perry. Situations and Attitudes.The MIT Press, Cambridge, 1983. 37
H. Clark and C.R. Marshall. Definite reference and mutual knowledge. In A.K. Joshi, D. Webber, and I. Sag, editors, Elements of Discourse Understanding, pages 10–63.Cam bridge University Press, Cambridge, 1981. 33
P.R. Cohen and H.J. Levesque. Teamwork. Nôus, 25(4):487–512, 1991. 32, 38, 40
P.R. Cohen, H.J. Levesque, and I. Smith. On team formation. In Contemporary Action Theory.Kluwer Academic Publishers, Dordrecht, 1997. 32, 40
B. A. Davey and H.A. Priestley. Introduction to Lattices and Order.Cambridge University Press, Cambridge, 1990. 42
R. Fagin, J. Y. Halpern, Y. Moses, and V.Y. Vardi. Reasoning about Knowledge. The MIT Press, Cambridge, 1995. 35, 36, 41, 45
M. Greaves, H. Holmback, and J. Bladshow. What is a conversation policies? In Autonomous Agents’ 99. http://www.boeing.com/special/agents99/greaves.pdf, Seattle, 1999. 45
J. Groenendijk and M. Stokhof. Question. In J. van Benthem and A. ter Meulen, editors, Handbook of Logic and Language. Elsevier Science B.V., Amsterdam, 1997. 41
H. Komatsu. S emantics of cooperative dialogues. In A. Ishikawa and Y. Nitta, editors, The Proceedings of the 1994 Kyoto Conference: A Festschrift for Professor Akira Ikeya, pages 183–192.Th e Logico-Linguistic Society of Japan, Tokyo, 1995. 37
H. Komatsu, N. Ogata, and A. Ishikawa. Towards a dynamic theory of beliefsharing in cooperative dialogues. In Proceedings of COLING 94, pages 1164–1169, 1994. 37
Norihiro Ogata. Information sharing models of dialogue and four classes of circularity problems. In A. Ishikawa and Y. Nitta, editors, The Proceedings of the 1994 Kyoto Conference: A Festschrift for Professor Akira Ikeya, pages 193–202. The Logico-Linguistic Society of Japan, Tokyo, 1995. 32, 40
Norihiro Ogata. Formal semantics of dialogues based on belief sharing and observational equivalence of dialogues. Journal of Natural Language Processing, 6(4):93–115, 1999. 34, 46
E.A. Schegloff, G. Jefferson, and H. Sacks. The preference for self-correction in the organization of repair in conversation. Language, 53(2):361–382, 1977. 34
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ogata, N. (1999). Formal Semantics of Acknowledgements, Agreements and Disagreements. In: Nakashima, H., Zhang, C. (eds) Approaches to Intelligence Agents. PRIMA 1999. Lecture Notes in Computer Science(), vol 1733. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46693-2_3
Download citation
DOI: https://doi.org/10.1007/3-540-46693-2_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66823-7
Online ISBN: 978-3-540-46693-2
eBook Packages: Springer Book Archive