arXiv:2402.15445v2 宣告类型: 更换 摘要: 忘记一个信念获取阶段可能不会导致信息丢失，因为还有其他信念。检查是否会导致信息丢失并不明显，因为每个信念修正的贡献并不是孤立的，同样的信息可能不是直接给出的，而是通过推理给出的。给出了几种迭代信念修正算子（词典序、自然、严重、平稳严重、适度严重、限制性、非常激进和全体相交修正）的检查算法，以确定遗忘是否减少了信息。在最坏的情况下，这可能需要指数级别的计算时间，考虑到问题即使在Horn约束下也是coNP难的。对于词典序修正的同质序列，该问题是coNP的。