Abstract
In this paper we begin the analysis and formalisation of common sense reasoning about safety. To begin with we analyse absolute safety, and use and extend the framework of Dynamic Logic in order to develop a formal possible-worlds semantics and logic for it. We then extend the analysis to normal safety. We introduce Defeasible Dynamic Logic in order to give possible-worlds semantics and logic for normal safety, and define a preferential entailment relation defined in order to represent common sense reasoning about the normal termination of actions. We conclude with a discussion of the relationship between safety, obligation, rationality and risk, and outline some extensions to the present work.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bell, J., Pragmatic Reasoning; A Model-Based Theory. In M. Masuch and L. Polos (eds.) Applied Logic: How, what and why?, Kluwer Academic Publishers, Amsterdam, 1995, pp. 1–28.
Bell, J., A Planning Theory of Practical Rationality. Proceedings of the AAAI-95 Fall Symposium on Rational Agency, M.I.T., 1995. Fehling, M. (ed.), pp. 1–4.
Bell, J., Prediction Theories, manuscript.
Bell, J., and Huang, Z., Safety Logics II: Normative Safety, Proceedings of the 12th European Conference on Artificial Intelligence, ECAI96, W. Wahlster (ed.), John Wiley and Sons, London, 1996, pp. 293–297.
Dunin-Keplicz, B., and Radzikowska, A., Epistemic Approach to Actions with Typical E ects. Proceedings of ECSQARU’95. Froidevaux, C., and Kholas, J., (Eds). Lecture Notes in Artificial Intelligence No. 946. Springer, Berlin, 1995, pp. 180–188.
Fikes, R., and Nilsson, N., Strips: A New Approach to the Application of Theorem Proving to Problem Solving, Artificial Intelligence 2, 1971, pp. 189–209.
Hammond, P., and Sergot, M., Computer Support for Protocol-Based Treatment of Cancer. Proceedings of the 2nd International Conference on the Practical Applications of Prolog, London, 1994.
Harel, D., Dynamic Logic, in: D. Gabbay and F. Guenthner, (eds.), Handbook of Philosophical Logic, Vol.II, (D. Reidel publishing company, 1984), 497–604.
Huang, Z., Logics for Agents with Bounded Rationality, ILLC Dissertation series 1994-10, University of Amsterdam, 1994.
Huang, Z., and Bell, J., Safety Logics I: Absolute Safety. Proceedings of Common Sense’ 96. Buvac, S., and Costello, T., (eds.), pp. 59–66.
Huang, Z., Masuch, M., and Pólos, L., ALX: an action logic for agents with bounded rationality, Artificial Intelligence82 (1996), pp. 101–153.
Manna, Z., and Pneuli, A., Temporal Verification of Reactive Systems, Vol. II: Safety, Springer Verlag, Berlin, 1995.
Shoham, Y. Reasoning About Change, M.I.T. Press, Cambridge, Massachusetts, 1988.
von Wright, G., The Logic of Preference, (Edinburgh, 1963).
Wilkins, D., Practical Planning. Morgan Kaufmann, San Mateo, California, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bell, J., Huang, Z. (1998). Safety Logics. In: Hunter, A., Parsons, S. (eds) Applications of Uncertainty Formalisms. Lecture Notes in Computer Science(), vol 1455. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49426-X_20
Download citation
DOI: https://doi.org/10.1007/3-540-49426-X_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65312-7
Online ISBN: 978-3-540-49426-3
eBook Packages: Springer Book Archive