Deontic Logic in Computer Science
Author | : John-Jules Ch. Meyer |
Publisher | : |
Total Pages | : 344 |
Release | : 1993 |
ISBN-10 | : UOM:39015029976134 |
ISBN-13 | : |
Rating | : 4/5 ( Downloads) |
Download or read book Deontic Logic in Computer Science 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. 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.