An Introduction to Default Logic