Ebook: Deontic Logic, Agency and Normative Systems: ΔEON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996

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.

---

This is the latest volume in the Workshops in Computing series and contains papers to be presented at the Third International Workshop on Deontic Logic in Computer Science (DEON '96) to be held in Sesimbra, Portugal 11 - 13 January 1996. It contains a variety of contributions covering the relationship between deontic logics, logics of action and normative systems (i.e. systems of or about interacting agents whose behaviour is subject to ideal constraints that may not always be fulfilled in practice). The papers range from the theoretical studies of the logical and conceptual tools needed, to studies of various applications. The resulting volume will be of interest to researchers working in a variety of fields from philosophy, logic and legal theory, through to artificial intelligence and computer/management sciences.

---

This is the latest volume in the Workshops in Computing series and contains papers to be presented at the Third International Workshop on Deontic Logic in Computer Science (DEON '96) to be held in Sesimbra, Portugal 11 - 13 January 1996. It contains a variety of contributions covering the relationship between deontic logics, logics of action and normative systems (i.e. systems of or about interacting agents whose behaviour is subject to ideal constraints that may not always be fulfilled in practice). The papers range from the theoretical studies of the logical and conceptual tools needed, to studies of various applications. The resulting volume will be of interest to researchers working in a variety of fields from philosophy, logic and legal theory, through to artificial intelligence and computer/management sciences.
Content:
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

---

This is the latest volume in the Workshops in Computing series and contains papers to be presented at the Third International Workshop on Deontic Logic in Computer Science (DEON '96) to be held in Sesimbra, Portugal 11 - 13 January 1996. It contains a variety of contributions covering the relationship between deontic logics, logics of action and normative systems (i.e. systems of or about interacting agents whose behaviour is subject to ideal constraints that may not always be fulfilled in practice). The papers range from the theoretical studies of the logical and conceptual tools needed, to studies of various applications. The resulting volume will be of interest to researchers working in a variety of fields from philosophy, logic and legal theory, through to artificial intelligence and computer/management sciences.
Content:
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
....