Deontic Logic in Computer Science

Deontic Logic in Computer Science

Author: John-Jules Ch. Meyer

Publisher:

Published: 1993

Total Pages: 344

ISBN-13:

DOWNLOAD EBOOK

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.