%0 Journal Article
%T Roos-Extension of Default Logic in Artificial Intelligence
%A Fu Li
%J International Journal of Engineering and Technology
%D 2012
%I IJET Publications
%X One important defect of Reiter¡¯s default logic is inability to reason by cases. To overcome the defect definition of Reiter¡¯sextension. Roos presents a modified definition of a default extension that solves the problem. In this paper, we will discussthe properties of Roos-extension that similar to Reiter-extension, and will find some properties of Reiter-extension cannotstill correct to Roos-extension. We point out the difference of them, and Roos-extension offers a new idea for inference ofartificial intelligent, it can achieve a method to classify the information.
%K Reiter-extensions
%K Roos-extensions
%K semi-monotonicity
%K consequents
%K algorithm.
%U http://iet-journals.org/archive/2012/oct_vol_2_no_10/96472134824693.pdf