Skip to main content
SpringerLink
Log in

Modelling social agents: Communication as action

  • Part IV: Theories
  • Conference paper
  • First Online:
Intelligent Agents III Agent Theories, Architectures, and Languages (ATAL 1996)

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

Included in the following conference series:

Abstract

In this paper we present a formal framework for social agents. The social agents consist of four components: the information component (containing knowledge and belief), the action component, the motivational component (where goals, intentions, etc. play arole) and the social component (containing aspects of speech acts and relations between agents). The main aim of this work was to describe all components in a uniform way, such that it is possible to verify each component separately but also formally describe the interactions between the different components. E.g. the effect of a speech act on the believes of an agent or on the commitment to a goal it pursues.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. Bretier and M. D. Sadek. A rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interaction. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.

    Google Scholar 

  2. P. Cohen and H. Levesque. Intention is choice with commitment. Artificial Intelligence, vol.42, pages 213–261, 1990.

    Article  Google Scholar 

  3. F. Dignum. Using Transactions in Integrity Constraints: Looking forward or backwards, what is the difference? In First International Workshop on Applied Logic: Logic at Work, Amsterdam, 1992.

    Google Scholar 

  4. F. Dignum and H. Weigand. Modelling communication between cooperative systems In J. Iivari et al., Advanced information systems engineering, pages 140–153, Springer, 1995.

    Google Scholar 

  5. F. Dignum, J.-J.Ch. Meyer, R. Wieringa and R. Kuiper. A modal approach to intentions, commitments and obligations: intention plus commitment yields obligation. In M. Brown and J. Carmo (eds.), Deontic logic, agency and normative systems, Workshops in Computing, Springer-Verlag, pages 80–97, 1996.

    Google Scholar 

  6. F. Dignum. Social Interactions of Autonomous Agents; Private and Global Views on Communication. Submitted to ModelAge'97 workshop.

    Google Scholar 

  7. D. Harel. First Order Dynamic Logic. LNCS 68 Springer, 1979.

    Google Scholar 

  8. W. van der Hoek, B. van Linder and J.-J.Ch. Meyer. A logic of capabilities. In Nerode and Matiyasevich, eds, Proceedings of LFCS'94, LNCS 813, pages 366–378.

    Google Scholar 

  9. D. Kinny and M. Georgeff. Commitment and Effectiveness of Situated Agents. In Proceedings International Joint Conference on Artificial Intelligence, Sydney, Australia, pages 82–88.

    Google Scholar 

  10. B. van Linder, W. van der Hoek and J.-J.Ch. Meyer. Communicating rational agents. In Nebel and Dreschler-Fisher, eds, Proceedings of KI'95, LNCS 861, pages 202–213.

    Google Scholar 

  11. B. van Linder, W. van der Hoek and J.-J.Ch. Meyer. How to motivate your agents. On making promises that you can keep. In Wooldridge, Müller and Tambe, eds, Intelligent Agents II, LNCS 1037, pages 17–32.

    Google Scholar 

  12. B. van Linder Modal Logics for Rational Agents, PhD Thesis, Utrecht University, 1996.

    Google Scholar 

  13. J.-J.Ch. Meyer. A different approach to deontic logic. In Notre Dame Journal of Formal Logic, vol.29, pages 109–136, 1988.

    Google Scholar 

  14. J.-J.Ch. Meyer and W. van der Hoek. Epistemic Logic for AI and computer science, CUP, 1995.

    Google Scholar 

  15. R. Moore. A formal theory of knowledge and action. In J. Hobbs and R. Moore, eds, Formal theories of the commonsense world, pages 319–358, Ablex Publ. Comp., 1985.

    Google Scholar 

  16. J. P. Müller. A cooperation model for autonomous agents. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.

    Google Scholar 

  17. P. Noriega and C. Sierra. Towards layered dialogical agents. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.

    Google Scholar 

  18. T. J. Norman, N. R. Jennings, P. Faratin, and E. H. Mamdani. Designing and implementing a multi-agent architecture for business process management. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.

    Google Scholar 

  19. A.S. Rao and M.P. Georgeff. Modeling rational agents within a BDI-architecture. In J. Allen et al., eds, Proceedings of KR '91, pages 473–484, Morgan Kaufmann, 1991.

    Google Scholar 

  20. J.R. Searle. Speech Acts. CUP, 1969.

    Google Scholar 

  21. M. Singh. Multiagent Systems. LNAI 799, Springer-Verlag, 1994.

    Google Scholar 

  22. D. R. Traum. A reactive-deliberative model of dialogue agency. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.

    Google Scholar 

  23. E. Verhagen, F. Dignum and H. Weigand. A Language/Action Perspective on Cooperative Information Agents. In F. Dignum et al., eds, Communication Modeling — The Language/Action Perspective (LAP-96), electronic Workshops in Computing, Springer-Verlag, London, 1996.

    Google Scholar 

  24. R. Wieringa, J.-J.Ch. Meyer and H. Weigand. Specifying dynamic and deontic integrity constraints. Data & knowledge engineering, vol.4, pages 157–189, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Mathematics & Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600, MB Eindhoven, The Netherlands

    Frank Dignum

  2. Department of Computer Science, Utrecht University, P.O. Box 80.089, Utrecht, The Netherlands

    Bernd van Linder

Authors
  1. Frank Dignum
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bernd van Linder
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jörg P. Müller Michael J. Wooldridge Nicholas R. Jennings

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dignum, F., van Linder, B. (1997). Modelling social agents: Communication as action. In: Müller, J.P., Wooldridge, M.J., Jennings, N.R. (eds) Intelligent Agents III Agent Theories, Architectures, and Languages. ATAL 1996. Lecture Notes in Computer Science, vol 1193. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013587

Download citation

  • DOI: https://doi.org/10.1007/BFb0013587

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-62507-0

  • Online ISBN: 978-3-540-68057-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation