Download or read book Norms Logics and Information Systems written by Paul McNamara and published by IOS Press. This book was released on 1999 with total page 378 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Logic in the Theory and Practice of Lawmaking written by Michał Araszkiewicz and published by Springer. This book was released on 2015-10-05 with total page 567 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the current state of the art regarding the application of logical tools to the problems of theory and practice of lawmaking. It shows how contemporary logic may be useful in the analysis of legislation, legislative drafting and legal reasoning concerning different contexts of law making. Elaborations of the process of law making have variously emphasised its political, social or economic aspects. Yet despite strong interest in logical analyses of law, questions remains about the role of logical tools in law making. This volume attempts to bridge that gap, or at least to narrow it, drawing together some important research problems—and some possible solutions—as seen through the work of leading contemporary academics. The volume encompasses 20 chapters written by authors from 16 countries and it presents diversified views on the understanding of logic (from strict mathematical approaches to the informal, argumentative ones) and differentiated choices concerning the aspects of law making taken into account. The book presents a broad set of perspectives, insights and results into the emerging field of research devoted to the logical analysis of the area of creation of law. How does logic inform lawmaking? Are legal systems consistent and complete? How can legal rules be represented by means of formal calculi and visualization techniques? Does the structure of statutes or of legal systems resemble the structure of deductive systems? What are the logical relations between the basic concepts of jurisprudence that constitute the system of law? How are theories of legal interpretation relevant to the process of legislation? How might the statutory text be analysed by means of contemporary computer programs? These and other questions, ranging from the theoretical to the immediately practical, are addressed in this definitive collection.
Download or read book Deontic Logic and Normative Systems written by Fabrizio Cariani and published by Springer. This book was released on 2014-06-30 with total page 285 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Deontic Logic and Artificial Normative Systems written by Lou Goble and published by Springer. This book was released on 2006-07-02 with total page 282 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Logics for Databases and Information Systems written by Jan Chomicki and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 442 pages. Available in PDF, EPUB and Kindle. Book excerpt: Time is ubiquitous in information systems. Almost every enterprise faces the problem of its data becoming out of date. However, such data is often valu able, so it should be archived and some means to access it should be provided. Also, some data may be inherently historical, e.g., medical, cadastral, or ju dicial records. Temporal databases provide a uniform and systematic way of dealing with historical data. Many languages have been proposed for tem poral databases, among others temporal logic. Temporal logic combines ab stract, formal semantics with the amenability to efficient implementation. This chapter shows how temporal logic can be used in temporal database applica tions. Rather than presenting new results, we report on recent developments and survey the field in a systematic way using a unified formal framework [GHR94; Ch094]. The handbook [GHR94] is a comprehensive reference on mathematical foundations of temporal logic. In this chapter we study how temporal logic is used as a query and integrity constraint language. Consequently, model-theoretic notions, particularly for mula satisfaction, are of primary interest. Axiomatic systems and proof meth ods for temporal logic [GHR94] have found so far relatively few applications in the context of information systems. Moreover, one needs to bear in mind that for the standard linearly-ordered time domains temporal logic is not re cursively axiomatizable [GHR94]' so recursive axiomatizations are by necessity incomplete.
Download or read book Deontic Logic in Computer Science written by Alessio Lomuscio and published by Springer. This book was released on 2004-08-17 with total page 285 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book The Role of Norms and Electronic Institutions in Multi Agent Systems written by Javier Vazquez-Salceda and published by Birkhäuser. This book was released on 2012-12-06 with total page 284 pages. Available in PDF, EPUB and Kindle. Book excerpt: "It is not the consciousness of men that defines their existence, but, on the contrary, their social existence determines their consciousness." Karl Marx In recent years, several researchers have argued that the design of multi-agent sys tems (MAS) in complex, open environments can benefit from social abstractions in order to cope with problems in coordination, cooperation and trust among agents, problems which are also present in human societies. The agent-mediated electronic institutions (e-institutions for short) is a new and promising field which focuses in the concepts of norms and institutions in order to pro vide normative frameworks to restrict or guide the behaviour of (software) agents. The main idea is that the interactions among a group of (software) agents are ruled by a set of explicit norms expressed in a computational language representation that agents can interpret. Such norms should not be considered as a negative constraining factor but as an aid that guides the agents' choices and reduces the complexity ofthe environment making the behaviour of other agents more predictable.
Download or read book Deontic Logic in Computer Science written by Guido Governatori and published by Springer Science & Business Media. This book was released on 2010-06-30 with total page 331 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Agency Norms Inquiry and Artifacts Essays in Honor of Risto Hilpinen written by Paul McNamara and published by Springer Nature. This book was released on 2022-04-14 with total page 256 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Logic Rationality and Interaction written by Davide Grossi and published by Springer. This book was released on 2013-10-01 with total page 372 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book collects the papers presented at the 4th International Workshop on Logic, Rationality and Interaction/ (LORI-4), held in October 2013 at the /Center for the Study of Language and Cognition, Zhejiang University, Hangzhou, China. LORI is a series that brings together researchers from a variety of logic-related fields: Game and Decision Theory, Philosophy, Linguistics, Computer Science and AI. This year had a special emphasis on Norms and Argumentation. Out of 42 submissions, 23 full papers and 11 short contributions have been selected through peer-review for inclusion in the workshop program and in this volume. The quality and diversity of these contributions witnesses a lively, fast-growing, and interdisciplinary community working at the intersection of logic and rational interaction.
Download or read book Computational Logic in Multi Agent Systems written by Francesca Toni and published by Springer. This book was released on 2006-04-12 with total page 444 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the strictly refereed post-proceedings of the 6th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VI. The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article are organized in topical sections on foundational aspects of agency, agent programming, agent interaction and normative systems, the first CLIMA contest, and on the project report of the SOCS project.
Download or read book Computational Logic in Multi Agent Systems written by Katsumi Inoue and published by Springer Science & Business Media. This book was released on 2007-01-12 with total page 324 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VII, held in Hakodate, Japan, in May 2006. It was an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The series of workshops presents current work on application of general and declarative theories.
Download or read book The Logic of Legal Requirements written by Jordi Ferrer Beltrán and published by OUP Oxford. This book was released on 2012-09-13 with total page 434 pages. Available in PDF, EPUB and Kindle. Book excerpt: When a legal rule requires us to drive on the right, notarize our wills, or refrain from selling bootleg liquor, how are we to describe and understand that requirement? In particular, how does the logical form of such a requirement relate to the logical form of other requirements, such as moral requirements, or the requirements of logic itself? When a general legal rule is applied or distinguished in a particular case, how can we describe that process in logical form? Such questions have come to preoccupy modern legal philosophy as its methodology, drawing on the philosophy of logic, becomes ever more sophisticated. This collection gathers together some of the most prominent legal philosophers in the Anglo-American and civil law traditions to analyse the logical structure of legal norms. They focus on the issue of defeasibility, which has become a central concern for both logicians and legal philosophers in recent years. The book is divided into four parts. The first section is devoted to unravelling the basic concepts related to legal defeasibility and the logical structure of legal norms, focusing on the idea that law, or its components, are liable to implicit exceptions, which cannot be specified before the law's application to particular cases. Part two aims to disentangle the main relations between the issue of legal defeasibility and the issue of legal interpretation, exploring the topic of defeasibility as a product of certain argumentative techniques in the law. Section 3 of the volume is dedicated to one of the most problematic issues in the history of jurisprudence: the connections between law and morality. Finally, section 4 of the volume is devoted to analysing the relationships between defeasibility and legal adjudication.
Download or read book AI Approaches to the Complexity of Legal Systems written by Pompeu Casanovas and published by Springer Science & Business Media. This book was released on 2010-10-21 with total page 251 pages. Available in PDF, EPUB and Kindle. Book excerpt: The inspiring idea of this workshop series, Artificial Intelligence Approaches to the Complexity of Legal Systems (AICOL), is to develop models of legal knowledge, concerning organization, structure and content, in order to promote mutual understanding and communication between different systems and cultures. Complexity and complex systems describe recent developments in AI and law, legal theory, argumentation, the Semantic Web, and multi-agent systems. The aim of the AICOL workshops is thus to offer effective support for the exchange of knowledge and methodological approaches between scholars from different scientific fields, by highlighting their similarities and differences. The comparison of multiple formal approaches to the law (such as logical models, cognitive theories, argumentation frameworks, graph theory, game theory), as well as opposite perspectives like internal and the external viewpoints, this volume stresses possible convergences, as, for instance, are possible in the realms of conceptual structures, argumentation schemes, emergent behaviors, learning evolution, adaptation, and simulation. This volume assembles 15 thoroughly refereed and revised papers, selected from two workshops organized at the XXIV World Congress of Philosophy of Law and Social Philosophy (IVR, Beijing, China, September 15-20, 2009) and at JURIX-09 (December 16-19, 2009, Rotterdam). The papers are organized in topical sections on language and complex systems in law, ontologies and the representation of legal knowledge, argumentation and logics, as well as dialogue and legal multimedia.
Download or read book Jurisprudence in the Mirror written by Luka Burazin and published by Oxford University Press. This book was released on 2024-09-11 with total page 532 pages. Available in PDF, EPUB and Kindle. Book excerpt: There is something quite puzzling about the global conversation on jurisprudence. On the one hand, jurisprudence is supposed to deal with abstract questions concerning the nature, structure, and distinctive features of the law. These questions are not tightly associated with, or dependent on, the particular legal practices in one jurisdiction or another. But, on the other hand, it seems that jurisprudents are tacitly affected by their background institutional context: there is an evident divide between theorizing about the law in the civil law world and in the common law world. Jurisprudence in the Mirror: The Common Law World Meets the Civil Law World systematically presents the major achievements of contemporary civil law jurisprudence to the common law world and bridges the gap in analytic jurisprudence as it is currently practiced in the two traditions. The volume seeks to bring different voices to the table and overcome the cultural and linguistic divides that have created barriers in philosophical exchanges. The book's structure is dialogical: it includes twelve essays written by prominent and influential jurisprudents from the civil law world, each followed by a response by a jurisprudent from the common law world. This approach highlights what the two worlds share, where they part ways, and why. The varied contributions reveal how their respective legal traditions shape fundamental legal concepts and jurisprudential debates and will be invaluable to readers from both the civil and common law worlds.
Download or read book Deontic Logic in Computer Science written by Ron van der Meyden and published by Springer. This book was released on 2008-07-14 with total page 288 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume presents the papers contributed to ?EON 2008, the 9th Inter- tional Conference on Deontic Logic in Computer Science, held in Luxembourg, July 16–18, 2008. This biennial conference series is designed to promote int- national cooperation amongst scholars who are interested in deontic logic and its use in computer science. The scope of the conference is interdisciplinary, and includes research that links the formal-logical study of normative concepts and normative systems with computer science, arti?cial intelligence, philosophy, - ganization theory, and law. The ?EON website, http://www.deonticlogic.org, contains links to previous conferences and their papers. This history reveals a vibrant interdisciplinary research program. Papers for these conferences might address such general themes as the - velopment of formal systems of deontic logic and related areas of logic, such as logics of action and agency, or the formal analysis of all sorts of normative concepts, such as the notions of rule, role, regulation, authority, power, rights, responsibility, etc., or the formal representation of legal knowledge. They might also be concerned with applications, such as the formal speci?cation of n- mative multiagent systems, the speci?cation of systems for the management of bureaucratic processes in public or private administration, or the speci?cation of database integrity constraints or computer security protocols, and more. Of particular interest is the interaction between computer systems and their users.
