A new research on auto compatible default theory

On the basis of Reiter's default theory and Zhang Mingyi's auto compatible default theory, a research on the characters of clausal default theory, especially the closed auto compatible default theory, is carried out. First, the theorem of monotonicity with extension number is presented. Second, the proof theory of normal default theory on auto compatible default theory is extended. Some important results are proposed.