Deontic Logic Agency And Normative Systems

Author : Mark A. Brown,Jose Carmo
Publisher : Springer Science & Business Media
Page : 248 pages
File Size : 40,9 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9781447114888

Get Book

Deontic Logic, Agency and Normative Systems by Mark A. Brown,Jose Carmo Pdf

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.

Author : Mark A. Brown,Jose Carmo
Publisher : Springer
Page : 235 pages
File Size : 51,9 Mb
Release : 2011-12-21
Category : Computers
ISBN : 1447114892

Get Book

Deontic Logic, Agency and Normative Systems by Mark A. Brown,Jose Carmo Pdf

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.

Author : Paul McNamara,Henry Prakken
Publisher : IOS Press
Page : 378 pages
File Size : 46,8 Mb
Release : 1999
Category : Computers
ISBN : 9051994273

Get Book

Norms, Logics and Information Systems by Paul McNamara,Henry Prakken Pdf

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.

Author : Fabrizio Cariani,Davide Grossi,Joke Meheus,Xavier Parent
Publisher : Springer
Page : 273 pages
File Size : 52,7 Mb
Release : 2014-06-30
Category : Mathematics
ISBN : 9783319086156

Get Book

Deontic Logic and Normative Systems by Fabrizio Cariani,Davide Grossi,Joke Meheus,Xavier Parent Pdf

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.

Author : Carlos E. Alchourron,Eugenio Bulygin
Publisher : Springer
Page : 234 pages
File Size : 53,9 Mb
Release : 1971-11-30
Category : Business & Economics
ISBN : UCAL:B4175968

Get Book

Normative Systems by Carlos E. Alchourron,Eugenio Bulygin Pdf

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.

Author : Dov Gabbay,John Horty,Xavier Parent
Publisher : Unknown
Page : 790 pages
File Size : 45,8 Mb
Release : 2021-07-19
Category : Electronic
ISBN : 1848903634

Get Book

The Handbook of Deontic Logic and Normative Systems, Volume 2 by Dov Gabbay,John Horty,Xavier Parent Pdf

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. The second volume of the Handbook is divided into four parts, containing ten chapters in all, each written by leading experts in the field. The first three parts supplement the material offered in the first volume on historical foundations of deontic logic, specific problems of contemporary interest in new logical frameworks. The fourth part contains articles discussing applications of deontic logic in a number of different fields.

Author : Paul McNamara,Andrew J. I. Jones,Mark A. Brown
Publisher : Springer Nature
Page : 256 pages
File Size : 45,6 Mb
Release : 2022-04-14
Category : Philosophy
ISBN : 9783030907495

Get Book

Agency, Norms, Inquiry, and Artifacts: Essays in Honor of Risto Hilpinen by Paul McNamara,Andrew J. I. Jones,Mark A. Brown Pdf

The book contains a collection of chapters written by experts from the fields of philosophy, law, logic, computer science and artificial intelligence who pay tribute to Professor Risto Hilpinen's impressive work on the logic of induction, on deontic logic and epistemology, and on philosophy of science. In addition to an introduction by the editors, a section on Professor Hilpinen’s positions, professional services and honors, as well as a complete bibliography of his writings, the editors, McNamara, Jones and Brown, have compiled a multidisciplinary global cross-section of academic contemporaries that provides insights and perspectives on Hilpinen's influence and legacy. The essays reflect central aspects of Risto Hilpinen's research interests, and offer further contributions to some of the philosophical fields for which he is best known: applied modal logic, including deontic logic (from the ancient Greek δέον déon, pertaining to the concepts of duty and obligation), the semantics of normative language, the logic of action, and the theory of practical reasoning; the analysis of the concept of artifact; and the theory of semiotics in the tradition of Charles Peirce. The presence in the collection of several papers relating to deontic logic underlines Hilpinen's importance in that area, in which his publications have long been recognized as standard works. The book is an essential collection of ideas for all those who feel at home in a variety of formal disciplines, from propositional logic to the logic of artificial intelligence.

Author : R. Hilpinen
Publisher : Springer Science & Business Media
Page : 264 pages
File Size : 40,7 Mb
Release : 2012-12-06
Category : Philosophy
ISBN : 9789400984844

Get Book

New Studies in Deontic Logic by R. Hilpinen Pdf

The present volume is a sequel to Deontic Logic: Introductory and Systematic Readings (D. Reidel Publishing Company, Dordrecht 1971): its purpose is to offer a view of some of the main directions of research in contemporary deontic logic. Most of the articles included in Introductory and Systematic Readings represent what may be called the standard modal approach to deontic logic, in which de on tic logic is treated as a branch of modal logic, and the normative concepts of obligation, permission and prohibition are regarded as analogous to the "alethic" modalities necessity, possibility and impossibility. As Simo Knuuttila shows in his contribution to the present volume, this approach goes back to late medieval philosophy. Several 14th century philosophers observed the analogies between deontic and alethic modalities and discussed the deontic interpretations of various laws of modal logic. In contemporary deontic logic the modal approach was revived by G. H. von Wright's classic paper 'Deontic Logic' (1951). Certain analogies between deontic and alethic modalities are obvious and uncontroversial, but the standard approach has often been criticized on the ground that it exaggerates the analogies and tends to ignore those features of normative concepts which distinguish them from other modalities.

