Based on the Logic of context，CL，defined in [l]，circumscription and default theory are introduced into context reasoning，its related definitions and theorems are a1so provided.