非平面假设论证的实例和计算方面

@文章{Lehtonen2024实例化AC，title={非平面假设论证的实例和计算方面}，author={托莫·莱顿（Tuomo Lehtonen）、安娜·拉贝格（Anna Rapberger）、弗朗西丝卡·托尼（Francesca Toni）、马库斯·乌布利希特（Markus Ulbricht）和约翰·彼得·沃勒（Johannes Peter Wallner）}，日志={ArXiv}，年份={2024}，体积={abs/2404.11431}，url＝｛https://api.sympicscholar.org/CorpusID:269187867｝}
本文利用ABA和双极论证框架（BAF）之间的语义表示转换，确定构造的BAF通常具有指数大小，并提出了两种可能非平坦ABA中的推理算法。
[PDF]语义阅读器

本文图表

48参考文献

非平面ABA是双极论证的一个实例

研究表明，双极AF（BAF）可以实例化一般的ABAF，并借鉴演绎支持的概念开发出了合适的、新颖的BAF语义，从而借鉴演绎支持概念开发出合适的、新型的BAF语义学。

基于假设的论证引发的论证框架：关联大小和复杂性

研究表明，使用原子ABA允许对一般ABA进行实例化程序，从而产生多项式有界的AF，并且对称ABA可以用于创建具有温和复杂性的AF，从而改进了以前的AF实例化方法，这些方法受到难以处理的论点构建的阻碍。

基于假设的论证默认逻辑实例化中的推理算法

基于布尔可满足性（SAT）解算器的迭代应用，开发了ABA命题默认逻辑（DL）实例化中推理的算法方法，作为在DL中实现派生作为蕴含检查的自然选择。

论结构化论证形式化中的动力学

本文认为，通常的实例化过程不适合于动态场景的研究，因为在构建AF时会丢失太多信息，并考虑了AF的一种扩展，称为cvAFs，为论点提供结论和漏洞，以便在扩展基础知识库后更好地预测其作用。

在基于非平面假设的论证中捕获两极论证

介绍了ABA框架的一种新的集稳定语义，并证明它对应于BAF各种方法的稳定语义。

基于假设的论证的声明算法和复杂性结果

通过在答案集编程中编码ABA推理任务，对ABA推理进行直接声明性方法，并建议通过所谓的反向攻击将优先信息集成到ABA中，从而增加了几个中心论证语义的问题复杂性。

双极论证的复杂性结果和算法

本文建立了双极型ABA的复杂性，进而建立了几类BAF的复杂性，并提出了用于枚举扩展枚举问题的回溯驱动算法，证明了算法的正确性和完整性，描述了它们的实现并提供了可扩展性评估。

基于假设的缺省推理论证的计算复杂性

有或无概率的平坦假设和一般假设论证的计算复杂性

基于假设的论证中利用增量答案集求解进行推理

这项工作开发了基于增量ASP求解的非平凡反例引导的抽象求精程序，用于ABA逻辑编程片段中的推理任务，这些任务对于多项式层次结构的第二层来说可能很困难。