Skip to main content
SpringerLink
Log in

A logic for reasoning about safety in decision support systems

  • Conference paper
  • First Online:
Book cover Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU 1993)

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

Abstract

Safety is increasingly recognised as an important property of a software system. The safety of a decision support system is a property that ensures that actions recommended by the system will have minimal undesirable consequences. The objective of this paper is to proposes a logical formalism for reasoning about the external safety of a decision support system. The proposed logical language makes provision for representing time, preferences, actions and also deontic and safety related operators such as “obligation”, “safety” and “authorisation”.

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. J. F. Allen: Towards a general theory of action and time, North-Holland: Artificial Intelligence, 1984, Vol. 23, pp. 123–154

    Google Scholar 

  2. L. Aqvist: Deontic Logic, D. Reidel: Handbook of Philosophical Logic, Vol II, pp. 605–714

    Google Scholar 

  3. R. H. Bonczek, C. W. Holsapple and A. B. Whinston: Development in decision support systems, Academic Press, Inc.: Advances in Computers, 1984, Vol. 3, pp. 141–175

    Google Scholar 

  4. B. Chellas: Modal Logic, Cambridge University Press, 1980

    Google Scholar 

  5. S. K. Das: Deductive databases and logic programming, Addison-Wesley, 1992.

    Google Scholar 

  6. J. Fox: Engineering safety into expert systems, Direction in Safety-Critical Systems, Chapman and Hall, 1993

    Google Scholar 

  7. J. Y. Halpern and Y. Shoham: A prepositional modal logic of time intervals, Journal of the Association for Computing Machinery, 1991, Vol. 38, No. 4, pp. 935–962

    Google Scholar 

  8. R. J. Wieringa, J.-J. Meyer, H. Weigand: Specifying dynamic and deontic integrity constraints, North-Holland: Data & Knowledge Engineering, 1989, Vol. 4, pp. 157–189

    Google Scholar 

  9. G. H. von Wright: The logic of preference, Edinburgh University Press, 1963

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, QMW, University of London, E1 4NS, London

    S. K. Das

  2. Advanced Computation Laboratory, Imperial Cancer Research Fund, WC2A 3PX, London

    J. Fox

Authors
  1. S. K. Das
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. Fox
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael Clarke Rudolf Kruse Serafín Moral

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Das, S.K., Fox, J. (1993). A logic for reasoning about safety in decision support systems. In: Clarke, M., Kruse, R., Moral, S. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1993. Lecture Notes in Computer Science, vol 747. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028185

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57395-1

  • Online ISBN: 978-3-540-48130-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation