鞠实儿等著2009 年出版383 页ISBN：9787505876002
本书以知识表示与推理为应用牵引，以非经典逻辑（包括哲学逻辑和语言逻辑）为理论驱动，针对自然语言的内涵性、模糊性、交互性、形态性和多样性，分别构造了若干自然语言逻辑系统，包括：语境内涵逻辑、模糊量词逻辑......
朱庆育著2004 年出版352 页ISBN：7562025797
本书论证了本体论的解释路径如何实现私法推理理论中对“意思表示”要素的解释。本书揭示出：不同于旧时体制下运用司法三段论对“意思表示”的僵化理解，私法推理理论下的“意思表示”解释可以更好地体现出私法...
钟艳如，黄美发，覃裕初著2013 年出版249 页ISBN：9787560629780
本书从新一代产品几何技术规范（N-GPS）与CAD/CAM/CAT系统之间知识共享和信息传递的需求出发，给出基于描述逻辑和本体的产品几何规范表示技术。本书内容包括N-GPS的基本理论、描述逻辑ALC(DGFV)和本体、ISO极限...
