基于网络的论证系统

假设型论证（ABA）是20世纪末提出的一种论证框架。自那时起，仍没有用易于设置的编程语言实现的求解器，也没有求解器接入网络，这阻碍了公众的兴趣。本项目旨在用现代编程语言实现一个性能合理的ABA求解器，并将其接入网络以便公众更容易访问。本项目展示了用Python编程语言开发ABA求解器的新颖性，该求解器计算无冲突、稳定、可接受、有根基、理想和完备语义，并可通过易于使用的网络界面进行论证和争议树的可视化。我们进行了实验以确定项目的最佳配置，并将本项目与proxdd（一种最先进的ABA求解器，没有网络界面且计算的语义数量较少）进行比较。实验结果表明，本项目的最佳配置通过利用“pickle”技术和树缓存技术实现。使用本项目的最佳配置，本项目实现了比proxdd更低的平均运行时间。另一方面，与proxdd相比，本项目遇到了更多异常情况，这可能是因为本项目计算了更多语义，因此需要更多资源。因此，可以说本项目的运行性能与最先进的ABA求解器proxdd相当。本项目的未来工作包括所实现算法的计算复杂性分析和效率分析、论证框架中更多语义的实现，以及网络界面的可用性测试。