利用自动学习的可人解释谓词加速求解 Witness 类三角谜题
人工智能
2023-08-08 v1
摘要
在游戏 The Witness 中自动求解谜题实例可以引导玩家找到解法，并帮助谜题设计者生成更好的谜题。在后一种情况下，此类人工智能（Artificial Intelligence）谜题求解器可以为人类谜题设计者和程序化谜题生成器提供信息，以产生更好的实例。然而，这些谜题在组合上十分困难，基于搜索的求解器可能需要大量的时间和内存。我们通过自动学习一个可人解释的谓词来加速此类搜索，该谓词预测通往 Witness 类谜题的部分路径是否无法补全为解路径。我们证明了所学谓词的一个关键性质，使其可用于剪枝搜索中的后继状态，从而将搜索加速平均六倍，同时保持底层搜索的完备性。相反，在给定每谜题固定搜索时间预算的情况下，我们的谓词加速搜索能比基线搜索求解更多更大尺寸的谜题实例。
引用
@article{arxiv.2308.02666,
title = {Solving Witness-type Triangle Puzzles Faster with an Automatically Learned Human-Explainable Predicate},
author = {Justin Stevens and Vadim Bulitko and David Thue},
journal= {arXiv preprint arXiv:2308.02666},
year = {2023}
}
备注
10 pages