AITEC Contract Research Projects in FY1996 : Software

(24) Legal Reasoning with Situation Variable

Satoshi Tojo, Associate Professor, Japan Advanced Institute of Science and Technology
(tojo@jaist.ac.jp)

Legal Reasoning System Shaky v1.0
(prototype version)


by

Satoshi Tojo
Japan Advanced Institute of Science and Technology(JAIST)



[Software Features]

Legal Reasoning System Shaky is based on the new notion which regards multiple modules as a situation, while precedent systems have regarded single module as a situation. The situated knowledge in Shaky can be used more flexibly from this new notion.

Shaky is the database which has infons, rules, situations and support relations. In addition, Shaky has a constraint satisfaction system that can dynamically determine its situations in the reasoning process. In the system, a situation is represented as a set and constraints can be satisfied by set operations. Shaky can be used not only for legal problems but also for general ones. Sample programs show that it can describe and reason complex time relation cases.

[Required Environment]

SunOS 4.1.4
SICStus Prolog ver.3

[File Contents]

[File Configuration]

Distribution contains the following files and sub-directories. 

 +- Readme_J(in Japanese)
 +- Readme_E(in English)
 +- Install_J(in Japanese)
 +- USERMAN_J(in Japanese)
 +- [sample]
       +- sample1
       +- sample_sr1
       +- sample2
       +- sample_sr2
 +- [src]
       +- Makefile		
       +- inference.pl
       +- solve.pl
       +- constraint_solver.pl	
       +- io.pl			
       +- system.pl
       +- cs.pl			
       +- la.pl			
       +- tmp.pl
       +- cs_out.pl
       +- main.pl
       +- transfer.pl
       +- db.pl			
       +- makefile.pl		
       +- unify.pl
       +- grammar.pl		
       +- relation.pl		
       +- utility.pl

[Others]

This software is the prototype version and some functions have not been completed yet.

[FTP]

www-admin@icot.or.jp