摘要: The traditional reasoning system based on first order predicate logic can t represent and handle de- fault knowledge.This paper presents a logical framework representation approach for default reasoning. Based on Mixed SLDNF-resolution,a nonmonotonic reasoning system has been constructed.