Title: An Introduction To Default Logic