Deontic Logic in Computer Science计算机科学中的道义逻辑/会议录

出版时间：2004-06-24  出版社：Springer  作者：Lomuscio, A.; Lomuscio, Alessio; Nute, Donald  页数：274  
Tag标签：无  

内容概要

This book constitutes the refereed proceedings of the 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, held in Madeira, Portugal, in May 2004.    The 15 revised full papers presented together with the abstracts of 2 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, organization theory, and law; in addition to these topics, special emphasis is placed on the relationship between deontic logic and multiagent systems.

书籍目录

Proceedings of DEON 2004Abstracts of Invited Papers  Obligation,Contracts,and Negotiation  Social Laws in Alternating TimeContributed Papers  Combinations of Tense and Deontic Modality  The Social Delegation Cycle  Designing a Deontic Logic of Deadlines  Obligation Change in Dependence Logic and Situation Calculus  A Proposal for Dealing with Deontic Dilemmas  Defeasible Logic: Agency, Intention and Obligation  Collective Obligations and Agents: Who Gets the Blame?  Conflicting Imperatives and Dyadic Deontic Logic  On Obligations and Abilities  On Normative-Informational Positions  Quasi-matrix Deontic Logic  Delegation in a Role-Based Organization  Automatic Verification of Deontic Properties of Multi-agent Systems  Specifying Multiagent Organizations  Maintaining Obligations on Stative Expressions in a Deontic Action LogicAuthor Index