Knights and Knave puzzles with Bayesian Networks.
Pascal Bercker
Interests: -logic & probability puzzles - critical thinking - philosophy - Bayesian networks with Netica -
Puzzle #34 from Raymond Smullyan's logic puzzle book, What is the Name of This Book? I'm curious to know who or where else others may have used Basyesian networks to help solve classic knights and knaves and other logic puzzles. Nearly all the literature that I have seen on this subject almost always have recourse to Prolog, or some SAT solver. I'm writing more on the subject but would be interested to have input from others.