We extend the monotonic and regular modal logics to the multi-modal cue, and give semantical characterization w.r.t. a semantics of minimal frames. For this we introduce a calculus over neighbourhoods and we obtain simpler conditions than those from the literature.

The concept of argumentation in AI is based almost exclusively on the use of formal, abstract representations. Despite their appealing computational properties, these abstractions become increasingly divorced from their real world counterparts, and, crucially, lose the ability to express the rich gamut of natural argument forms required for creating effective text. In this paper, the demands that socially situated argumentation places on knowledge representation are explored, and the various problems with existing formalisations are discussed. Insights from argumentation theory and social (...) psychology are then adduced as key contributions to a notion of social context which is both computationally tractable and suitably expressive for handling the complexities of argumentation found in natural language. (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)

Law and legal reasoning are a natural target for artificial intelligence systems. Like medical diagnosis and other tasks for expert systems, legal analysis is a matter of interpreting data in terms of higher-level concepts. But in law the data are more like those for a system aimed at understanding natural language: they tell a story about human events that may lead to a lawsuit. Statements of the law, too, are written in natural language and legal arguments are often arguments about (...) what that language means or ought to mean.This study is one of the few research efforts in this fertile area. It is unique in developing a computational model for analyzing legal problems in a way that brings these strands of AI research together and makes sense from a jurisprudential perspective as well.Gardner first analyzes several positions in Anglo-American jurisprudence and their relevance for work in artificial intelligence. She identifies aspects of legal reasoning that any truly expert system in law must make a place for and suggests a way of decomposing the process of legal analysis that takes these aspects into account. She compares the resulting framework with those used by other legal analysis programs. A solid exposition of current AI techniques follows in chapters covering the author's system (written in Maclisp) for offer and acceptance problems, taken from law examinations, involved in contract law.Anne von der Lieth Gardner has a law degree and a Ph.D. in computer science, both from Stanford University. An Artificial Intelligence Approach to Legal Reasoning inaugurates the series Artificial Intelligence and the Law: Processes and Models of Legal Reasoning, edited by L. Thorne McCarty and Edwina L. Rissland. A Bradford Book. (shrink)

We investigate under what conditions contrary-to-duty (CTD) structures lacking temporal and action elements can be given a coherent reading. We argue, contrary to some recent proposals, that CTD is not an instance of defeasible reasoning, and that methods of nonmonotonic logics are inadequate since they are unable to distinguish between defeasibility and violation of primary obligations. We propose a semantic framework based on the idea that primary and CTD obligations are obligations of different kinds: a CTD obligation pertains to, or (...) pre-supposes, a certain context in which a primary obligation is already violated. This framework is presented initially as an extension of Standard Deontic Logic (SDL), a normal modal logic of type KD, and is illustrated by application to a series of examples. The concluding section is concerned with some resemblances between CTD and defeasible reasoning. We show first that the SDL-based framework contains a flaw and must be adjusted. A discussion of possible adjustments, including an alternative treatment in terms of a preference-based semantics, reveals difficulties that are reminiscent of problems in defeasible reasoning and intensional accounts of defeasible conditionals. (shrink)

Document assembly and other substantive legal practice applications are the most knowledge-intense forms of software now widely available in the legal technology marketplace. This article provides an illustrative look at two contemporary practice system engines-CAPS and Scrivener-and examines their relevance for AI-and-law researchers.

There has been much talk of the need to build intermediate models of the expertise required preparatory to constructing a knowledge-based system in the legal domain. Such models offer advantages for verification, validation, maintenance and reuse. As yet, however, few such models have been reported at a useful level of detail. In this paper we describe a method for conceptualising legal domains as well as its application to a substantial fragment of the Dutch Unemployment Benefits Act (DUBA).We first discuss the (...) intermediate models (called expertise models), then present a three-stage method for their construction, drawing on the CommonKADS work in knowledge acquisition, conceptual models of statute law, and the KANT method of knowledge analysis. Subsequently, we describe how these techniques were applied to the DUBA, and provide detailed examples of the resulting model. Finally, conclusions on the framework and guidelines are given as well as means of recording and presenting the various design choices. (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)