信念修正
2018年公布的计算机科学技术名词
信念修正(belief revision)是2018年公布的计算机科学技术名词。
定义
信念变化的基本类型之一。将公式 A加到信念集K中,同时去掉K中能导出非A的语句,使获得的新信念集合协调,该过程称为用A修正K 。
出处
《计算机科学技术名词 》第三版。
参考资料
信念修正.术语在线.
最新修订时间:2022-04-22 14:21
目录
概述
定义
出处
参考资料