Deontic Logic, Agency and Normative Systems: ?EON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996Mark A. Brown, Jose Carmo This volume presents a variety of papers bearing on the relation between deontic logics, logics of action, and normative systems, i.e. systems of or about interacting agents (computers, human beings, corporations, etc.) whose behaviour is subject to ideal constraints that may not always be fulfilled in practice. The papers range from theoretical studies of the logical and conceptual tools needed, to studies of various applications. The set of papers collected in this book should be of interest to investigators working in a variety of fields, from philosophy, logic and legal theory to artificial intelligence, computer and management sciences, since it covers topics ranging from theoretical research on foundational issues in deontic and action logics, defeasible reasoning, decision theory, ethical theory, and legal theory, to research on a variety of issues relevant to applications connected with expert systems in the law, document specification, automation of defeasible reasoning, specification of responsibilities and powers in organizations, normative systems specification, confidentiality in database systems, and a host of other applications. |
Contents
Towards a Computational Treatment of Deontic Defeasibility | 27 |
Towards a Logic of Simply Dischargeable | 47 |
A Deontic Logic for Reasoning about Confidentiality | 66 |
Copyright | |
8 other sections not shown
Other editions - View all
Common terms and phrases
A-HOHFELD action expressions action operator adjoint functors agent argumentation framework Artificial Intelligence axiom BCS-FACS Belnap Ch(M Chellas choice CONDITIONAL conflict consider constraint cstit database defaults defeasible reasoning defined definition denote deontic logic deontic operators deontic stit derived DONE-BY ensure equivalent example Figure formal formula framework Functional Programming functor fundamental legal conceptions Hilpinen history h ideal impersonal notions implies infer influence International Workshop interpreted intuitive justified argument Kanger KEM-tree label LEGAL RELATIONS M₁ M₂ means minimal modal logic modal operators moral N₁ N₂ Netherlands norms Nuel Belnap O[a cstit obligation and permission obligatory OUGHTp overruled argument P₁ pairs paper personal obligation Philosophy Pörn possible POWER of acceptance principle problem propositional represent rule schemas satisfies SDLR's semantics set of sentences standard deontic statement stit models sub-ideal sublogic temporal tense logic theorem theory true University valid w₁