Deontic Logic in Computer Science

Name: Deontic Logic in Computer Science | 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings
Brand: Springer
Price: 48.14 EUR
Availability: OnlineOnly

11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings

Thomas Agotnes Jan M. Broersen Dag Elgesem(Herausgeber*in)

Springer (Verlag)

Erschienen am 11. Juli 2012

XII, 215 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-31570-1 (ISBN)

48,14 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

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

Systemvoraussetzungen

Als PDF speichern Als Link merken