ABSTRACT
Legal reasoning can be modeled as a mixed paradigm of rule-based reason-
ing and case-based reasoning. Based on this model, we have developed a legal
reasoning system, HELIC-II, on the parallel inference machine. HELIC-II
draws legal conclusions by referring to statutes and old cases.
KEY FEATURES
- A Mixed Paradigm
HELIC-II consists of a rule-based engine and a case-based engine. These
engines draw legal conclusions cooperatively.
- Parallel Rule Based Engine
The rule-based engine refers to legal rules and draws legal consequences
deductively. This engine is based on the parallel theorem prover MGTP
(Model Generation Theorem Prover) and has several new functions.
- Parallel Case Based Engine
The case-based engine generates legal concepts by referring to similar
old cases. This engine searches for similar cases and new arguments are
constructed by applying case rules to the new case. Case rules are applied
by matching semantic networks in parallel.
- 87 -