实现相关性追踪模块
人工智能
2016-08-22 v1
摘要
PC(ID) 通过良基语义下的规则集，将命题逻辑扩展为归纳定义。最近，该语言引入了相关性的概念。该概念确定了在给定部分赋值下，仍能影响 PC(ID) 公式可满足性的未定文字集合。其思想是，PC(ID) 求解器可以仅对相关文字进行决策而不丧失可靠性，从而安全地忽略无关文字。一个重要的洞见是，文字的相关性完全由当前求解器状态决定。在搜索过程中，求解器状态的变化会影响文字的相关性。本文讨论了一种增量式、轻量级的相关性追踪模块实现，该模块可添加至现成的 SAT(ID) 求解器并与其交互。
引用
@article{arxiv.1608.05609,
title = {Implementing a Relevance Tracker Module},
author = {Joachim Jansen and Jo Devriendt and Bart Bogaerts and Gerda Janssens and Marc Denecker},
journal= {arXiv preprint arXiv:1608.05609},
year = {2016}
}
备注
Paper presented at the 9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016), New York City, USA, 16 October 2016