(19) A Study on Legal Reasoning Based on Goal-dependent Abstraction

[Environment]

   Machine     : DOS/V machine, UNIX machine
   Environment : UNIX, KLIC
   Language    : KL1

   * To use this software, users need a legal inference system whose 
     representation language can be translated into the order-sorted 
     logic.

[Overview]

   The software performs legal analogy which is dependent on its goal. 
   Given a goal that is related to some ground of legal rule, the system 
   detects similarity among legal concepts which share the same goal and 
   proof.  The computed similarities between the concepts are represented 
   by groups of concepts.  Each group shows a similarity class of concepts 
   sharing the same ground and its proof.

[Function]

   Application domain: Analogy in legal reasoning using order-sorted logic.
   Functionality: Detecting similarities among sorts according to a goal.
   Input: Order-sorted representation of legal domain in the form of 
          Horn-clauses, and a goal to be proved under the domain knowledge.
   Main Usage: Analogical reasoning in legal reasoning, argumentation,
               debugging of incomplete knowledge.

[Files]

    README ............. List of files (in Japanese)
    README.english ..... List of files (this file)
    INSTALL ............ Installation Manual
    advertise.txt ...... Material for advertisement (in Japanese)
    advertise.english .. Material for advertisement (in English)
    manual.txt ......... User's Manual
    name.txt ........... Copyright
    user.txt ........... Imagination of the users
    pub.txt ............ List of publication
    src/ ............... Directory for Source Files
      main.kl1 ......... Main Module
      newgda.kl1 ....... NEWGDA System Modules
    sample/ ............ Directory for Sample Data Files
      demo.in .......... Sample input data based on 'demo.cl'
      demo.cl .......... Sample knowledge
    doc/ ............... Directory for Documents
      newgda.txt ....... Overview of our system
      catalog.txt ...... Catalog for advertisement (Previous version)
      catalog.html ..... HTML file corresponds to Catalog file

  Source Code : 0.8 MB
  Documents   : Users manual (text file in Japanese (EUC))

[Features]

   ・This software detects similarities according to the ground of
     legal rules which represent the context-dependency of the reasoning.
   ・This software detects all relevant similarities which retain a
     proof of the ground of legal rules.
   ・The software uses several constraints to considerably reduce
     the huge space of possible similarities.
     These originate from a knowledge of the terminology of legal concepts.

[FTP]

• README
• Program and Documents in Japanese [27K]