Guest Editorial to the Special Issue on Advances of Artificial Intelligence and Knowledge Engineering in China
Ruqian Lu, Zhi‐Hua Zhou · The Computer Journal · 2007
In recent years, scientists in China have made significant contributions in many fields of artificial intelligence and knowledge engineering. The aim of this special issue is to help international colleagues have a better understanding of the current research activities in this area carried out in China. We solicited six papers from active research groups. Each paper has been reviewed rigorously by three international referees. Finally, we selected four papers for this special issue. The first paper by Wei Li introduces first-order languages to describe beliefs, and defines a formal inference system named R-calculus for conducting belief revision in the first-order logic. It is one of the few efforts of using first-order logic rather than propositional logic in this direction. Using the R-calculus, all maximal contractions can be derived formally from a given base of belief set with respect to its refutation by facts. The reachability, soundness and completeness of the R-calculus system are proved in this paper.