Deontic Logic in Computer Science
11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings
Published on 11. July 2012
XII, 215 pages
978-3-642-31570-1 (ISBN)
Description
This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-agent systems and autonomous agents, normative aspects of protocols for communication, negotiation and multi-agent decision making, formal representation of legal knowledge, formal specification of normative systems for the management of bureaucratic processes in public or private administration, and applications of normative logic to the specification of database integrity constraints.
More details
Other editions
Additional editions
Thomas Agotnes | Jan M. Broersen | Dag Elgesem
Deontic Logic in Computer Science
11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings
Book
07/2012
Springer
€49.22
Shipment within 7-9 days
Content
- Title
- Preface
- Organization
- Table of Contents
- Causality in the Context of Multiple Agents
- Introduction
- Logical Framework
- Application to a Case Study
- Related Works
- Conclusion
- References
- Visualizing Normative Systems: An Abstract Approach
- Introduction
- Abstract Normative Systems: Fundamentals
- Visualization
- Visual Components
- Example
- Cottage Regulations
- Semantics
- Patterns
- Violation
- Contrary to Duty
- Dilemma
- Conclusion
- References
- Agreements as Norms
- Introduction
- Preliminaries
- Games and Equilibria
- Dependence Theory
- Choices and Dominance
- Consequentialist Models
- From Games to Choice Structures (and Back)
- Dominance
- F-Dominance.
- A Deontic Logic for Fair Choices
- Permissions and Equilibria
- Conclusion
- References
- PossibleWorld Semantics for Defeasible Deontic Logic
- Introduction
- Defeasible Deontic Logic: An Informal Presentation
- Defeasible Multi-modal Logic
- The Language
- Proof Theory
- Neighborhood Semantics for Defeasible Multi-modal Logic
- The Background
- From Defeasible Logic to Neighbourhood Semantics
- Characterizing Conversions in Canonical Models
- Summary and Related Work
- References
- An Embedding of Input-Output Logic in Deontic Logic Programs
- Introduction
- Input-Output Logic
- Parametrized Logic Programming
- Deontic Logic Programs
- Standard Deontic Logic
- Deontic Logic Programs
- Embedding Input-Output Logic
- Conclusions
- References
- Sanction Semantics and Contrary-to-Duty Obligations
- Introduction
- The Gentle Murder Scenario
- Problems with Some Existing Formalizations of CTD Obligations
- The Semantic Approach
- Desiderata
- Impossibility Result
- Relaxing the Desiderata
- Dropping Invariance under Propositional Renaming
- Dropping Determinacy of Sanction
- Dropping Range of Outcomes
- Dropping Invariance under Act Renaming
- Dropping Invariance under Outcome Renaming
- Using Multiple Sanctions
- Conclusion
- References
- Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations
- Standard Deontic Logic and Its Problems
- General Chisholm Sets
- TSDL - Temporal Deontic Logic
- References
- On the Logical Foundations of Moral Agency
- Introduction
- Moral Agency: Conceptual Basis
- Logical Framework
- Syntax
- Action Description
- Semantics
- Axiomatization
- Relationships between DL-MA and STIT
- Moral Agency: A Logical Formalization
- Desires and Moral Values
- Moral Sensitivity and Preference Based on Desires and Moral Values
- Conclusion
- References
- Norms and Learning in Probabilistic Logic-Based Agents
- Introduction
- Probabilistic Argumentation Framework
- Probabilistic Defeasible Theories
- Argumentation Framework
- Probabilities of Justification
- Multi-agent Theory and Simulation
- Structure of a Probabilistic Multi-agent Theory
- Computational Perspectives
- Learning Agents
- Case Studies
- Case Study 1: Convention Emergence (Driving Example)
- Case study 2: Norm Internalization and Punishment
- Related Work
- Summary and Future Work
- References
- The Logic of Obligation as Weakest Permission
- Introduction and Motivations
- Definitions
- Basic Observations
- Axiomatization
- Remarks on the ``Converse Direction''
- Rational Recommendations in Games as Weakest Permissions
- Conclusion
- References
- An Andersonian Deontic Logic with Contextualized Sanctions
- Introduction
- The Logic DSL
- Deontic Properties of DSL
- DSL's Treatment of Deontic `Paradoxes'
- Ross' Paradox
- The Good Samaritan
- The Gentle Murderer
- Further Discussion
- On the Interplay between Deontic and Alethic Modalities in DSL
- Permissions
- Outlook
- References
- A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
- Introduction
- Dynamic Logic of Propositional Control DL-PC
- Syntax
- Models
- Updating Valuations
- Varying the Successor Function
- Truth Conditions
- Validity
- Decidability
- Case Study: Voting and Legal Voting
- Legal and Illegal Action
- Legal/Illegal Ballots
- Conclusion
- References
- A Deontic Action Logic with Sequential Composition of Actions
- Introduction
- Fundamentals of Deontic Action Logic with Sequential Composition of Actions
- Basic Intuitions
- Action Part of the Model
- Deontic Part of the Model
- Logic
- Formal Language
- Satisfaction in the Model
- Toy Example
- Identity of Actions
- Deontic Laws
- Conclusion and Future Perspectives
- References
- Discussion Paper: Changing Norms Is Changing Obligation Change
- Introduction
- First-Order versus Second-Order Change
- The Two Faces of Change in Rule-Based Normative System Representations
- Semantic Definitions of the Two Faces of Change
- Definitions
- Second Order Operators
- Automata for Representing Norms and Norm Change
- Norms as Automata
- Comments
- Analogous Mechanisms in Non-normative Contexts
- Theory Change
- Yet other Change Phenomena
- An Internal versus an External Perspective on Change
- Summary
- References
- Author Index
