Deontic Logic and Artificial Normative Systems

1. Front Matter

   PDF

2. Abstracts of Invited Papers

   1. Roles, Counts-as and Deontic and Action Logics

      • José Carmo

      Pages 1-1

   2. Norms and Electronic Institutions

      • F. Dignum

      Pages 2-5

   3. Emotion Models for Situated Normative Systems?

      • Paolo Petta

      Pages 6-7

3. Contributed Papers

   1. Addressing Moral Problems Through Practical Reasoning

      • Katie Atkinson, Trevor Bench-Capon

      Pages 8-23

   2. A Logical Architecture of a Normative System

      • Guido Boella, Leendert van der Torre

      Pages 24-35

   3. Delegation of Power in Normative Multiagent Systems

      • Guido Boella, Leendert van der Torre

      Pages 36-52

   4. Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario

      • Jan Broersen

      Pages 53-68

   5. Acting with an End in Sight

      • Mark A. Brown

      Pages 69-84

   6. A State/Event Temporal Deontic Logic

      • Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali

      Pages 85-100

   7. Speech Acts with Institutional Effects in Agent Societies

      • Robert Demolombe, Vincent Louis

      Pages 101-114

   8. Counts-as: Classification or Constitution? An Answer Using Modal Logic

      • Davide Grossi, John-Jules Ch. Meyer, Frank Dignum

      Pages 115-130

   9. Don’t Ever Do That! Long-Term Duties in PD _e L

      • Jesse Hughes, Lambèr Royakkers

      Pages 131-148

   10. On the Normative Aspect of Signalling Conventions

       • Andrew J. I. Jones, Steven O. Kimbrough

       Pages 149-160

   11. Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms

       • Souhila Kaci, Leendert van der Torre

       Pages 161-174

   12. Conflicting Obligations in Multi-agent Deontic Logic

       • Barteld Kooi, Allard Tamminga

       Pages 175-186

   13. Intermediate Concepts in Normative Systems

       • Lars Lindahl, Jan Odelstad

       Pages 187-200

   14. Propositional Quantifiers in Deontic Logic

       • Gert-Jan C. Lokhorst

       Pages 201-209

   15. A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies

       • Thomas Müller

       Pages 210-221

   16. The Deontic Component of Action Language \(n{\mathcal{C}}+\)

       • Marek Sergot, Robert Craven

       Pages 222-237

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 across disciplines who are interested in deontic logic and its use in computer science. They support research that links the formal-logical study of normative concepts and normative systems with computer science, arti?cial intelligence, philosophy, organization theory, and law. Papers for these workshops might address such general themes as the dev- opment of formal systems of deontic logic and related areas of logic, such as logics of action and agency, or the formal analysis of all sorts of normative concepts, such as the notions of rule, role, regulation, authority, power, rights, respon- bility, etc. , or the formal representation of legal knowledge. They might also be more concerned with applications, such as the formal speci?cation of systems for the management of bureaucratic processes in public or private administration, or the speci?cation of database integrity constraints or computer security protocols, and more. Of particular interest is the interaction between computer systems and their users. (The DEON 2006 website, http://www. cs. uu. nl/deon2006/,c- tains links to previous workshops and their papers. This history reveals a vibrant interdisciplinary research program.

• AI logics
• action logic
• algorithms
• artificial intelligence
• atificial agent societies
• classification
• computer science logic
• defeasable logic
• deontic logic
• formal reasoning
• formal verification
• intelligence
• logic
• multi-agent system
• normative concepts

• Department of Philosophie, Willamette University, Salem, USA

  Lou Goble

• Utrecht University, Utrecht, The Netherlands

  John-Jules Ch. Meyer

Policies and ethics