Deontic Logic in Computer Science: Normative System Specification (Hardback)
Sorry we can't get this title, the button below links through to AbeBooks who may have this title (opens in new window).
Short Description for Deontic Logic in Computer Science Deontic logic originated from the philosophy of law as an attempt to formalize legal reasoning. This volume draws upon the experience of researchers, working in fields as diverse as artificial intelligence and linguistics, who have applied deontic logic to the solution of computer problems.
- Published: 01 February 1994
- Format: Hardback 400 pages
- ISBN 13: 9780471937432 ISBN 10: 0471937436
Full description for Deontic Logic in Computer Science
Deontic logic originated from the philosophy of law as an attempt to formalize legal reasoning. This book draws on the experience of researchers working 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 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. This book provides an accessible introduction to deontic logic as well as a unique assessment of its value to practising computer scientists and researchers