论文部分内容阅读
证明了有限多扩充性质蕴涵布尔可表达性质 ,当每个集合都没有多扩充时 ,推导关系也是Boole可表达的 .缺省推理中的定义方式可以推广为更广泛的定义模式 ,此模式所定义的推导关系仍然具有上述性质 .应用模型论中关于可定义性、无原子Boole代数等技术证明上述结论 .
It is proved that the finite multi-expansion property contains Boolean expressive properties, and the derivation is also Boole-expressible when there is no more expansion in each set. The definition in default reasoning can be generalized to a broader definitional model defined by The above deduction relationship still has the above properties.Application of model theory on the definition of atomic Boolean algebra and other techniques to prove the above conclusion.