软件开发 主要问题 知识表示方法 失败 专家系统 知识工程 系统行为 封闭世界假设 知识库 专家思想