arXiv 2109.031662021-09-07cs.AI

Aspartix-V21

TU Wien（维也纳工业大学）；Graz University of Technology（格拉茨工业大学）

Wolfgang Dvořák, Matthias König, Johannes P. Wallner, Stefan Woltran

备注：: Part of ICCMA 2021 proceedings

摘要：

在此求解器描述中，我们介绍了2021年版的ASPARTIX-V，该版本参加了2021年国际辩论计算模型竞赛（ICCMA）。ASPARTIX-V能够解决ICCMA'21中所有经典（静态）推理任务的一部分，并通过将最新的ASP语言结构（例如条件文字），ASP中的域解析和多镜头方法合并来扩展ASPARTIX系统套件。在这种情况下，ASPARTIX-V偏离了ASPARTIX对单片方法的传统关注（即，通过单个ASP编码的单次求解）以进一步增强性能。

英文摘要：

In this solver description we present ASPARTIX-V, in its 2021 edition, which participates in the International Competition on Computational Models of Argumentation (ICCMA) 2021. ASPARTIX-V is capable of solving all classical (static) reasoning tasks part of ICCMA'21 and extends the ASPARTIX system suite by incorporation of recent ASP language constructs (e.g. conditional literals), domain heuristics within ASP, and multi-shot methods. In this light ASPARTIX-V deviates from the traditional focus of ASPARTIX on monolithic approaches (i.e., one-shot solving via a single ASP encoding) to further enhance performance.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。