Deontic logic in computer science: normative system specification
John‐Jules Ch. Meyer, Roel J. Wieringa · 1994
Deontic logic originated from moral philosophy and the philosophy of law as an attempt to formalise normative and legal reasoning. This book draws on the experience of researchers - working in fields as diverse as Artificial Intelligence, linguistics, computer system specification and law - who have discovered the benefits of deontic logic when applied to solving computer science and AI problems