知識コンパイルにおける相転移挙動【JST・京大機械翻訳】

Gupta Rahul; Roy Subhajit; Meel Kuldeep S.

プレプリント

J-GLOBAL ID：202202205762042628 整理番号：22P0173244

知識コンパイルにおける相転移挙動【JST・京大機械翻訳】

Phase Transition Behavior in Knowledge Compilation

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2020年07月20日プレプリントサーバーでの情報更新日： 2020年07月20日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

SATにおける相転移挙動の研究は,最新のSATソルバのより深い理解とアルゴリズムの改善をもたらした。SATにおける相転移のこれらの以前の研究によって動機づけられて,著者らは知識編集の文脈においてランダムk-CNF式のためのサイズとコンパイル時間挙動の挙動を研究した。異なる知識編集形式(およびそれらの対応する編集アルゴリズム):d-DNNFs,SDDおよびOBDDsに対して,複数のツールおよび編集アルゴリズムを通して,サイズおよび実行時間挙動の厳密な経験的研究および解析を行なった。著者らは,これらの言語に対するサイズと編集時間の予測と中央値挙動について経験的理由に対して,様々な生成パラメータを持つランダムk-CNFモデルから生成されたインスタンスを採用した。本研究は,SAT/CSPにおける相転移挙動に関するCSPコミュニティにおける初期作業に対する精神において類似していた。同様のスピリッツにおいて,著者らは,知識編集の文脈における相転移挙動の研究のために同定する新しい制御パラメータである,異なるパラメータに関して興味深い挙動を同定した。さらに,2つのコンクリート予測に関して著者らの経験的研究を要約した。これらの予想の厳密な研究は,おそらく新しい理論的ツールを必要とするであろう。【JST・京大機械翻訳】

, , , , ,
, , , , 【Automatic Indexing@JST】

計算理論 , 論理代数 , 人工知能 , グラフ理論基礎

, , ,

前のページに戻る