Logic and Semantics: The Development Bottleneck of Artificial Intelligence · John's Blog