拡張ベースのアプローチによる抽象議論フレームワークにおける選好の計算と検証

抽象議論フレームワークにおいて、正当化された議論の集合が与えられた場合、その議論の集合を正当化する可能な選好の集合を計算する。さらに、計算された選好が元の議論の集合を正当化することを検証する。