ＫＳＵペディア

確率的なモデルを指定し、そのモデルに対する推論を自動的に行うプログラミングパラダイムである。普通のプログラミング言語に、プログラムの統計的な振る舞いを理解するのに役立つ関連ツールを足して、不確実性に直面した場合の意思決定を支援するシステムの構築に利用できる。