Deontic Logic in Computer Science: Normative System Specification

Meyer, J.-J Ch.

ISBN 10: 0471937436 / ISBN 13: 9780471937432

Edité par Wiley, 1994

Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. N° de réf. du vendeur Z1-B-031-01728

Synopsis :

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

Détails bibliographiques

Titre : Deontic Logic in Computer Science: Normative...
Éditeur : Wiley
Date d'édition : 1994
Reliure : Couverture rigide
Etat : Good