確率論的プログラミングは、一般的なコンピュータープログラミング、統計的推論、および形式的意味論を組み合わせて、不確実性に直面するシステムの意思決定を支援する。本研究では、確率論的関係を提案し、これらの課題に取り組むための一歩を踏み出す。