文献[4,5]为修正程序提出了一种包含经典否定的扩充,其关键特征在于能够区分“没有知识”和“具有否定的知识”,即区别“不知道”和“知道为否”。在这篇文章中,除了为该扩充修正程序提出了计算其合法修正的算法外,更重要的是,还研究了它的一些基本特征。这些特征形式化地表明了扩充修正程序的本质。 Literature [4, 5] proposed an expansion that includes a classic negation for the revision process, the key feature of which is the ability to distinguish between “no knowledge” and “with negative knowledge”, ie, to distinguish between “do not know” and “know no”. In this article, besides its algorithm for calculating its legal correction for the augmented correction program, more importantly, some of its basic features have also been studied. These features formally demonstrate the nature of the augmentation correction procedure.