Thanks for sharing your thoughts. I've never thought of visualizing logic problems and would love to learn more.

Do you have any samples? Technical or otherwise though if I can get my hands dirty with Netica or Bayesian Networks that'll be great.