Online research in philosophy

An application of Narrative Knowledge Representation Language (NKRL) techniques on (declassified) ‘terrorism in Southern Philippines’ documents has been carried out in the context of the IST Parmenides project. This paper describes some aspects of this work: it is our belief, in fact, that the Knowledge Representation techniques and the Intelligent Information Retrieval tools used in this experiment can be of some interest also in an ‘Ontological Modelling of Legal Events and Legal Reasoning’ context.

Applications of Artificial Intelligence, particularly Expert Systems, are rapidly increasing. This science promises to give computer-based systems the capability of reasoning and decision making in near human-like fashion. Whether used for farm management or intelligent machine control, Expert Systems will find many agricultural applications. Much of the development and distribution of such systems will probably take place in the public sector, particularly the Cooperative Extension Service. A major nontechnical factor affecting the development and extensive use of Expert Systems is the legal issue of products, liability, and negligence. The legal issues surrounding Expert Systems have not yet been fully tested and defined by the courts. Developers and users of Expert Systems must consider these factors for each particular application.

A representation methodology for knowledge allowing multiple interpretations is described. It is based on the following conception of legal knowledge and its open texture. Since indeterminate, legal knowledge must be adapted to fit the circumstances of the cases to which it is applied. Whether a certain adaptation is lawful or not is measured by metaknowledge. But as this too is indeterminate, its adaptation to the case must be measured by metametaknowledge, etc. This hierarchical model of law is quite well-established and may serve well as a basis for a legal knowledge system. To account for the indeterminacy of law such a system should support the construction of different arguments for and against various interpretations of legal sources. However, automatizing this reasoning fully is unsound since it would imply a restriction to arguments defending interpretations anticipated at programming time. Therefore, the system must be interactive and the user''s knowledge be furnished in a principled way. Contrary to the widespread opinion that classical logic is inadequate for representing open-textured knowledge, the framework outlined herein is given a formalization in first order logic.

In order to represent legal knowledge adequately, it is vital to create a formal device that can freely construct an individual concept directly from a predicate expression. For this purpose, a Compound Predicate Formula (CPF) is formulated for use in legal expert systems. In this paper, we willattempt to explain the nature of CPFs by rigorous logical foundation, i.e., establishing their syntax and semantics precisely through the use of appropriate examples. We note the advantages of our system over other such systems and discuss the significance of CPFs with regard to the formalization of legal reasonings using examples from the United Nations Convention for the International Sale of Goods.

Considerable attention has been given to the accessibility of legal documents, such as legislation and case law, both in legal information retrieval (query formulation, search algorithms), in legal information dissemination practice (numerous examples of on-line access to formal sources of law), and in legal knowledge-based systems (by translating the contents of those documents to ready-to-use rule and case-based systems). However, within AI & law, it has hardly ever been tried to make the contents of sources of law, and the relations among them, more accessible to those without a legal education. This article presents a theory about translating sources of law into information accessible to persons without a legal education. It illustrates the theory by providing two elaborated examples of such translation ventures. In the first example, formal sources of law in the domain of exchanging police information are translated into rules of thumb useful for policemen. In the second example, the goal of providing non-legal professionals with insight into legislative procedures is translated into a framework for making available sources of law through an integrated legislative calendar. Although the theory itself does not support automating the several stages described, in this article some hints are given as to what such automation would have to look like.

Legal Information Retrieval (IR) research has stressed the fact that legal knowledge systems should be sufficiently capable to interpret and handle the semantics of a database. Modeling (expert-) knowledge by using ontologies enhances the ability to extract and exploit information from documents. This contribution presents theories, ideas and notions regarding the development of dynamic electronic commentaries based on a comprehensive legal ontology.

If legal aid means nothing more than legal representation in court, then to that extent there is a right to legal aid, although of limited availability. It is a right that has been found to be implicit, in various legal systems and in human rights instruments. But a right to legal aid could mean so much more than a limited right to legal representation. I argue for legal aid in its broadest sense as a fundamental human right, guaranteeing public access not only to legal institutions and legal representation, but as well to legal information, legal advice, and legal education and knowledge. The key to establishing a right to a broader idea of legal aid lies in understanding the role of the state from a human rights perspective rather than a welfarist one. After reviewing cases and human rights treaties that describe a right to legal representation, I conclude that even that right is available only in limited circumstances. I then outline a new argument for a fundamental human right not only to legal representation, but to 'legal aid' more broadly understood.

This paper discusses some engineering considerations that should be taken into account when building a knowledge based system, and recommends isomorphism, the well defined correspondence of the knowledge base to the source texts, as a basic principle of system construction in the legal domain. Isomorphism, as it has been used in the field of legal knowledge based systems, is characterised and the benefits which stem from its use are described. Some objections to and limitations of the approach are discussed. The paper concludes with a case study giving a detailed example of the use of the isomorphic approach in a particular application.

At the Donald Berman Laboratory for Information Technology and Law, La TrobeUniversity Australia, we have been building legal decision support systems for a dozenyears. Whilst most of our energy has been devoted to conducting research in ArtificialIntelligence and Law, over the past few years we have increasingly focused uponbuilding legal decision support systems that have a commercial focus.In this paper we discuss the evolution of our systems. We begin with a discussion ofrule-based systems and discuss the transition to hybrid rule-based/case-based systems.We next discuss how we have used machine learning in building legal decision supportsystems. Our focus on using machine learning led us to investigate the domains ofexplanation and argumentation. We conclude by discussing our current work onbuilding negotiation support systems and tools for constructing web-based legaldecision support systems.

This paper presents a four layer model for working with legal knowledge in expert systems. It distinguishes five sources of knowledge. Four contain basic legal knowledge found in published and unpublished sources. The fifth consists of legal metaknowledge. In the model the four basic legal knowledge sources are placed at the lowest level. The metaknowledge is placed at levels above the other four knowledge sources. The assumption is that the knowledge is represented only once. The use of metaknowledge at various levels should make it possible to use the appropriate knowledge for the problem presented to the system. The knowledge has to be represented as closely to the original format as possible for this purpose. Suitable representation formalisms for the various types of knowledge in the five knowledge sources are discussed. It is not possible to indicate a best representation formalism for each knowledge source.