Title :
Sequence of knowledge bases and evaluating revision approximately
Author_Institution :
Inst. of Comput. Sci., Shantou Univ., China
Abstract :
This paper is motivated to give a recursion-theoretic framework to investigate sequences of knowledge bases such as sequence of iterated revisions and sequence of provisional outputs generated by a so-called anytime algorithm. The global properties of sequence of general knowledge bases are studied by using some concepts such as convergence and logical convergence, which can be considered not only as rationality postulates sequence of iterated revisions but also as basic criteria of adequacy for anytime algorithms for evaluating knowledge bases. A quite surprising result in this paper is that, even in the full first-order logic case, revising a knowledge could be effectively done by an anytime algorithm that produces quickly a first version of the revision and refines it step by step, and these versions approach the revision in limit. It is also investigated that the problem of how to approximately compute an extension in default logic
Keywords :
formal logic; knowledge based systems; nonmonotonic reasoning; anytime algorithm; default logic; first-order logic; iterated revisions; knowledge bases sequences; rationality postulates sequence; recursion-theoretic framework; revision evaluation; Artificial intelligence; Computer science; Convergence; Intelligent systems; Logic; Refining; Tires;
Conference_Titel :
Intelligent Processing Systems, 1997. ICIPS '97. 1997 IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7803-4253-4
DOI :
10.1109/ICIPS.1997.669169