道义逻辑与人工规范系统： DEON 2006/会议录 Deontic logic and artificial normative systems

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. The 18 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected for inclusion in the book. The papers are devoted to the relationship between normative concepts and computer science, artificial intelligence, philosophy, organization theory, and law. In addition to these topics, special emphasis is placed on artificial normative systems, their theory, specification and implementation, such as electronic institutions, norm-regulated multi-agent systems and artificial agent societies generally.

The LNAI series reports state-of-the-art results in artificial intelligence re-search, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNAI has grown into the most comprehensive artificial intelligence research forum available.
The scope of LNAI spans the whole range of artificial intelligence and intelli- gent information processing including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes.
proceedings (published in time for the respective conference)；
post-proceedings (consisting of thoroughly revised final full papers)；
research monographs (which may be based on PhD work).

Abstracts of Invited Papers
Roles, Counts-as and Deontic and Action Logics
Norms and Electronic Institutions
Emotion Models for Situated Normative Systems?
Contributed Papers
Addressing Moral Problems Through Practical Reasoning
A Logical Architecture of a Normative System
Delegation of Power in Normative Multiagent Systems
Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario
Acting with an End in Sight
A State/Event Temporal Deontic Logic
Speech Acts with Institutional Effects in Agent Societies
Counts-as: Classification or Constitution? An Answer Using Modal Logic
Don't Ever Do That! Long-Term Duties in PDeL
On the Normative Aspect of Signalling Conventions
Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms
Conflicting Obligations in Multi-agent Deontic Logic
Intermediate Concepts in Normative Systems
Propositional Quantifiers in Deontic Logic
A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies
The Deontic Component of Action Language nC+
A Complete and Decidable Axiomatisation for Deontic Interpreted Systems
Sequences, Obligations, and the Contrary-to-Duty Paradox
Author Index