Deontic Logic, Agency and Normative Systems

Deontic Logic, Agency and Normative Systems
Author: Mark A. Brown
Publisher: Springer Science & Business Media
Total Pages: 248
Release: 2012-12-06
Genre: Computers
ISBN: 1447114884

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, Agency and Normative Systems

Deontic Logic, Agency and Normative Systems
Author: Mark A. Brown
Publisher: Springer
Total Pages: 235
Release: 2011-12-21
Genre: Computers
ISBN: 9781447114895

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.

Normative Systems

Normative Systems
Author: Carlos E. Alchourron
Publisher: Springer
Total Pages: 234
Release: 1971-11-30
Genre: Business & Economics
ISBN:

In consequence of an increased interest in problems relating to human action, normative concepts have been much discussed by philosophers and logicians in the past twenty years. Deontic logic, which deals with the normative use of language and such normative concepts as obligation, prohibition and permission, has become one of the most intensively cultivated areas of formal logic. Important investigations have been carried out which have shed considerable light on various aspects of the normative phenomenon and a great number of different systems of deontic logic have been developed. This progressive proliferation of deontic logics not only shows the great interest of logicians in normative discourse, but also reflects a basic perplexity: the lack of suitable criteria of adequacy for the interpretation of deontic calculi and hence difficulty in decid ing which of the systems provides the best reconstruction of the underlying normative concepts and can therefore be applied with the most fruitful results. This difficulty is so great that some authors have even expressed doubts about the practical usefulness of deontic logic. One of the sources of this perplexity lies in the absence of a well established pre-analytical basis for formal studies. It is sometimes even uncertain what the intuitive notions are that deontic logicians intend to reconstruct. In talking about obligations, prohibitions and permissions, they usually have in mind moral norms. But the choice of moral norm as an explicandum for the construction of a logic of norms has several disadvantages.

Deontic Logic and Artificial Normative Systems

Deontic Logic and Artificial Normative Systems
Author: Lou Goble
Publisher: Springer Science & Business Media
Total Pages: 282
Release: 2006-06-29
Genre: Computers
ISBN: 3540358420

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 Normative Systems

Deontic Logic and Normative Systems
Author: Fabrizio Cariani
Publisher: Springer
Total Pages: 285
Release: 2014-06-30
Genre: Mathematics
ISBN: 3319086154

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 Legal Systems

Deontic Logic and Legal Systems
Author: Pablo E. Navarro
Publisher: Cambridge University Press
Total Pages: 289
Release: 2014-09-29
Genre: Law
ISBN: 0521767393

"Logic and law have a long history in common, but the influence has been mostly one-sided, except perhaps in the 5th and 6th centuries B.C., where disputes at the market place or in tribunals in Greece seem to have stimulated a lot of reflection among sophistic philosophers on such topics as language and truth. Most of the time it was logic that influenced legal thinking, but in the last 50 years logicians began to be interested in normative concepts and hence in law"--

Norms, Logics and Information Systems

Norms, Logics and Information Systems
Author: Paul McNamara
Publisher: IOS Press
Total Pages: 378
Release: 1999
Genre: Computers
ISBN: 9789051994278

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.

Deontic Logic and Normative Systems

Deontic Logic and Normative Systems
Author: Jan Broersen
Publisher:
Total Pages: 344
Release: 2018-06-11
Genre: Artificial intelligence
ISBN: 9781848902787

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

Extending Deontic Logic for the Formalisation of Legal Rules

Extending Deontic Logic for the Formalisation of Legal Rules
Author: L.L. Royakkers
Publisher: Springer Science & Business Media
Total Pages: 199
Release: 2013-04-17
Genre: Law
ISBN: 9401590990

This book describes extensions of deontic logic. Deontic logic is a branch of philosophical logic involving reasoning with norms, obligations, prohibitions and permissions. The extensions concern the logical structure of legal rules and legal reasoning. Their function is to improve the representation of legal knowledge and enhance deontic logic through increased expressibility. The resulting formulas acquire new meanings, not expressible in standard deontic logic, which are subject to fresh interpretations. The author offers an extensive analysis of the representation of actors, to whom the norms are directed, and authorities who enact the norms. Moreover, a distinction is made between enactment and applicability. A modality of enactment can be used to express inconsistent enacted norms in a consistent way. An authority-hierarchy is introduced to filter out the applicable norms from the set of enacted norms. Some related philosophical questions will be discussed regarding the applications of formalisms that are intrinsic to practical science with respect to `consistency' and `universality'. The formalisms and applications considered here are relevant for law, philosophy and computer science, with a special focus on the improvement of legal expert systems and intelligent support for legal professionals.