New HELIC-II

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.