| 演題番号 | 3J1-OS7-5 |
|---|---|
| 題目 | Slice Samplingを用いたSAT技術による確率推論 |
| 著者 | 山口 雅博(東京工業大学大学院 情報理工学研究科) 佐藤 泰介(東京工業大学大学院 情報理工学研究科) 石畠 正和(東京工業大学大学院 情報理工学研究科) |
| 時間 | 06月03日(Fri) 10:10〜10:30 |
| 概要 | SAT問題を解く技術は確率推論への応用を含めて、現在多くの研究がなされている。 その中で厳密計算が難しい規模の大きな問題に対して、サンプリングを用いることにより 確率推論を近似的に行う手法が提案されてきた。一方、新しいサンプリング法として スライスサンプリングが知られている。我々はSAT技術とスライスサンプリングを 組み合わせた確率推論を実装し、その効果について考察する。 |
| 論文 | PDFファイル |