知识发现是“数据挖掘”一种更广义的说法