Skip to main content
SpringerLink
Log in

Updating Mental States from Communication

  • Conference paper
  • First Online:
Intelligent Agents VII Agent Theories Architectures and Languages (ATAL 2000)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1986))

Included in the following conference series:

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 to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. C. Aravindan and P.M. Dung. Knowledge revision, abduction and database updates. Journal of Applied Non-Classical Logics, 5(1):51–76, 1995.

    MATH  MathSciNet  Google Scholar 

  2. 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.

    MATH  MathSciNet  Google Scholar 

  3. 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.

    Google Scholar 

  4. P.R. Cohen and C.R. Perrault. Elements of a plan-based theory of speech acts. Cognitive Science, 3(3):177–212, 1979.

    Article  Google Scholar 

  5. 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.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. P. Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press., Cambridge Mass., 1988.

    Google Scholar 

  8. M. Georgeff. Communication and interaction in multiagent planning. In Proceedings of the 3th National Conference on Artificial Intelligence, pages 125–129, 1983.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. E. Giunchiglia and F. Giunchiglia. Ideal and Real Belief about Belief. Journal of Logic and Computation, 2000. To appear.

    Google Scholar 

  11. F. Giunchiglia. Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine, XVI:345–364, 1993.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29–70, 1994.

    Article  MATH  MathSciNet  Google Scholar 

  14. 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.

    Google Scholar 

  15. 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.

    Google Scholar 

  16. K. Konolige. Abduction versus closure in causal theories. Artificial Intelligence, 53:255–272, 1992.

    Article  MathSciNet  Google Scholar 

  17. J. Lobo and C. Uzcátegui. Abductive change oprators. Fundamenta Informaticae, 27(4):319–418, 1996.

    MathSciNet  Google Scholar 

  18. J.S. Rosenschein M.R. Gensereth, M.L. Ginsberg. Cooperation without communication. In AAAI 86, pages 51–57, 1986.

    Google Scholar 

  19. 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.

    Google Scholar 

  20. 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.

    Google Scholar 

  21. 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.

    Google Scholar 

  22. 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.

    Google Scholar 

  23. 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.

    Google Scholar 

  24. 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.

    Google Scholar 

  25. J.S. Rosenschein and M.R. Genesereth. Communication and cooperation. Stanford Heuristic Programming Rep, 1984.

    Google Scholar 

  26. J.R. Searle and D. Vanderveken. Foundations of illuctionary Logic. Cambridge University Press, 1985.

    Google Scholar 

  27. 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.

    Google Scholar 

  28. 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.

    Google Scholar 

  29. 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.

    Google Scholar 

  30. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Ancona, 60131, Ancona, Italy

    A.F. Dragoni

  2. DISA, University of Trento, 38100, Trento, Italy

    P. Giorgini

  3. ITC-IRST, 38050, Trento, Italy

    L. Serafini

Authors
  1. A.F. Dragoni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. Giorgini
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. L. Serafini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Communication Sciences, “Cognitive Science”, University of Siena, piazza S.Francesco 8, 53100, Siena, Italy

    Cristiano Castelfranchi

  2. Department of Computer Science, York University, 4700 Keele Street, M3J 1P3, Toronto, Ontario, Canada

    Yves Lespérance

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation