+612 9045 4394
 
CHECKOUT
Norms, Logics and Information Systems : New Studies on Deontic Logic and Computer Science - H. Prakken

Norms, Logics and Information Systems

New Studies on Deontic Logic and Computer Science

By: H. Prakken (Editor), P. McNamara (Editor)

Hardcover

Published: 1st January 1998
Ships: 7 to 10 business days
7 to 10 business days
RRP $314.99
$217.75
31%
OFF
or 4 easy payments of $54.44 with Learn more

This book presents research in an interdisciplinary field, resulting from the vigorous and fruitful cross-pollination between traditional deontic logic and computer science. AI researchers have used deontic logic as one of the tools in modelling legal reasoning. Computer scientists have discovered that computer systems (including their interaction with other computer systems and with human agents) can often be productively modelled as norm-governed. So, for example, deontic logic has been applied by computer scientists for specifying bureaucratic systems, access and security policies, and soft design or integrity constraints, and for modelling fault tolerance. In turn, computer scientists and AI researchers have also discovered (and made it clear to the rest of us) that various formal tools (e.g. nonmonotonic, temporal and dynamic logics) developed in computer science and artificial intelligence have interesting applications to traditional issues in deontic logic. This volume presents some of the best work done in this area, with the selection at once reflecting the general interdisciplinary (and international) character that this area of research has taken on, as well as reflecting the more specific recent inter-disciplinary developments between traditional deontic logic and computer science.

Preface
Introductionp. 1
Deontic Logic - as I See Itp. 15
Norms and Truth
On a Fundamental Problem of Deontic Logicp. 29
Moderately Naturalistic Deontic Logicp. 55
An Update Semantics for Deontic Reasoningp. 73
Agency and Time
Moral Preference, Contrary-to-Duty Obligation and Defeasible Oughtsp. 93
Agents with Changing and Conflicting Commitments: A Preliminary Studyp. 109
On Relations between Aqvist's Deontic System G and Van Eck's Deontic Temporal Logicp. 127
Analysis of Normative Concepts
Iterated Conditionals and Causal Imputationp. 147
Intermediate Concepts as Couplings of Conceptual Structuresp. 163
Doing Well Enough in An Andersonian-Kangerian Frameworkp. 181
Defeasibility and Norm Conflicts
Norms, Priorities, and Defeasibilityp. 201
Some Observations on Carlos Alchourron's Theory of Defeasible Conditionalsp. 219
Dynamic Obligation Hierarchiesp. 231
Reasoning about Norms Provided by Conflicting Regulationsp. 247
Computer Systems Applications
Protocol Breaches and Violation Flawsp. 265
Formal Definitions of Fraudp. 275
Normative Positionsp. 289
Combinations of Logics
Dealing with Label Dependent Deontic Modalitiesp. 311
Deontic Logic with Relevancep. 331
Contextual Deontic Logicsp. 347
Author Indexp. 363
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9789051994278
ISBN-10: 9051994273
Series: Frontiers in Artificial Intelligence and Applications
Audience: General
Format: Hardcover
Language: English
Number Of Pages: 376
Published: 1st January 1998
Publisher: IOS Press
Country of Publication: US
Dimensions (cm): 23.4 x 15.6  x 2.2
Weight (kg): 0.7
Edition Number: 1