模型扩展的局部域对称性
计算机科学中的逻辑
2018-03-14 v1
摘要
组合问题中的对称性是一个被广泛研究的课题。我们在模型扩展问题的背景下继续此研究，旨在实现对称检测与打破流程的自动化。我们聚焦于由域元素置换所诱导、且可在首先一阶层次上检测的局部域对称性。因此，我们的工作是模型生成系统对称性利用技术的延续，同时它不同于答案集编程中在基程序上检测对称性的近期对称打破技术。我们的主要贡献包括：模型扩展问题对称性的充分条件、可常被完全打破的局部域可交换性的识别，以及针对局部域可交换性和一般局部域对称性的高效对称性检测算法。我们的方法在模型扩展系统 IDP 中实现，并给出了实验结果表明我们的方法相较于 SBASS（一种答案集编程的对称打破技术）的优势与劣势。
引用
@article{arxiv.1608.02688,
title = {On Local Domain Symmetry for Model Expansion},
author = {Jo Devriendt and Bart Bogaerts and Maurice Bruynooghe and Marc Denecker},
journal= {arXiv preprint arXiv:1608.02688},
year = {2018}
}
备注
Paper presented at the 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA, 16-21 October 2016, 15 pages, LaTeX, 3 PDF figures (arXiv:YYMM.NNNNN)