相信逻辑(belief logic)是2018年全国科学技术名词审定委员会公布的计算机科学技术名词,出自《计算机科学技术名词 》第三版。
实体分类为主体和客体,通过形式化推理证明,判断对客体相信度的逻辑。
《计算机科学技术名词 》第三版。