• 语料库ID:269187867

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

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

本文图表

询问这篇论文
贝塔
AI供电

我们的系统试图限制本文中找到的信息。结果质量可能有所不同。了解更多信息关于我们如何产生这些答案。

45参考文献

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

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

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

结果表明，使用原子ABA可以实现一般ABA的实例化过程，从而生成多项式边界的AF，对称ABA可以用于创建具有轻微复杂性的AF以进行推理，从而改进了以往AF实例化方法，这些方法受到难以处理的论元构造的阻碍。

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

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

PySAT：使用SAT Oracles进行原型制作的Python工具包

提出了PySAT工具包，该工具包使用SAT预言和SAT相关技术实现基于Python的快速原型制作，并集成了许多基数约束编码，所有这些都旨在简化原型制作过程。

使用Clingo 5轻松解决理论问题

这项工作通过为第五代ASP系统clipo及其接地和解决组件配备定义明确的通用接口来解决这一挑战，从而促进多种集成工作。

人工智能和应用的前沿

探讨了人工智能的前沿及其在各个领域的应用，包括机器学习（ML）、深度学习（DL）、模糊逻辑（FL）、自然语言处理器（NLP）和遗传算法（GA）。

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

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

ASPIC+论证形式主义中弱链接原则下计算稳定结论

这项工作在ASPIC+框架中开发了一种基于迭代答案集求解的方法，用于在所谓的精英提升下推理接受，并表明稳定语义可以用可定义元素的子集来表达。