知识表示方式的核心权衡

早期知识表示方式在”推理效率”和”知识可扩展性”之间此消彼长：谓词逻辑表达严密、推理过程 直接，但组合爆炸导致效率低，且无法表示不确定知识；语义网络靠节点继承关系推理快、表达 直观，但知识按层级组织，新增知识时容易破坏已有层级结构；产生式（IF-THEN规则）格式固定、 符合人类思维习惯，但规则之间没有显式关联，规则库越大越难维护一致性，也无法表达结构化的 知识层次。发散：这组权衡本质上和软件工程里”强类型 vs 动态类型”“正规化 vs 反规范化”是 同一类矛盾——越严格的表示约束换来越高的处理确定性，但灵活性和演化成本随之上升。