確率論的な統一関係: 認識論的および偶然的不確実性のモデル化、定理証明による意味論と自動推論

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