Nils Nilsson 1980年出版了一本 Principle of Artificial Intelligence ，1983年出版了此书的中文版: 人工智能原理
其中有一节，从谓词演算到单元表达
这一节我认为挺重要的，它给出了一个过程，即如何把一句自然语言变成一种通用的数理逻辑关系集合，在此基础上，就能进一步的形成关系图的表达，即把一个自然语言变成一个关系图，这个关系图就是后来的语义网络的 RDF 或者称为知识图谱的三元组 SPO，而关系图的关系，就是谓词了，到此，我才理解为什么称为谓词逻辑，实际上谓词是确定主客体关系的关键
你对比一下细节，会发现中文版应该更为准确一些，比如提到的一个单元集合，它揭示了单元元素之间的关系，但英文版中则只是 set membership，而表达集合元素更准确的方案应该是 set element
另外，此文中提到的 槽，槽名，槽值我一开始以为是Key value 数据结构，结果英文版中写的是 slotvalue，后者应该是 lisp 语言的
专用概念，而 Lisp 语言一直都有热度，被认为是被低估的早期语言之一
.
