本研究使用加权论证框架逐步进行语义分析，并解决了攻击推断问题。研究发现不同模型在判断攻击方案存在性的决策问题上的复杂度不同。同时还研究了如何找到攻击方案以及处理初始权重或最终可接受度未知的部分问题。