Deontic Logic in Computer Science
Download or Read eBook Deontic Logic in Computer Science PDF written by John-Jules Ch. Meyer and published by . This book was released on 1993 with total page 344 pages. Available in PDF, EPUB and Kindle.
Author | : John-Jules Ch. Meyer |
Publisher | : |
Total Pages | : 344 |
Release | : 1993 |
ISBN-10 | : UOM:39015029976134 |
ISBN-13 | : |
Rating | : 4/5 (34 Downloads) |
Book Synopsis Deontic Logic in Computer Science by : John-Jules Ch. Meyer
Book excerpt: 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.