信任状态

I．莱维归纳逻辑理论的一个术语。一认知主体(可以是单个人，也可以是一组织)的信任状态是相对他自己的信任概率(对可能事件的认识程度)判断诸假说的系统。给定一语言L，一信任状态相对潜在知识大全(即知识背景，它是L中句子的演绎封闭集)K是信任一贯的当且仅当它可以表达为下列相对K的概率测度的集合B：一函数Q相对K是一概率测度当且仅当它满足下列条件：①对L中所有可表达的假说h和所有与K一致的e，Q(h，e)取非负实数值，否则Q(h，e)无定义；②若K┝ee′且K┝hh′，则Q(h，e)=Q(h′，e′)；③若K，e┝(h∧f)，则Q(h∨f，e)=Q(h，e)+Q(f，e)；④若K，e┝h，则Q(h，e)=1；⑤Q(h∧f，e)=Q(h，f∧e)·Q(f，e)。B相对K称为信任一致的(当K一致时)当且仅当B≠Φ。令e与K一致且Be是形如Qe(h)=Q(h，e)(其中相对K，Q∈B)的函数集。B相对K满足凸性条件当且仅当对每一这样的e，Be是凸的：即若Qe∈Be且Qe∈Be，则对每－α使得0≤α≤1，(αQe+(1－α)Qe)∈Be。若认知主体X是合理的，则他应该在时间t时赞同一确证承诺(也就是使X在t时相对各种潜在的知识大全包括他现时的知识大全，对确定采用何种信任状态做出承诺)使得对每一潜在知识大全K，B满足信任一贯性、信任一致性和凸性条件。