(1) Development of Legal Reasoning System in the Dynamic Situation

Abstract: 
  We developed two knowledge representation languages based on the legal
  reasoning system, New HELIC-II. Shaky is a knowledge representation
  language  which  is enhanced with a feature structure, a concept 
  hierarchy  and hypothetical reasoning. Rbrs is an extended logic
  programming  language which is   enhanced with dynamic priority of rules.

Researchers:  Satoshi Tojo (Japan Advanced Institute Science and Technology)
              Ken Kaneiwa  (Japan Advanced Institute Science and Technology)
              Taketomo Katoh (Tokyo Institute of Technology)