We describe a means of mixed logical and probabilistic reasoning with knowledge in the popular game Clue. Using pseudo-Boolean constraints we call at-least constraints, we more efficiently represent cardinality constraints on Clue card deal knowledge, perform more general constraint satisfaction in order to determine places where cards provably are or are not, and then employ a WalkSAT-based solution sampling algorithm with a tabu search metaheuristic in order to estimate the probabilities of unknown card places. Finding a tradeoff between WalkSAT-heuristic efficiency in finding solution samples and the sampling bias such a heuristic introduces, we empirically study algorithmic variations in order to learn how such sampling error may be reduced.

中文翻译：

---

线索游戏中的混合逻辑推理和概率推理

我们描述了一种混合逻辑和概率推理的方法，其中包含流行游戏 Clue 中的知识。使用我们称为至少约束的伪布尔约束，我们更有效地表示 Clue 卡交易知识的基数约束，执行更一般的约束满足以确定卡可证明的位置，然后采用基于 WalkSAT 的解决方案带有禁忌搜索元启发式的采样算法，以估计未知卡片位置的概率。在寻找解决方案样本的 WalkSAT 启发式效率与这种启发式引入的采样偏差之间找到权衡，我们凭经验研究算法变化，以了解如何减少这种采样误差。