书 · 知识表示与推理简史

符号主义的核心追问：如何让机器"知道"世界？从专家系统的 if-then 规则到知识图谱再到神经符号融合，这条路走了七十年。

待完善

本章节尚待撰写，欢迎参与贡献。

大纲

• 逻辑主义的起点：谓词逻辑与定理证明
• 语义网络与框架（Frames）：明斯基的知识结构
• 专家系统：将人类知识编码为规则（MYCIN、DENDRAL）
• 本体论（Ontology）与语义网（Semantic Web）
• 知识图谱（Knowledge Graph）：Google Knowledge Graph（2012）
• 常识推理的困难：CYC 项目的启示
• 神经符号融合（Neuro-Symbolic AI）：连接主义与符号主义的和解？
• 大语言模型中的隐式知识表示

参考资料

待补充