第12章　工程本体：让 T̂、Π、O 可以被计算

第12章 工程本体：让 T̂、Π、O 可以被计算 12.1 本体在本书中的位置 《工程本体论》用整本书讨论了如何把工程世界形式化地表示出来。本章回答一个更具体的问题：在 T–Π–O 的框架下，工程本体扮演什么角色？ 前面几章已经给出了定位的原则。第 5 章说，本体不是 T；第 6 章说，本体属于 Π；第 9 章说，本体是语义重建的坐标系，而不是语义本身。 把这三句话合在一起，本章的核心判断是： 工程本体为 T̂、Π、O 以及它们之间的关系提供可计算的结构。它本身不产生语义，但没有它，恢复出来的语义就无法被存储、查询和推理。 12.2 为什么需要一个结构 设想语义恢复已经做完，得到了成千上万条 ⟨T̂, Π̂, O⟩。如果它们只是以自……