道義邏輯與人工規(guī)范系統(tǒng)

內(nèi)容概要

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.

書(shū)籍目錄

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 ParadoxAuthor Index

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

    道義邏輯與人工規(guī)范系統(tǒng) PDF格式下載

---