这是本页的一个历史版本,由Tang891228(留言 | 贡献)在2018年7月7日 (六) 14:59 (地區詞處理 調整格式 排版)编辑。这可能和当前版本存在着巨大的差异。
动态库也称为全局数据库或工作存储器,是反映当前问题求解状态的集合。
动态库中由各种事实、命题和关系组成的状态,既是推理机选用知识的依据,也是解释机制获得推理路径的来源。