论文部分内容阅读
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.
The traditional reasoning system based on first order predicate logic can not 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.