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”.
Preview
Unable to display preview. Download preview PDF.
References
J. F. Allen: Towards a general theory of action and time, North-Holland: Artificial Intelligence, 1984, Vol. 23, pp. 123–154
L. Aqvist: Deontic Logic, D. Reidel: Handbook of Philosophical Logic, Vol II, pp. 605–714
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
B. Chellas: Modal Logic, Cambridge University Press, 1980
S. K. Das: Deductive databases and logic programming, Addison-Wesley, 1992.
J. Fox: Engineering safety into expert systems, Direction in Safety-Critical Systems, Chapman and Hall, 1993
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
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
G. H. von Wright: The logic of preference, Edinburgh University Press, 1963
Author information
Authors and Affiliations
Editor information
Rights 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