大方一点
发表于 2025-4-1 03:22:11
Seven hard problems in symbolic background knowledge acquisition, and explanatory types of knowledge. We oppose also the symbolic to the numeric view of background knowledge. We discuss then what we see as the seven most difficult topics in background knowledge acquisition, namely the detection of implicit implications, first order logic knowledge representation