Titlebook: Aspects and Prospects of Theoretical Computer Science; 6th International Me Jürgen Dassow,Jozef Kelemen Conference proceedings 1990 Springe

大方一點(diǎn)

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