Sebanyak 2 item atau buku ditemukan

Legal Evidence and Proof

Statistics, Stories, Logic

As a result of recent scandals concerning evidence and proof in the administration of criminal justice - ranging from innocent people on death row in the United States to misuse of statistics leading to wrongful convictions in The Netherlands and elsewhere - inquiries into the logic of evidence and proof have taken on a new urgency both in an academic and practical sense. This study presents a broad perspective on logic by focusing on inference not just in isolation but as embedded in contexts of procedure and investigation. With special attention being paid to recent developments in Artificial Intelligence and the Law, specifically related to evidentiary reasoning, this book provides clarification of problems of logic and argumentation in relation to evidence and proof. As the vast majority of legal conflicts relate to contested facts, rather than contested law, this volume concerning facts as prime determinants of legal decisions presents an important contribution to the field for both scholars and practitioners.

As the vast majority of legal conflicts relate to contested facts, rather than contested law, this volume concerning facts as prime determinants of legal decisions presents an important contribution to the field for both scholars and ...

Norms, Logics and Information Systems

New Studies in Deontic Logic and Computer Science

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.

This book presents research in an interdisciplinary field, resulting from the vigorous and fruitful cross-pollination between traditional deontic logic and computer science.