Skip to main content
Springer Nature Link
Log in

A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies

  • Conference paper
Deontic Logic and Artificial Normative Systems (DEON 2006)

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

  • 454 Accesses

Abstract

We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based on Belnap’s theory of agents and choices in branching time (stit theory) and his analysis of commitments in terms of strategies. The main points are that (i) commitments come in various degrees of stringency, (ii) we can define a stringency ordering on an agent’s possible strategies, and that (iii) trustworthiness can be spelled out in terms of strategies: An agent is living up to a given commitment, and thus, is trustworthy with respect to that commitment, if her strategy is at least as stringent as required. Overall trustworthiness of an agent can be defined by averaging over such single case assessments.

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.

Similar content being viewed by others

References

  1. Boella, G., van der Torre, L.: A game theoretic approach to contracts in multiagent systems. IEEE Transactions on Systems, Man, and Cybernetics C (to appear, 2006)

    Google Scholar 

  2. Belnap, N., Perloff, M., Xu, M.: Facing the Future. Agents and Choices in Our Indeterminist World. Oxford University Press, Oxford (2001)

    Google Scholar 

  3. Thomson, J.J.: The Realm of Rights. Harvard University Press, Cambridge (1990)

    Google Scholar 

  4. Belnap, N.: Branching histories approach to indeterminism and free will (preprint, 2002), http://philsci-archive.pitt.edu/documents/disk0/00/00/08/90

  5. Belnap, N.: Branching space-time. Synthese 92, 385–434 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  6. Prior, A.N.: Past, present and future. Oxford University Press, Oxford (1967)

    MATH  Google Scholar 

  7. Thomason, R.H.: Indeterminist time and truth value gaps. Theoria (Lund) 36, 264–281 (1970)

    MathSciNet  Google Scholar 

  8. Müller, T.: On the formal structure of continuous action. In: Schmidt, R., Pratt-Hartmann, I., Reynolds, M., Wansing, H. (eds.) Advances in Modal Logic, vol. 5, pp. 191–209. King’s College Publications, London (2005)

    Google Scholar 

  9. Anscombe, G.E.M.: Intention, 2nd edn. Harvard University Press, Cambridge (1963)

    Google Scholar 

  10. Anderson, A.R.: A reduction of deontic logic to alethic modal logic. Mind 67, 100–103 (1958)

    Article  Google Scholar 

  11. Müller, T.: Probabability theory and causation. a branching space-times analysis. British Journal for the Philosophy of Science 56, 487–520 (2005)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Philosophie, Universität Bonn, Lennéstr. 39, 53113, Bonn, Germany

    Thomas Müller

Authors
  1. Thomas Müller
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Philosophie, Willamette University, 97301, Salem, OR, USA

    Lou Goble

  2. Utrecht University, P.O. Box 80.089, 3508, Utrecht, TB, The Netherlands

    John-Jules Ch. Meyer

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Müller, T. (2006). A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies. In: Goble, L., Meyer, JJ.C. (eds) Deontic Logic and Artificial Normative Systems. DEON 2006. Lecture Notes in Computer Science(), vol 4048. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11786849_18

Download citation

  • DOI: https://doi.org/10.1007/11786849_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-35842-8

  • Online ISBN: 978-3-540-35843-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics