Title: Beginner's Guide to Belief Revision and Truth Maintenance Systems