מושגי ליבה
非平坦な前提に基づく議論フレームワークの具体化と計算的側面を研究し、冗長性を排除した効率的な議論生成手法と、直接的なアプローチを提案する。
תקציר
本論文は、前提に基づく議論(ABA)フレームワークの中でも、より一般的な非平坦なABAに焦点を当てている。
まず、非平坦ABAの具体化には一般的に指数オーダーの議論が必要となることを示す。そのため、冗長な議論を排除する3つの手法を提案し、これにより議論数を削減する。さらに、計算量が緩和される原子的ABAおよび加算的ABAといった部分クラスを特定する。
次に、非平坦ABAの推論アルゴリズムとして、2つのアプローチを提案する。1つ目は、提案した冗長性排除手法を用いて議論を具体化し、SAT ソルバーを用いて推論を行うものである。2つ目は、反例駆動型の抽象化と精緻化を用いた直接的なASPアプローチである。
最後に、提案手法の実験評価を行い、アプローチ間の長所短所を明らかにする。特に、完全言語の推論では、具体化アプローチが直接アプローチを上回る結果となった。これは、非平坦ABAにおける具体化アプローチの有効性を示唆している。
סטטיסטיקה
非平坦ABAの具体化には一般的に指数オーダーの議論が必要となる。
冗長な議論を排除することで、議論数を最大 |2^A| * |L| まで削減できる。
原子的ABAおよび加算的ABAでは、議論数が線形オーダーに抑えられる。
ציטוטים
"非平坦ABAの具体化には一般的に指数オーダーの議論が必要となる。"
"冗長な議論を排除することで、議論数を最大 |2^A| * |L| まで削減できる。"
"原子的ABAおよび加算的ABAでは、議論数が線形オーダーに抑えられる。"