No abstract

The new IL%?ZC-11 is a software tool for legal reasoning. It consists of two functions -argumentation function and debating function. Argumentation function is retilzed by a typed logic programming language with generalization of rules and defea.sible reasoning based on priority of rules. Debating function is realized by meta knowledge which controls the argumentation function. This paper introduces overview of the new HELIC-H system. We show how legal knowledge is represented in the new HELIC-11 illustrated by presenting the example of an actual criminzd case.

A legal negotiation support system is a software which support users to negotiate through a computer network by showing various information. The overview of a legal negotiation support system is presented.

SummaryWe present an overview of a legal negotiation support system, ANS (Argumentation based Negotiation support System). ANS consists of a user interface, three inference engines, a database of old cases, and two decision support modules. The ANS users negotiates or disputes with others via a computer network. The negotiation status is managed in the form of the negotiation diagram. The negotiation diagram is an extension of Toulmin's argument diagram, and it contains all arguments insisted by participants. The negotiation protocols are defined as operations to the negotiation diagram. By exchanging counter arguments each other, the negotiation diagram grows up. Nonmonotonic reasoning using rule priorities are applied to the negotiation diagram.

No abstract