Deontic logic in computer science: normative system specification 论文

详细信息

发表日期

1994-03-16

发表年份

1994

摘要

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