Abstract
In order to perform effective communication agents must be able to foresee the effects of their utterances on the addressee’s mental state. In this paper we investigate the update of the mental state of a hearer agent as a consequence of the utterance performed by a speaker agent. Given an agent communication language with a STRIPS-like semantics, we propose a set of criteria that allow the binding of the speaker’s mental state to its uttering of a certain sentence. On the basis of these criteria, we give an abductive procedure that the hearer can adopt to partially recognize the speaker’s mental state, on the basis of its utterances. This procedure can be adopted by the hearer to update its own mental state and its image of the speaker’s mental state.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
C. Aravindan and P.M. Dung. Knowledge revision, abduction and database updates. Journal of Applied Non-Classical Logics, 5(1):51–76, 1995.
M. Benerecetti, F. Giunchiglia, and L. Serafini. Model Checking Multiagent Systems. Journal of Logic and Computation, Special Issue on Computational&Logical Aspects of Multi-Agent Systems, 8(3):401–423, 1998.
A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts II: Elaboration Tolerance. In Proceedings of the 1st International Conference on Multi-Agent Systems (ICMAS-95), pages 57–64, 1996.
P.R. Cohen and C.R. Perrault. Elements of a plan-based theory of speech acts. Cognitive Science, 3(3):177–212, 1979.
A.F. Dragoni and P. Giorgini. Revising beliefs received from multiple source. InMA Williams and H Rott, editors, Frontiers of Belief Revision, Applied Logic. Kluwer, 2000.
F. Dignum B. Dunin-Keplicz and R. Verbrugge. Agent theory for team formation by dialogue. In C. Castelfranchi and Y. Lesperance, editors, Proceedings of the Seventh International Workshop on Agent Theories, Architectures, and Languages (ATAL-2000), LNAI. Springer Verlag, 2001.
P. Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press., Cambridge Mass., 1988.
M. Georgeff. Communication and interaction in multiagent planning. In Proceedings of the 3th National Conference on Artificial Intelligence, pages 125–129, 1983.
C. Ghidini. Modelling (Un)Bounded Beliefs. In P. Bouquet, L. Serafini, P. Brezillon, M. Benerecetti, and F. Castellani, editors, Modelling and Using Context-Proceedings of the 2nd International and Interdisciplinary Conference, Context’99, volume 1688of LNAI, pages 145–158. Springer Verlag-Heidelberg, 1999.
E. Giunchiglia and F. Giunchiglia. Ideal and Real Belief about Belief. Journal of Logic and Computation, 2000. To appear.
F. Giunchiglia. Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine, XVI:345–364, 1993.
F. Giunchiglia and C. Ghidini. Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR’98), pages 282–289. Morgan Kaufmann, 1998.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29–70, 1994.
P.J. Gmytrasiewicz and E.H. Durfe. A rigorous, operational formalization of recursive modeling. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS), pages 125–132, 1995.
K.V. Hindriks, F.S. de Boer, W. van der Hoek, and J.J.Ch. Meyer. Semantics of communicating agents based on deduction and abduction. In Proceedings of IJCAI’99 Workshop on ACL, 1999.
K. Konolige. Abduction versus closure in causal theories. Artificial Intelligence, 53:255–272, 1992.
J. Lobo and C. Uzcátegui. Abductive change oprators. Fundamenta Informaticae, 27(4):319–418, 1996.
J.S. Rosenschein M.R. Gensereth, M.L. Ginsberg. Cooperation without communication. In AAAI 86, pages 51–57, 1986.
T.J. Norman and C. Reed. Delegation and respnsability. InC. Castelfranchi and Y. Lesperance, editors, Proceedings of the Seventh InternationalWorkshop on Agent Theories, Architectures, and Languages (ATAL-2000), LNAI. Springer Verlag, 2001.
M. Pagnucco and N.Y. Foo. The relationship between abduction and changes in belief states. In Proceedings of the ICLP93 PostconferenceWorkshop on Abductive Reasoning, pages 75–83, Budapest, Hungary, 1993.
M. Pagnucco, A.C. Nayak, and N.Y. Foo. Abductive expansion: The application of abductive inference to the process of belief change. In Proceedings of the Seventh Australian Joint Conference on Artificial Intelligence, pages 70–77, Armidale, Australia, 1994.
M. Pagnucco, A.C. Nayak, and N.Y. Foo. Abductive reasoning, belief expansion and nonmonotonic consequence. In Proceedings of the ICLP’95 Joint Workshop on Deductive Databases and Logic Programming and Abduction in Deductive Databases and Knowledgebased Systems, pages 143–158, Shonan Village Center, Japan, 1995.
A.S. Rao and M. Georgeff. BDI agents: from theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), pages 312–319, S. Francisco, CA, 1995.
A.S. Rao, M. Georgeff, and E.A. Sonenberg. Social plans:A preliminary report. In E. Werner and Y. Demazeau, editors, Decentralized AI-Proceedings of the Third European Workshop on Modeling Autonomous Agents in a Multi-AgentWorld (MAAMAW-91), pages 57–76, Amsterdam, The Netherlands, 1992. Elsevier Science Publishers B.V.
J.S. Rosenschein and M.R. Genesereth. Communication and cooperation. Stanford Heuristic Programming Rep, 1984.
J.R. Searle and D. Vanderveken. Foundations of illuctionary Logic. Cambridge University Press, 1985.
S. Shapiro and Y. Lespérance. Modelling multiagent systems with casl-a feature interaction resolution application. In C. Castelfranchi and Y. Lesperance, editors, Proceedings of the Seventh International Workshop on Agent Theories, Architectures, and Languages (ATAL-2000), LNAI. Springer Verlag, 2001.
E. Werner. Toward a theory of communication and cooperation for multiagent planning. In Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, Los Altos, CA, 1988. Morgan Kaufmann Publisher.
M. Wooldridge and P.E. Dunne. Optimistic and disjunctive agent design problems. In C. Castelfranchi and Y. Lesperance, editors, Proceedings of the Seventh International Workshop on Agent Theories, Architectures, and Languages (ATAL-2000), LNAI. SpringerVerlag, 2001.
S. Zimmerbaum and R. Scherl. Sensing actions, time, and concurrency in the situation calculus. In C. Castelfranchi and Y. Lesperance, editors, Proceedings of the Seventh International Workshop on Agent Theories, Architectures, and Languages (ATAL-2000), LNAI. Springer Verlag, 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dragoni, A., Giorgini, P., Serafini, L. (2001). Updating Mental States from Communication. In: Castelfranchi, C., Lespérance, Y. (eds) Intelligent Agents VII Agent Theories Architectures and Languages. ATAL 2000. Lecture Notes in Computer Science(), vol 1986. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44631-1_2
Download citation
DOI: https://doi.org/10.1007/3-540-44631-1_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42422-2
Online ISBN: 978-3-540-44631-6
eBook Packages: Springer Book Archive