Applications of Deontic Logic in Computer Science: A Concise Overview


Share/Save/Bookmark

Meyer, J.-J.Ch. and Wieringa, R.J. (1993) Applications of Deontic Logic in Computer Science: A Concise Overview. In: 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

151Kb
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/67612
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page