Deontic logic in computer science
Subtitle: normative system specification
By: edited by John-Jules Ch. Meyer and Roel J. Wieringa.
Contributors: Meyer, John-Jules Ch.; Wieringa, Roel; International Workshop on Deontic Logic in Computer Science (1st : 1991 : Amsterdam, Netherlands)
Publisher: J. Wiley
Published: 1993
Place of publication: Chichester; New York
Language: eng
Number of pages: 317
Subjects: Computer science -- Congresses.; Deontic logic -- Congresses.
Description: 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.

A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant software.

This book provides a unique and timely assessment of the practical value of deontic logic for computer scientists in AI and law and, more particularly, in such areas as distributed AI and intelligent cooperative information systems.
Notes: Includes bibliographical references and index.
"Revisions of selected papers that were presented at the First International Workshop on Deontic Logic in Computer Science ... held in Amsterdam on December 11-13, 1991"--Pref.