Thinking Outside (and Inside) the Box
Thinking Outside (and Inside) the Box
复制标题
跳出框框（和框内）思考
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Salim Bouafoud
中科院分区：
文献类型：
--
作者：
M. Grüninger;Salim Bouafoud
在常识推理和智能制造中的许多问题中，我们需要对纸板和金属等材料的切割、连接和折叠进行推理。在本文中，我们介绍了一个一阶形状本体（称为BoxWorld），可以支持这些应用。我们重用现有的形状本体来识别2D形状的物体（称为CardWorld），并将公理扩展到BoxWorld本体中的三维形状。这些本体论的一个显著特征是它们只使用关联和间性的概念，而不是希尔伯特和塔斯基公理化的欧几里得几何。当爱丽丝去厨房拿她的早餐麦片时，她从盒子顶部的插槽上取下标签，打开了盒子。发现盒子是空的，她伸手去拿一个新盒子，把盖子的一边从另一边拆开，打开了盒子。她打开盖子上的一个凹槽，然后把标签插入凹槽，把盒子合上。早饭后，她把旧盒子拆开，扔进了回收箱。
In many problems in commonsense reasoning and intelligent manufacturing, we need to reason about cutting, joining, and folding sheets of materials such as cardboard and metal. In this paper we introduce a first-order ontology of shape (called BoxWorld) that can support these applications. We reuse an existing ontology of shape for object recognition with 2D shapes (called CardWorld) and extend the axioms to three-dimensional shapes in the BoxWorld Ontology. A distinguishing characteristic of these ontologies is that they use only the notions of incidence and betweenness rather than Euclidean geometry as axiomatized by Hilbert and Tarski. Prelude When Alice went to the kitchen for her breakfast cereal, she opened the box by removing the tab from the slot at the top of the box. Discovering it empty, she reached for a new box, which she opened by detaching one side of the lid from the other. She closed the box by opening the slot on one slide of the lid and then inserted the tab into the slot. After breakfast, she disassembled the old box and dropped it into the recycling bin.