在本文中,将讨论跨世界识别的问题。
In this paper, the question of trans-world identification will be discussed.
第四部分:探讨在构建知道谓词逻辑系统中遇到的一些困难:认知主体知识的一致性,即跨世界识别个体的问题;
The last part discusses some difficulties in the course of building knowledge predicate logic systems: recognizing agents across the worlds;
第四部分:探讨在构建知道谓词逻辑系统中遇到的一些困难:认知主体知识的一致性,即跨世界识别个体的问题;
The last part discusses some difficulties in the course of building knowledge predicate logic systems: recognizing agents across the worlds;
应用推荐