信念修正（belief revision）是2018年公布的计算机科学技术名词。
信念变化的基本类型之一。将公式 A加到信念集K中，同时去掉K中能导出非A的语句，使获得的新信念集合协调，该过程称为用A修正K 。
《计算机科学技术名词 》第三版。
温馨提示：
