Ziqian Luo '18, Gettysburg College
Neller and Ziqian Luo ’18 presented a means of mixed logical and probabilistic reasoning with knowledge in the popular deductive mystery game Clue. Using at-least constraints, we more efficiently represented and reasoned about cardinality constraints on Clue card deal knowledge, and then employed a WalkSAT-based solution sampling algorithm with a tabu search metaheuristic in order to estimate the probabilities of unknown card places.
This is the author's version of the work. This publication appears in Gettysburg College's institutional repository by permission of the copyright owner for personal use, not for redistribution.
Neller, Todd W. and Ziqian Luo. "Mixed Logical and Probabilistic Reasoning in the Game of Clue." Presentation given at the 10th International Conference on Computers and Games (CG2018), New Taipei City, Taiwan, July 2018.