Deontic Logic in Computer Science: Normative System Specification - Rilegato

Meyer, John0Jules Ch

Rilegato

ISBN 10: 0471937436 ISBN 13: 9780471937432

Casa editrice: John Wiley & Sons Inc, 1993

Riassunto

Deontic logic originated from moral philosophy and the philosophy of law as an attempt to formalise normative and 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 and AI 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, database integrity to electronic contracting and the specification of fault-tolerant software. This book provides a unique and timely assessment of the practical value of deontic logic for computer scientists in AI and law and, more particularly, in such areas as distributed AI and intelligent cooperative information systems.

Dettagli dell?edizione

• Editore: John Wiley & Sons Inc
• Data di pubblicazione: 1993
• Lingua: Inglese
• ISBN 10: 0471937436
• ISBN 13: 9780471937432
• Rilegatura: Copertina rigida
• Numero di pagine: 400
• Redattore: Wieringa R. J.
• Contatto del produttore: non disponibile