Deontic Logic in Computer Science: Normative System Specification - Hardcover

 
9780471937432: Deontic Logic in Computer Science: Normative System Specification

Synopsis

Deontic logic originated from the philosophy of law as an attempt to formalize legal reasoning. This book draws on the experience of researchers—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 problems. Application areas range from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant systems.

"synopsis" may belong to another edition of this title.