Deontic Logic and Artificial Normative Systems

Deontic Logic and Artificial Normative Systems PDF

Author: Lou Goble

Publisher: Springer Science & Business Media

Published: 2006-06-29

Total Pages: 282

ISBN-13: 3540358420

DOWNLOAD EBOOK →

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. Presents 18 revised full papers together with the abstracts of 3 invited talks. The papers are devoted to the relationship between normative concepts and computer science, artificial intelligence, philosophy, organization theory, and law. Special emphasis is placed on artificial normative systems.

Deontic Logic and Artificial Normative Systems

Deontic Logic and Artificial Normative Systems PDF

Author: Lou Goble

Publisher: Springer

Published: 2006-07-02

Total Pages: 0

ISBN-13: 9783540358435

DOWNLOAD EBOOK →

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. Presents 18 revised full papers together with the abstracts of 3 invited talks. The papers are devoted to the relationship between normative concepts and computer science, artificial intelligence, philosophy, organization theory, and law. Special emphasis is placed on artificial normative systems.

Deontic Logic, Agency and Normative Systems

Deontic Logic, Agency and Normative Systems PDF

Author: Mark A. Brown

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 248

ISBN-13: 1447114884

DOWNLOAD EBOOK →

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.

Deontic Logic and Normative Systems

Deontic Logic and Normative Systems PDF

Author: Fabrizio Cariani

Publisher: Springer

Published: 2014-06-30

Total Pages: 285

ISBN-13: 3319086154

DOWNLOAD EBOOK →

This volume presents the refereed proceedings of the 12th International Conference on Deontic Logic and Normative Systems, DEON 2014, held in Ghent, Belgium, in July 2014. The 17 revised papers and the 2 invited papers included in this volume were carefully reviewed and selected from 31 submissions. Topics covered include challenges from natural language for deontic logic; the relationship between deontic and other types of modality: epistemic modality, imperatives, supererogatory, etc.; the deontic paradoxes; the modeling of normative concepts other than obligation and permission, e.g., values; the game-theoretical aspects of deontic reasoning; the emergence of norms; norms from a conversational and pragmatic point of view; and norms and argumentation.

Deontic Logic and Normative Systems. 15th International Conference, DEON 2020/2021

Deontic Logic and Normative Systems. 15th International Conference, DEON 2020/2021 PDF

Author: Fenrong Liu

Publisher:

Published: 2021-09-16

Total Pages: 462

ISBN-13: 9781848903524

DOWNLOAD EBOOK →

This volume contains the proceedings of DEON2020/2021, the 15th International Conference on Deontic Logic and Normative Systems. The biennial DEON conferences are designed to promote interdisciplinary cooperation among scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law. In addition to these general themes, DEON2020/2021 encouraged a special focus on the topic "Norms in Social Perspective".

Deontic Logic in Computer Science

Deontic Logic in Computer Science PDF

Author: John-Jules Ch. Meyer

Publisher:

Published: 1993

Total Pages: 344

ISBN-13:

DOWNLOAD EBOOK →

A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant software.

Deontic Logic and Normative Systems

Deontic Logic and Normative Systems PDF

Author: Jan Broersen

Publisher:

Published: 2018-06-11

Total Pages: 344

ISBN-13: 9781848902787

DOWNLOAD EBOOK →

DEON 2018's special focus is "Deontic reasoning for responsible AI". The successes of Artificial Intelligence over the last few years have brought to the fore a new and important application area for deontic logic: Responsible AI. On the one hand, this concerns systems for checking and proving responsibility characteristics of artificial intelligent agents and their designs, and on the other hand, it concerns responsible decision making and machine ethics. This DEON's special theme "Deontic reasoning for responsible AI" solicits contributions that address issues related to these two subjects. Topics of interest in this special theme include, but are not limited to: * moral decision making * norm awareness * accountability * explainability * causal and probabilistic theories of responsibility * operationalizations of ethical theories * collective responsibility * grades of responsibility

Norms, Logics and Information Systems

Norms, Logics and Information Systems PDF

Author: Paul McNamara

Publisher: IOS Press

Published: 1999

Total Pages: 378

ISBN-13: 9789051994278

DOWNLOAD EBOOK →

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.

Handbook of Deontic Logic and Normative Systems

Handbook of Deontic Logic and Normative Systems PDF

Author: Dov Gabbay

Publisher:

Published: 2013-10

Total Pages: 646

ISBN-13: 9781848901322

DOWNLOAD EBOOK →

The Handbook of Deontic Logic and Normative Systems presents a detailed overview of the main lines of research on contemporary deontic logic and related topics. Although building on decades of previous work in the field, it is the first collection to take into account the significant changes in the landscape of deontic logic that have occurred in the past twenty years. These changes have resulted largely, though not entirely, from the interaction of deontic logic with a variety of other fields, including computer science, legal theory, organizational theory, economics, and linguistics. This first volume of the Handbook is divided into three parts, containing nine chapters in all, each written by leading experts in the field. The first part concentrates on historical foundations. The second examines topics of central interest in contemporary deontic logic. The third presents some new logical frameworks that have now become part of the mainstream literature. A second volume of the Handbook is currently in preparation, and there may be a third after that.