Thinking Outside (and Inside) the Box

The Shape of Things - SHAPES 1.0

自然科学(总论);计算机科学

Michael Gruninger ; Salim Bouafoud

Others  :  http://ceur-ws.org/Vol-812/paper6.pdf
PID  :  40972

来源: CEUR

【 摘 要 】

In many problems in commonsense reasoning and intelligentmanufacturing, we need to reason about cutting, joining, and folding sheets of materials such as cardboard and metal. In this paper we intro- duce a rst-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 inci- dence and betweenness rather than Euclidean geometry as axiomatized