Today I'd like to share a simple and
surprisingly useful algorithm for making logical inferences about
games using propositional networks.
I developed this as part of the
implementation for a more specific feature (one of the applications
listed below). Although it was developed in the context of a larger
feature, I wrote the code for this step to stand alone, and it has
proved useful in quickly writing other features that involve
understanding games more deeply.
The question that it answers is simple:
given a set of components that we know to be true or false in a
propnet, which other components are also guaranteed to be true or
false? I call this implication deduction.
