Aspartix-V21
人工智能
2021-09-08 v1
摘要
在本求解器描述中，我们介绍参与 2021 年国际论证计算模型竞赛（ICCMA 2021）的 ASPARTIX-V 的 2021 版。ASPARTIX-V 能够求解 ICCMA'21 中所有经典的（静态）推理任务，并通过引入最新的 ASP 语言构造（例如条件文字）、ASP 内的领域启发式以及多轮方法扩展了 ASPARTIX 系统套件。鉴于此，ASPARTIX-V 偏离了 ASPARTIX 传统上专注于整体式方法（即通过单一 ASP 编码的一次性求解）以进一步提升性能。
引用
@article{arxiv.2109.03166,
title = {Aspartix-V21},
author = {Wolfgang Dvořák and Matthias König and Johannes P. Wallner and Stefan Woltran},
journal= {arXiv preprint arXiv:2109.03166},
year = {2021}
}
备注
Part of ICCMA 2021 proceedings