The paper discusses the potential value of a deontic approach to database specification. More specifically, some different types of integrity constraints are considered and a distinction is drawn between necessary (hard) and deontic (soft) constraints.Databases are compared with other normative systems. A deontic logic for database specification is proposed and the problems of how to react to, and of how to correct, or repair, a situation which arises through norm violation are discussed in the context of this logic. The limitations (...) of the proposed logic and possible modifications and extensions of it are analysed. (shrink)

Abstract.The paper outlines the approach to the analysis of deontic conditionals taken in earlier work by Jones and Pörn, compares it very briefly with two main trends within dyadic deontic logic, and then discusses problems associated with the augmentation principle and the factual detachment principle. The author then modifies Jones and Pörn's previous system, using a classical but not normal (in the sense of Chellas) deontic modality to provide the basis for an alternative analysis of deontic conditionals. This new analysis (...) validates neither the factual detachment nor the augmentation principles. However, influenced by the approach of James Delgrande to default reasoning, the author tries to show how a restricted form of factual detachment may be accommodated within the revised system. (shrink)

. The current literature in the Artificial Intelligence and Law field reveals uncertainty concerning the potential role of deontic logic in legal knowledge representation. For instance, the Logic Programming Group at Imperial College has shown that a good deal can be achieved in this area in the absence of explicit representation of the deontic notions. This paper argues that some rather ordinary parts of the law contain structures which, if they are to be represented in logic, will call for use (...) of a reasonably sophisticated deontic logic. (shrink)

This chapter contains sections titled: An Approach to the Logic of Action Normative Act Positions.

This paper is a preliminary investigation into the application of the formal-logical theory of normative positions to the characterisation of normative-informational positions, pertaining to rules that are meant to regulate the supply of information. First, we present the proposed framework. Next, we identify the kinds of nuances and distinctions that can be articulated in such a logical framework. Finally, we show how such nuances can arise in specific regulations. Reference is made to Data Protection Law and Contract Law, among others. (...) The proposed approach is articulated around two essential steps. The first involves identifying the set of possible interpretations that can be given to a particular norm. This is done by using formal methods. The second involves picking out one of these interpretations as the most likely one. This second step can be resolved only by using further information (e.g., the context or other parts of the regulation). (shrink)

There seems to be no clear consensus in the existing literature about the role of deontic logic in legal knowledge representation — in large part, we argue, because of an apparent misunderstanding of what deontic logic is, and a misplaced preoccupation with the surface formulation of legislative texts. Our aim in this paper is to indicate, first, which aspects of legal reasoning are addressed by deontic logic, and then to sketch out the beginnings of a methodology for its use in (...) the analysis and representation of law.The essential point for which we argue is that deontic logic — in some form or other —needs to be taken seriously whenever it is necessary to make explicit, and then reason about, the distinction between what ought to be the case and what is the case, or as we also say, between the ideal and the actual. We take the library regulations at Imperial College as the main illustration, and small examples from genuinely legal domains to introduce specific points. In conclusion, we touch on the role of deontic logic in the development of the theory of normative positions. (shrink)