Applications of Deontic Logic in Computer Science: A Concise Overview


Meyer, J.-J.Ch. and Wieringa, R.J. (1993) Applications of Deontic Logic in Computer Science: A Concise Overview. In: John-Jules Ch. Meyer & Roel J. Wieringa (Eds.), Deontic Logic in Computer Science: Normative System Specification. John Wiley & Sons, Chichester, UK, pp. 17-40. ISBN 9780471937432

[img] PDF
Restricted to UT campus only

Abstract:Deontic logic is the logic that deals with actual as well as ideal behavior of systems. In this paper, we survey a number of applications of deontic logic in computer science that have arisen in the eighties, and give a systematic framework in which these applications can be classified. Many applications move in the direction of programming a computer in deontic logic to make the computer prohibit, permit or obligate people to do something. We discuss conditions under which this possibility is realistic and conditions under which it would be admissible to do so.
Item Type:Book Section
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page