... 相容性,所以在外延的严格的形式化定义中,使用了算子[的不动点的概念。设 S 是语言 ... BS ,则 y∈T ( S )。如果 E 是算子的不动点,即厂( E ) = E ,则 E 称为默认理论 T ...
確定! 回上一頁