Violated Obligations in a Defeasible Deontic Logic
Author: Leendert W.N. van der Torre
Publisher:
Published: 1994
Total Pages: 0
ISBN-13:
DOWNLOAD EBOOKPosts
Defeasible Deontic Logic
Author: Donald Nute
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 361
ISBN-13: 9401588511
DOWNLOAD EBOOKRelevant 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.
Defeasible Deontic Logic
Author: Donald Nute
Publisher: Springer Science & Business Media
Published: 1997-07-31
Total Pages: 376
ISBN-13: 9780792346302
DOWNLOAD EBOOKThese 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
Deontic Logic in Computer Science
Author: Ron van der Meyden
Publisher: Springer
Published: 2008-07-14
Total Pages: 288
ISBN-13: 3540705252
DOWNLOAD EBOOKThis 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.
Advances in Information Systems Development
Author: Gabor Magyar
Publisher: Springer Science & Business Media
Published: 2007-08-28
Total Pages: 542
ISBN-13: 0387707611
DOWNLOAD EBOOKThis 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.
Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic
Author: Leendert W.N. van der Torre
Publisher:
Published: 1995
Total Pages:
ISBN-13:
DOWNLOAD EBOOKPRIMA 2014: Principles and Practice of Multi-Agent Systems
Author: Hoa Khanh Dam
Publisher: Springer
Published: 2014-10-25
Total Pages: 478
ISBN-13: 3319131915
DOWNLOAD EBOOKThis 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.
Adaptive Logics for Defeasible Reasoning
Author: Christian Straßer
Publisher: Springer Science & Business Media
Published: 2013-11-29
Total Pages: 443
ISBN-13: 3319007920
DOWNLOAD EBOOKThis 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.
Deontic Logic in Computer Science
Author: John-Jules Ch. Meyer
Publisher:
Published: 1993
Total Pages: 344
ISBN-13:
DOWNLOAD EBOOKA 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.
Logics for Databases and Information Systems
Author: Jan Chomicki
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 442
ISBN-13: 1461556430
DOWNLOAD EBOOKTime 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.
