This master's thesis deals with a frame-based knowledge representa- tion language and system called The Knowledge Machine (KM), de- veloped by Peter Clark and Bruce Porter at the University of Texas at Austin. The purpose of the thesis is to show a number of ways of changing and extending KM to handle larger classes of reasoning tasks associated with reasoning about actions and change.