Research Catalog

Deontic logic in computer science : normative system specification

Title: Deontic logic in computer science : normative system specification / edited by John-Jules Ch. Meyer and Roel J. Wieringa.
Publication: Chichester ; New York : J. Wiley, [1993], ©1993.

Filter by

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	QA75.5 .D46 1993	Off-site

Additional Authors

Description

xiv, 317 pages : illustrations; 25 cm

Summary

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.

Subjects

Note

"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"--

Bibliography (note)

Contents

1. Deontic Logic: A Concise Overview / J.-J. Ch. Meyer and R. J. Wieringa -- 2. Applications of Deontic Logic in Computer Science: A Concise Overview / R. J. Wieringa and J.-J. Ch. Meyer -- 3. Philosophical Foundations of Deontic Logic and the Logic of Defeasible Conditionals / C. E. Alchourron -- 4. Actions in Deontic Logic / R. Hilpinen -- 5. Expression of Confidentiality Policies with Deontic Logic / P. Bieber and F. Cuppens -- 6. Use of Deontic Logic in the Requirements Engineering of Composite Systems / E. Dubois -- 7. Temporal Reasoning over Deontic Specifications / T. Maibaum -- 8. A-Hohfeld: A Language for Robust Structural Representation of Knowledge in the Legal Domain to Build Interpretation-Assistance Expert Systems / L. E. Allen and C. S. Saxon -- 9. Defeasible Deontic Reasoning: A Logic Programming Model / Y. U. Ryu and R. M. Lee -- 10. A Deontic Logic Representation of Contractual Obligations / F. Santos and J. Carmo -- 11. Deontic Aspects of Communication / H. Weigand.
12. On the Characterization of Law and Computer Systems: The Normative Systems Perspective / A. J. I. Jones and M. Sergot.

ISBN

0471937436 :

LCCN

93008781

OCLC

ocm28255758

Owning Institutions

Columbia University Libraries