|
AITEC Contract Research Projects in FY1997 : Software
|
(2) Development of a symbolic statistical modeling language
| Principal Investigator :
| Dr. Taisuke SATO, Prof.
|
|
Graduate School of Information Science and Engineering, Tokyo Institute of Technology
|
PRISM: A Programming Language for Symbolic-Statistical Modeling
Sato Taisuke, Dept. of Computer Science, Tokyo Institute of Technology
English Name of The Software
PRISM (PRogramming In Statistical Modeling)
Features of the Software
This software system, PRISM, is an innovative logic programming
system which integrates learning and computation in a single
framework. It contains two sub-systems just as a human being has
arteries and veins in the body.
The execution sub-system of PRISM executes a program respecting
the semantics that unifies logic programs and probability theory.
The learning sub-system learns distribution parameters buried in a PRISM
program.
To be precise, a PRISM program is a logic program whose facts have a
parameterized distribution. We can obtain various probabilities of
derived complex statements by executing the program. We can also
make the program learn appropriate parameter values from examples
by running the learning routine so that it behaves as we desire.
To understand the behavior of PRISM programs deeply requires
some learning efforts. PRISM programs however may look like just a
Prolog program with a couple of new built-in predicates.
We therefore expect that PRISM programming is not very difficult
for anyone who is already familiar with Prolog.
Required Environment
We examine PRISM system in following environment.
- Machine -- Sun UltraSparc
- OS -- Solaris 2.5.1 (SunOS 5.5.1)
- Languages -- SICStus Prolog 3#5 and gcc-2.7.2
File Configuration
Installation document is in `INSTALL' (in English) or
in User's manual `manual.ps' (in Japanese).
- INSTALL -- Installation guide (in English)
- README-E -- List of files (in English)
- README-J -- List of files (in Japanese)
- use-of-software-E -- The use of ICOT free software (in English)
- use-of-software-J -- The use of ICOT free software (in Japanese)
- manual.ps -- User's manual (In Japanese, PostScript file)
- library/* -- source file of PRISM system
- examples/* -- The examples of PRISM program (described in User's manual)
FTP
- README
- Program and Documents in Japanese [450K]
www-admin@icot.or.jp