Author : Alessio Lomuscio,Donald Nute
Publisher : Springer
Page : 285 pages
File Size : 41,8 Mb
Release : 2004-08-17
Category : Computers
ISBN : 9783540259275

Get Book

Deontic Logic in Computer Science by Alessio Lomuscio,Donald Nute Pdf

This volume contains the workshop proceedings of DEON 2004, the Seventh International Workshop on Deontic Logic in Computer Science. The DEON workshop series aims at bringing together researchers interested in topics - lated to the use of deontic logic in computer science. It traditionally promotes research in the relationship between normative concepts and computer science, arti?cial intelligence, organisation theory, and law. In addition to these topics, DEON 2004 placed special emphasis on the relationship between deontic logic and multi-agent systems. The workshop was held in Madeira, Portugal, on 26–28 May 2004. This v- ume includes all 15 papers presented at the workshop, as well as two abstracts from the two outstanding invited speakers we were privileged to host: Prof Mark Brown (Syracuse University, USA), and Prof Mike Wooldridge (University of Liverpool, UK). The reader will ?nd that the topics covered span from t- oretical investigations on deontic concepts and their formalisation in logic, to the use of deontic formalisms to verify and reason about multi-agent systems applications. We believe this makes it a well-balanced and interesting volume. We wish to thank all those who contributed to this workshop, and especially the authors of the submitted papers and the referees. They were all forced to work on a very tight timescale to make this volume a reality.

Author : Lou Goble
Publisher : Springer Science & Business Media
Page : 282 pages
File Size : 53,5 Mb
Release : 2006-06-29
Category : Computers
ISBN : 9783540358428

Get Book

Deontic Logic and Artificial Normative Systems by Lou Goble Pdf

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.

Author : Thomas Agotnes,Jan M. Broersen,Dag Elgesem
Publisher : Springer
Page : 215 pages
File Size : 55,7 Mb
Release : 2012-07-11
Category : Mathematics
ISBN : 9783642315701

Get Book

Deontic Logic in Computer Science by Thomas Agotnes,Jan M. Broersen,Dag Elgesem Pdf

This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-agent systems and autonomous agents, normative aspects of protocols for communication, negotiation and multi-agent decision making, formal representation of legal knowledge, formal specification of normative systems for the management of bureaucratic processes in public or private administration, and applications of normative logic to the specification of database integrity constraints.

Author : Guido Governatori,Giovanni Sartor
Publisher : Springer Science & Business Media
Page : 331 pages
File Size : 40,6 Mb
Release : 2010-06-30
Category : Computers
ISBN : 9783642141829

Get Book

Deontic Logic in Computer Science by Guido Governatori,Giovanni Sartor Pdf

This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010. The 18 revised papers included in the volume were carefully reviewed and selected from 34 submissions. Topics covered include connections preferences, deontic logic and contrary-to-duties, the use of input/output logic, the study of norm dynamics, models of agents and institutions, argumentation, compliance, and various alternative analyses of deontic notions.

Author : Dov M. Gabbay,John Woods
Publisher : Elsevier
Page : 732 pages
File Size : 40,6 Mb
Release : 2006-05-10
Category : Mathematics
ISBN : 0080463037

Get Book

Logic and the Modalities in the Twentieth Century by Dov M. Gabbay,John Woods Pdf

Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and artificial intelligence, linguistics, cognitive science, argumentation theory, philosophy, and the history of ideas. This volume is number seven in the eleven volume Handbook of the History of Logic. It concentrates on the development of modal logic in the 20th century, one of the most important undertakings in logic’s long history. Written by the leading researchers and scholars in the field, the volume explores the logics of necessity and possibility, knowledge and belief, obligation and permission, time, tense and change, relevance, and more. Both this volume and the Handbook as a whole are definitive reference tools for students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, artificial intelligence, for whom the historical background of his or her work is a salient consideration. · Detailed and comprehensive chapters covering the entire range of modal logic. · Contains the latest scholarly discoveries and interpretative insights that answer many questions in the field of logic.

Author : Donald Nute
Publisher : Springer Science & Business Media
Page : 361 pages
File Size : 46,9 Mb
Release : 2012-12-06
Category : Philosophy
ISBN : 9789401588515

Get Book

Defeasible Deontic Logic by Donald Nute Pdf

Relevant to philosophy, law, management, and artificial intelligence, these papers explore the applicability of nonmonotonic or defeasible logic to normative reasoning. The resulting systems purport to solve well-known deontic paradoxes and to provide a better treatment than classical deontic logic does of prima facie obligation, conditional obligation, and priorities of normative principles.

Author : R. Hilpinen
Publisher : Springer Science & Business Media
Page : 198 pages
File Size : 45,9 Mb
Release : 2012-12-06
Category : Philosophy
ISBN : 9789401031462

Get Book

Deontic Logic: Introductory and Systematic Readings by R. Hilpinen Pdf