Roos-Extension of Default Logic in Artificial Intelligence

Full Text PDF PDF
Author(s) Fu Li
Pages 1682-1686
Volume 2
Issue 10
Date October, 2012
Keywords Reiter-extensions; Roos-extensions; semi-monotonicity; consequents, algorithm.


One important defect of Reiter’s default logic is inability to reason by cases. To overcome the defect definition of Reiter’s extension. Roos presents a modified definition of a default extension that solves the problem. In this paper, we will discuss the properties of Roos-extension that similar to Reiter-extension, and will find some properties of Reiter-extension cannot still correct to Roos-extension. We point out the difference of them, and Roos-extension offers a new idea for inference of artificial intelligent, it can achieve a method to classify the information.

< Back to October Issue