<P>This book constitutes the refereed proceedings of the 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, held in Utrecht, Netherlands in July 2006.</P> <P>The 18 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and sele
Deontic Logic, Agency and Normative Systems: ΔEON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996
✍ Scribed by Layman E. Allen (auth.), Mark A. Brown PhD, José Carmo PhD (eds.)
- Publisher
- Springer-Verlag London
- Year
- 1996
- Tongue
- English
- Leaves
- 247
- Series
- Workshops in Computing
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
✦ Synopsis
This volume presents a variety of papers bearing on the relation between deontic logics, logics of action, and normative systems, i.e. systems of or about interacting agents (computers, human beings, corporations, etc.) whose behaviour is subject to ideal constraints that may not always be fulfilled in practice. The papers range from theoretical studies of the logical and conceptual tools needed, to studies of various applications. The set of papers collected in this book should be of interest to investigators working in a variety of fields, from philosophy, logic and legal theory to artificial intelligence, computer and management sciences, since it covers topics ranging from theoretical research on foundational issues in deontic and action logics, defeasible reasoning, decision theory, ethical theory, and legal theory, to research on a variety of issues relevant to applications connected with expert systems in the law, document specification, automation of defeasible reasoning, specification of responsibilities and powers in organizations, normative systems specification, confidentiality in database systems, and a host of other applications.
✦ Table of Contents
Front Matter....Pages i-xvi
From the Fundamental Legal Conceptions of Hohfeld to Legal Relations: Refining the Enrichment of Solely Deontic Legal Relations....Pages 1-26
Towards a Computational Treatment of Deontic Defeasibility....Pages 27-46
Doing As We Ought: Towards A Logic of Simply Dischargeable Obligations....Pages 47-65
A deontic logic for reasoning about confidentiality....Pages 66-79
A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment yields Obligation....Pages 80-97
Combining Agency and Obligation (Preliminary Version)....Pages 98-122
The Logic of Normative Systems....Pages 123-133
Getting Personal Some Notes on the Relationship Between Personal and Impersonal Obligation....Pages 134-153
Must I Do What I Ought? (or Will the Least I Can Do Do?)....Pages 154-173
Defeasible Reasoning with Legal Rules....Pages 174-193
Indirect Action, Influence and Responsibility....Pages 194-215
How to Combine Ordering and Minimizing in a Deontic Logic based on Preferences....Pages 216-232
Back Matter....Pages 233-235
✦ Subjects
Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Mathematical Applications in Computer Science
📜 SIMILAR VOLUMES
<p>This volume contains the workshop proceedings of DEON 2004, the Seventh International Workshop on Deontic Logic in Computer Science. The DEON workshop series aims at bringing together researchers interested in topics - lated to the use of deontic logic in computer science. It traditionally promot
<p>This volume contains the workshop proceedings of DEON 2004, the Seventh International Workshop on Deontic Logic in Computer Science. The DEON workshop series aims at bringing together researchers interested in topics - lated to the use of deontic logic in computer science. It traditionally promot
<p>This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, held in Utrecht, The Netherlands, July 12–14, 2006. These biennial DEON (more properly, ?EON) workshops are designed to promote international cooperation among scholars a
John Horty effectively develops deontic logic (the logic of ethical concepts like obligation and permission) against the background of a formal theory of agency. He incorporates certain elements of decision theory to set out a new deontic account of what agents ought to do under various conditions o
John Horty effectively develops deontic logic (the logic of ethical concepts like obligation and permission) against the background of a formal theory of agency. He incorporates certain elements of decision theory to set out a new deontic account of what agents ought to do under various conditions o