コンピュータ ソフトウェア
PRISM: 確率モデリングのための論理プログラミング処理系
亀谷 由隆佐藤 泰介周 能法泉 祐介岩崎 達也
著者情報
ジャーナル フリー

24 巻 (2007) 4 号 p. 4_2-4_22

詳細
PDFをダウンロード (285K) 発行機関連絡先
抄録

近年の人工知能分野においては,記号データ中に存在する不確実性をどう扱うかが大きな課題となっている.不確実性を扱うためには,まず確率モデルを構築し,その上で確率推論を行う方法が考えられる.更に近年では,記号列データや関係データベースなど,従来の単一の表データとしては表現できない,構造をもつデータの重要性が増しており,それらを扱うための一般的手法として,一階述語論理と確率の統合を目指す枠組みが数多く提案されている.その中の1つに確率論理プログラミング処理系PRISMがあるが,PRISMは宣言的な意味論,論理プログラムの高い記述力,効率的な組み込みの確率推論機構を備えており,確率モデリングに要する労力を大幅に省くことが期待される.本論文ではPRISM処理系のツールとしての側面に注目し,PRISMプログラムの記述例,処理系が提供する機能,処理速度に関するベンチマーク評価について述べる.

著者関連情報
© 日本ソフトウェア科学会 2007
前の記事 次の記事

閲覧履歴
feedback
Top