(11)学習機構内蔵型プログラミングシステムPRISMに関する研究

［ソフトウェア機能］

具体的に言うとPRISM プログラムは論理プログラムのファクト集合にパラメー タ付きの確率分布を割り当てたものである。実行系ではパラメータ値を使っ て命題に関する様々な確率計算を行ない、学習系では実世界の模範例により 適切なパラメータ値を学習させるものである。これによりプログラムに所望 の振舞いをさせることができる。

確率計算やパラメータ学習における PRISM プログラムの動作を深く理解す るには多少の勉強が必要になると思われるが、PRISM は表面上は Prolog に 幾つかの組み込み述語が加わった程度なので、 Prolog にある程度親しんだ 者ならそのプログラミングは容易であろう。

また、PRISM プログラムのトレーサが利用可能である。

［動作環境］

• 使用マシン … Sun UltraSPARC, UltraSPARC II
• 使用OS … Solaris 2.5.1, 2.6
• 使用言語 … SICStus Prolog 3#5 および gcc-2.8.1 および gcc-2.7.2.1

• 使用マシン … Intel Pentium II
• 使用OS … FreeBSD 2.2.8
• 使用言語 … SICStus Prolog 3#5 および gcc-2.7.2.1

［ファイル内容］

• README-E -- ファイル構成（英語）
• README-J -- ファイル構成（日本語）
• use-of-software-E -- ICOT free software の利用条件（英語）
• use-of-software-J -- ICOT free software の利用条件（日本語）
• manual-e.ps.gz -- ユーザマニュアル（英語，Post Script + gzip）
• manual-j.ps.gz -- ユーザマニュアル（日本語，Post Script + gzip）
• prism1.2.tgz -- PRISM 処理系ソースファイル（tar + gzip）
• examples.tgz -- 例 PRISM プログラム（ユーザマニュアルに記載, tar + gzip）

［ＦＴＰ］

• README
• ソースプログラム、マニュアル [767K]