Skip to main content
SpringerLink
Log in

Trust and Commitment in Dynamic Logic

  • Conference paper
  • First Online:
EurAsia-ICT 2002: Information and Communication Technology (EurAsia-ICT 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2510))

Included in the following conference series:

Abstract

Trust and commitment have been identified as crucial concepts in electronic commerce applications. In this paper we are interested in the relation between these social concepts. We introduce a dynamic logic in which violations of stronger commitments result in a higher loss of trustworthiness than violations of weaker ones. We illustrate how the logic can be used to analyze some aspects of a well known example of trust within reason.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. R. Auman. Rationality and bounded rationality. Games and Economic behavior, 21:2–14, 1986.

    Article  Google Scholar 

  2. C. Basu, H. Hirsh, and W. Cohen. Recommendation as classification: Using social and content-based information in recommendation. In Proceedings of the AAAI-98, pages 714–720, 1998.

    Google Scholar 

  3. J. Broersen. Relativized action negation for dynamic logics. In Advances in Modal Logic, 2002.

    Google Scholar 

  4. A. Chavez, P. Maes, and Kasbah. An agent market-place for buying and selling goods. In Proceedings of the PAAM’96, pages 75–90. The Paractical Application Company Ltd, 1996.

    Google Scholar 

  5. M. Dastani, Z. Huang, and L. van der Torre. Dynamic desires. In S. Parsons, P. Gmytrasiewicz, and M. Wooldridge, editors, Game Theory and Decision Theory in Agent-Based Computing. Kluwer, to appear.

    Google Scholar 

  6. M.J. Fischer and R.E. Ladner. Propositional dynamic logic of regular programs. Journal of Computer and System Sciences, 18(2): 194–211, September 1979.

    Google Scholar 

  7. D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. MIT Press, 2000.

    Google Scholar 

  8. M. Hollis. Penny pinching and backward induction. Journal of Philosophy, 88:473–488, 1991.

    Article  MathSciNet  Google Scholar 

  9. M. Hollis. Trust within Reason. Cambridge University Press, 1998.

    Google Scholar 

  10. N.R. Jennings and J.R. Campos. Towards a social level characterisation of socially responsible agents. In IEEE proceedings on software engineering, pages 144:11–25, 1997.

    Article  Google Scholar 

  11. C. Jonker and J. Treur. Formal analysis of models for the dynamics of trust based on experiences. In Proceedings of MAAMAW’99. LNAI 1647, 1999.

    Google Scholar 

  12. N. Rescher. The logic of preference. In Topics in Philosophical Logic. D. Reidel Publishing Company, Dordrecht, Holland, 1967.

    Google Scholar 

  13. T. Sandholm and V. Lesser. Issues in automated negotiation and electronic commerce. In Proceedings of the ICMAS’ 95, 1995.

    Google Scholar 

  14. Y. Shoham. Agent oriented programming. Artificial Intelligence, 60:51–92, 1993.

    Article  MathSciNet  Google Scholar 

  15. G.H. von Wright. The Logic of Preference. Edinburgh University Press, 1963.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam, Netherlands

    Jan Broersen, Zhisheng Huang & Leendert van der Torre

  2. Institute of Information and Computing Sciences, Utrecht University, Netherlands

    Mehdi Dastani

Authors
  1. Jan Broersen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mehdi Dastani
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Zhisheng Huang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Leendert van der Torre
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Mathematics and Computer Science Computer Science Department, Shahid Bahonar University, 22 Bahman Bulvard, Kerman, Iran

    Hassan Shafazand

  2. Fraunhofer IPSI, Dolivostr. 15, 64293, Darmstadt, Germany

    Hassan Shafazand

  3. Institute of Software Technology, Vienna University of Technology, Favoritenstr. 9/188, 1040, Vienna, Austria

    A. Min Tjoa

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Broersen, J., Dastani, M., Huang, Z., van der Torre, L. (2002). Trust and Commitment in Dynamic Logic. In: Shafazand, H., Tjoa, A.M. (eds) EurAsia-ICT 2002: Information and Communication Technology. EurAsia-ICT 2002. Lecture Notes in Computer Science, vol 2510. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36087-5_79

Download citation

  • DOI: https://doi.org/10.1007/3-540-36087-5_79

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-36087-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation