Neural Networks and Belief Logic