用于聚焦网格单元问题不可解原因的抽象方法

人类在研究问题时能够抽象掉无关细节。这一点在网格单元问题上尤为明显，因为人类能够忽略网格的某些部分，而聚焦于对问题至关重要的关键元素。近来，抽象这一概念被引入答案集编程（ASP）——一种广泛用于问题求解的知识表示与推理范式——中，其有潜力理解在寻找解的过程中起作用的程序关键元素。本文在此基础上更进一步，赋予抽象处理结构方面的能力，特别是处理域上的层次化抽象。我们专注于获取网格上问题不可解的原因，并展示了自动实现类人抽象的可能性，此类抽象仅区分网格的相关部分。一项关于抽象解释的用户研究证实了机器与人类解释在焦点上的相似性，并再次印证了利用抽象获得机器解释这一挑战。