Deontic logic in computer science : normative system specification
著者
書誌事項
Deontic logic in computer science : normative system specification
(Wiley professional computing)
J. Wiley, c1993
大学図書館所蔵 件 / 全13件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"Revisions of selected papers that were presented at the First International Workshop on Deontic Logic in Computer Science ... held in Amsterdam on December 11-13, 1991" -- pref
Includes bibliographical references and index
内容説明・目次
内容説明
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
目次
- Tutorial introduction
- deontic logic
- normative system specification
- legal applications
- specification of policies.
「Nielsen BookData」 より