遗忘是与信念修正、知识更新和信念归并等并列的知识管理形式,它在简化推理、解决矛盾、逻辑程序、语义网和逻辑独立性中有重要作用。已有的变量遗忘和文字遗忘,只是过滤要遗忘的变量或文字,并不能真正模拟人类的遗忘,这是由于人们遗忘的知识用逻辑表示为公式或者语句。为此提出公式遗忘来捕捉这种更一般的知识变化,本文的主要工作是探索了公式遗忘的几个定义及在归并和逻辑独立性中的作用,主要体现在以下几个方面:　　 (1)提出五个公设来规范公式遗忘应具有的行为,这些假设的合理性在于符合人们遗忘的直观。然后给出三种公式遗忘的定义:第一,由于公式是由变量或文字组成的,最朴素的想法是等价于遗忘这个公式中出现的符号。接着给出变量或文字最简公式,在最简公式的条件下,这种定义满足语法独立性,从而满足所有的公设,这种直接把公式遗忘转化为已有遗忘的方式尽管简单,但是不能很好地区分公式的形式。第二,从语义角度上,基于极小化准则,将模型对文字的转换推广到模型对公式的改变,而后者通常是模型的集合。这种遗忘包含文字遗忘作为其特例,并满足遗忘公设和析取分配律等。第三,基于遗忘是对知识认知不确定的过程,提出边缘公式和边缘模型的概念,进而选择部分模型作为遗忘的新模型。这种定义也满足遗忘公设。　　 (2)通过考察已有遗忘和原公式本原蕴涵式集合的关系,研究推广这种关系到公式上来定义遗忘。既然本原蕴涵式是子句形式,所以先考虑子句遗忘。给出了子句距离定义来规定保留或删除哪些子句,定义了本原蕴涵式集合的消解闭包来执行操作,通过遗忘集就可以顺利定义子句遗忘。有了子句集遗忘就可以得到公式遗忘就是遗忘本原蕴涵式的集合。文中证明了公式遗忘满足所有公设,并且在满足一定条件下,遗忘子公式可以将其看做一个整体作遗忘。　　 (3)在讨论遗忘应用时,一方面,考察了已有归并在矛盾推理过程中有时并不直观,为此提出两个新的归并性质。通过研究变量遗忘和已有归并算子的关系,适当修正提出两个新的算子,且都满足提出的性质。另一方面,通过遗忘定义了公式之间的强独立性、弱独立性,强相关性、弱相关性。最后指出遗忘和其他知识管理形式的异同。