计算机模拟 知识表示语言 Windows 专家思想 失败 专家系统 软件开发 封闭世界假设