Deontic Logic in Computer Science

Deontic Logic in Computer Science PDF Author: John-Jules Ch. Meyer
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 344

Get Book

Book Description
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.