New HELIC-II
Katsumi Nitta, Masato Shibasaki, Tsuyoshi Sakata, Takahiro Yamaji, Wang Xianchang, Hiroshi Ohsaki, Satoshi Tojo, Iwao Kokubo, Takahiro Suzuki · 1995
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.siblereasoning 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.