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.
These 13 papers collected from several meetings of the Society for Exact Philosophy from 1993-96 take a variety of approaches to the task of integrating normative and defeasible reasoning. While most of the papers propose some version of defeasible deontic logic, a few consider alternatives approaches to solving some of the puzzles of normative reasoning that deontic reasoning has failed to resolve. The authors also describe standard deontic logic. Name index only. Annotation copyrighted by Book News, Inc., Portland, OR
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.
This monograph details the proceedings of the 15th International Conference on Information Systems Development. ISD is progressing rapidly, continually creating new challenges for the professionals involved. New concepts, approaches and techniques of systems development emerge constantly in this field. Progress in ISD comes from research as well as from practice. The aim of the Conference was to provide an international forum for the exchange of ideas and experiences between academia and industry, and to stimulate the exploration of new solutions.
This book constitutes the refereed proceedings of the 17th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2014, held in Gold Coast, QLD, Australia, in December 2014. The conference was co-located with the 13th Pacific RIM International Conference on Artificial Intelligence, PRICAI 2014. The 21 revised full papers presented together with 15 short papers were carefully reviewed and selected from 77 submissions. The papers are organized in topical sections on self organization and social networks/crowdsourcing; logic and argumentation; simulation and assurance; interaction and applications; norms, games and social choice; and metrics, optimisation, negotiation and learning.
This book presents adaptive logics as an intuitive and powerful framework for modeling defeasible reasoning. It examines various contexts in which defeasible reasoning is useful and offers a compact introduction into adaptive logics. The author first familiarizes readers with defeasible reasoning, the adaptive logics framework, combinations of adaptive logics, and a range of useful meta-theoretic properties. He then offers a systematic study of adaptive logics based on various applications. The book presents formal models for defeasible reasoning stemming from different contexts, such as default reasoning, argumentation, and normative reasoning. It highlights various meta-theoretic advantages of adaptive logics over other logics or logical frameworks that model defeasible reasoning. In this way the book substantiates the status of adaptive logics as a generic formal framework for defeasible reasoning.
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.
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.
A collection of refereed papers presented at the 11th European Conference on Artificial Intelligence held in Amsterdam, The Netherlands in August 1994.
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.
